Marco Bakera

I was born in Germany in 1979. In 2000 I started studying ComputerScience and Psychology. I finished my study in 2006. Afterwards I started working both at the UniversityOfDortmund? and the UniversityOfPotsdam?, developing tools and techniques for formal verification (by FormalMethods and FormalModelChecking) of software systems.

Feel free to have a look my website

CategoryHomePage CategoryGerman

EditText of this page (last edited April 26, 2011) or FindPage with title or text search