Andreas Müller

Telephone:

+43-732-2468-4678

Fax:

+43-732-2468-4675

Room number:

S3 0307

Email:

andreas.mueller@jku.at

Homepage:

http://www.tk.jku.at/people/müller/
 

Research

Interests:

  • Cyber-Physical Systems
  • Formal Verification
  • Component-Based Verification

Projects:

ProofAwarECPS - Proof-Aware Engineering of Cyber-Physical Systems