Christian von Essen

I am a PhD student at Verimag in Grenoble, France, supervised by Barbara Jobstmann. Before, I was a diploma student at LuFGi2 at RWTH Aachen.

Current research

I am working on incorporating quantitative aspects into system specifications. Traditionally, system specifications are qualitative, i.e, a system either fulfills a specification, or it does not. there may be more than one fulfilling system to each given specification. I want to introduce a quantitative aspect into the specification. This quantitative specification defines how good a system fulfills a specification by assigning a real number to it. The goal of the quantitative synthesis is then to construct a system that fulfills the qualitative specification such that there is not better fulfilling system.

Previous research

My previous work was concerned with verification of Java programs. specifically, I worked on a proving the termination of Java programs automatically. This work was integrated into the termination prover AProVE that succinctly won the termination competition of that year in the Java category.

Curriculum Vitae

You can find my CV here.

Contact Information