Room: G29, R311
Phone: +49 391 67 52701
I obtained a graduate engineer in micro-system technology from the University of Applied Sciences Berlin, Germany, and an MSc in Parallel and Scientific Computation from the University of Liverpool, UK, in 2000 in form of a double graduation; and I was reworded a PhD in Electronic and Computer Engineering in 2005 from the University of Newcastle upon Tyne, UK. I also completed two post-docs in France, in DistribCom Research Group at INRIA Rennes and in Gemo Team at INRIA Saclay. Between 2008 and 2014 I was an assistant professor in the Faculty of Science and Engineering at the University of Austral de Chile. Currently, I am a Research Associate at the Chair of Software Engineering in the Otto-von-Guericke-University Magdeburg.
My research background involves theoretical concepts and formal methods, as well as their application to asynchronous systems and distributed systems. My main research interests include model checking, Petri nets, distributed systems, diagnosis and testing.