We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
Case study on firmware verification accepted at TACAS 2026!

Akshay Warrier

Picture of Akshay Warrier

Software and Computational Systems Lab
Department of Computer Science
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Office
Room F 009, Oettingenstr. 67
Office Hours
By appointment
E-Mail
akshay.warrier @ sosy.ifi.lmu.de
ORCID
0009-0002-8179-5839

GPG-Key

Please send me encrypted mails!
My GPG key: 0x1E582494
Fingerprint: 540D E08E 2145 07AB BE42 E785 07A3 0FF7 1E58 2494