Corneliu Popeea Researcher: Chair for Foundations of Software Reliability and Theoretical Computer Science - Technische Universität München Email: popeea at model.in.tum.de Office: 03.11.059 [How to find it] Phone: (+49)89-28917229

Research interests

The goal of my research is to provide techniques for buiding reliable software. My research interests are program analysis and verification, software synthesis, abstract interpretation and type-systems for object-oriented programs. I am also interested in security, in particular, information flow analysis.

Current projects

• Compositional verification of multi-threaded programs (POPL'11) (ATVA'10) (CAV'11) (APLAS'11) (TACAS'12) (details)
• Synthesis of software verifiers from proof rules (PLDI'12) (TACAS'12) (details)

Former projects

• Disjunctive invariants for modular verification (ASIAN'06) (ISMM'08) (PEPM'08) (SAC'10) (SCP'12) (details)
• Resource protocol verification for OO programs (ICSE'05) (PEPM'04) (details)
• Better genericity for Java-like programs (OOPSLA'06) (OOPSLA-companion'06) (details)

Teaching

• Lecture: Model checking (Summer 2013)
• Master seminar: Software Verification (Summer 2013)
• Advanced undergraduate course: Pearls of Computer Science (Winter 2012)
• Master seminar: Verification of Concurrent Programs (Summer 2012)
• Advanced undergraduate course: Perlen der Informatik (Winter 2011)

Program committee member

• FORTE/FMOODS 2013, SAC 2013, TASE 2012, SAC 2012, SAC 2011, TASE 2009

Last update: 30-Apr-2013