Revision as of 11:38, 4 June 2015

Wojciech Mostowski

Wojciech Mostowski, Associate Professor, Ph.D.

Family Name: Mostowski
Given Name: Wojciech
Role: Associate Professor
Title: Ph.D.
Subject:
Organization: Computing and Electronics for Real-time Embedded Systems
Email: Wojciech.Mostowski@hh.se
url: http://ceres.hh.se/mediawiki/Wojciech_Mostowski
Phone: +46-35-16-7137
Cell Phone:

My academic history before I took up the position at CERES:

Post-Doc at the Formal Methods and Tools (FMT) group at the University of Twente in the Netherlands working on the VerCors project with Marieke Huisman,
Visiting Lecturer at Division of Software Technology at Chalmers University of Technology in Sweden,
Post-Doc at the Digital Security group at Radboud University Nijmegen in the Netherlands working with Erik Poll on several EU and national projects,
Ph.D. studies at (what is now) Division of Software Technology at Chalmers University of Technology in Sweden, Ph.D. supervisor Reiner Hähnle.

Projects: AUTO-CAAS

@@ Line 8: / Line 8: @@
 |Image=Wojciech Mostowski photo.jpg
 |Office=F 309
-|Affiliation=[[Main_Page | Center for Research on Embedded Systems]]
+|Affiliation=Center for Research on Embedded Systems
 |url=http://ceres.hh.se/mediawiki/Wojciech_Mostowski
 }}