Dr.-Ing. Lars Luthmann

Lars Luthmann
Office: S2|02 E312
Phone: +49 6151 16-25253
Fax: +49 6151 16-25251
Mail: luthmannatmais.informatik.tu-darmstadt.de
Profiles: Google Scholar, DBLP

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt


GPG-Key: 4096R/8EAF60E4, Fingerprint: E746 3C02 F7E5 8307 E5D6 640A BE20 7F61 8EAF 60E4

Short Bio


Research Interests

  • Formal methods
  • Runtime monitoring and enforcement
  • Software security
  • Real-time systems
  • Testing
  • Software product lines

Thesis Topics and Student Assistant Positions

If you are a student at TU Darmstadt and are interested in writing a Bachelor's or Master's thesis or in working as a student researcher (HiWi) on runtime monitoring and enforcement, please contact me via email.



Supervised Theses


Services to the Scientific Community


A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang