Difference between revisions of "Wojciech Mostowski"
From CERES
| Line 8: | Line 8: | ||
|Image=Wojciech Mostowski photo.jpg | |Image=Wojciech Mostowski photo.jpg | ||
|Office=F 309 | |Office=F 309 | ||
| − | |Affiliation=Center for Research on Embedded Systems | + | |Affiliation=[[Main_Page | Center for Research on Embedded Systems]] |
|url=http://ceres.hh.se/mediawiki/Wojciech_Mostowski | |url=http://ceres.hh.se/mediawiki/Wojciech_Mostowski | ||
}} | }} | ||
Revision as of 11:37, 4 June 2015
[[affiliation:: Center for Research on Embedded Systems|]]
Contents
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:
Personal Info
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.
Research Interests
Publications
Events and Projects
Teaching
Projects: AUTO-CAAS
