MarcoBakera
Last edit April 26, 2011
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
http://www.bakera.de
CategoryHomePage
CategoryGerman