|
I have received a Diploma degree (equiv. to MSc.)
in computer science from the
University of Karlsruhe (TH),
Germany, in 2004, with mathematics as my subsidiary subject.
During my studies, I specialised in compiler
construction and software engineering, as well as logic,
theoretical fundamentals and abstract algebra.
Over and above, I participated very actively in advanced topics of other areas like
theorem proving, verification, computer algebra,
algebraic geometry, non-linear optimisation, machine learning, and algorithm engineering.
Since 2004, I am a PhD student working in the area of hybrid system verification
at the
University of Oldenburg.
Research Interests
verification of 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
Publications
-
List of publications
[DBLP
|
Google Scholar
|
CiteSeer]
Curriculum Vitae (short cv)
Research Projects and Activities
-
AVACS
-
As a research assistant in the Correct System Design group of
Prof.
Ernst-Rüdiger Olderog
at the
University of Oldenburg,
Germany, my research ambitions are placed in the
SFB/Transregio project AVACS.
The project AVACS (Automatic Verification and Analysis of Complex
Systems) addresses the rigorous mathematical analysis of models of
complex safety critical computerized systems, such as aircrafts,
trains, cars, or other artifacts, whose failure can endanger human
life. The aim is to
raise the state of the art in automatic verification and analysis
techniques from its current level, where it is applicable only to
isolated facets (concurrency, time, continuous control, stability,
dependability, mobility, data structures, hardware constraints,
modularity, levels of refinement), to a level allowing a
comprehensive and holistic verification of such systems.
In this project, I primarily focus on challenges related
to the verification of hybrid dynamic systems.
-
CMU
-
I've been a visiting PhD student of Prof. Edmund M. Clarke at Carnegie Mellon University.
During this period of my stay,
I focused on hybrid system verification in air traffic management scenarios.
-
KeY
-
Both, my minor thesis
and my diploma thesis have been supervised by Prof. Peter Schmitt and
Prof. Bernhard Beckert
in the context of the
KeY project.
The goal of this joint research project is to develop a
comprehensive tool supporting formal specification and verification of
object-oriented Java Card programs within a commercial platform for UML/JML-based software development. This approach is based on the
design-by-contract paradigm. In KeY, contracts are verified statically using
a semi-automatic, interactive theorem prover on the basis of a dynamic logic.
Further Information
Although André Platzer is the proper French
spelling, my name can be spelled as Andre Platzer.
|
|
