Dipl.-Inform. André Platzer

PhD student at the DFG-Graduate School TrustSoft

Address:	Dipl.-Inform. André Platzer University of Oldenburg Faculty II Department of Computing Science Correct System Design Group D-26111 Oldenburg Germany
Room:	A3 2-206
Phone:	+49-441-798-2971
Fax:	+49-441-798-2965
Email:	Andre.Platzer

PhD-Topic

Hybrid-differential Logic for Parametric Verification
Supervisor: Prof. Dr. Ernst-Rüdiger Olderog

Projects

• AVACS (Automatic Verification and Analysis of Complex Systems)

Research Interests

verification of embedded real-time and hybrid dynamic systems, dynamic logic, modal logic, hybrid logic, theorem proving and model checking, computer algebra, differential equations, model theory, component technology, verification of object-oriented systems

Curriculum Vitae

since 04/2006	visiting PhD student of Prof. Edmund M. Clarke at Carnegie Mellon University
since 12/2005	PhD student at the Graduate School TrustSoft
since 10/2004	Research Assistant of Prof. Ernst-Rüdiger Olderog at the University of Oldenburg
9/2004	Graduated with distinction and received an MSc. degree in computer science from the University of Karlsruhe (TH)
10/1999-09/2004	Studies of computer science and mathematics at the University of Karlsruhe (TH)

• My private home page (contains more details)
• Publications