Marco Bakera
Marco BakeraI 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
EditText of this page
(last edited April 26, 2011)
or FindPage with title or text search