alexander heußner contact tools publications research home
news:
added CONCUR-Young-Researchers paper
20100823
added SPIN/FOSSACS slides
20100714
added slides to RMLL talk How I stopped worrying...
20100708
updated list of publications.
20100323

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: https://wiki.imise.uni-leipzig.de/AlexanderHeussner.

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.