added CONCUR-Young-Researchers paper
about me
After obtaining my diploma in computer science from the
University
of Leipzig, I started towards a PhD in the formal methods
group at the Laboratoire Bordelaise de Recherche en
Informatique (LaBRI) under the guidance of Anca
Muscholl, Grégoire Sutre, and
Jérôme Leroux as
part of the AVeriSS
project.
For a more detailed look onto my work on Modelling and
Verification (and other fields of scientific interest), I will
refer to the sub-page about my research.
If you want more information about me, my work, et cetera, or just
want to get in touch with me, please feel free to contact me.
about this site
As always, there is also a predecessor of this site which is
still accessible via my former research group Onto-Med:
I am no web developer and do not have the time to assure that each non standard conformant browser renders this page as it is intended to, it has been tested against most current versions of Firefox; please feel free to contact me if there are any typos, errors, dead links, copyright related problems etc.
