Contact

Tel_+49 681 302-2453
Fax_+49 681 302-3065
Mail_
Room_429
Address_Saarland Informatics Campus
Building E1 3
66123 Saarbrücken
Germany

Julian Rosemann

About Me

Research Interests

  • Static Analysis
  • Formal Verification
  • Correctness & Security Properties

Teaching

Lecturer's Assistant

  • Programmierung 2 (SS2020)

Teaching Assistant

  • Grundzüge der Theoretischen Informatik (WS2015/16)

Publications

Links