Difference between revisions of "Wojciech Mostowski"
From CERES
| Line 18: | Line 18: | ||
{{ShowPerson}} | {{ShowPerson}} | ||
<!-- {{PublicationsList}} --> | <!-- {{PublicationsList}} --> | ||
| + | |||
| + | == Personal Info == | ||
| + | |||
| + | My academic history before I took up the position at [[Main_Page | CERES]]: | ||
| + | |||
| + | * Post-Doc at the [http://fmt.cs.utwente.nl/ Formal Methods and Tools (FMT)] group at the [http://www.utwente.nl/en University of Twente] in the Netherlands working on the [http://fmt.cs.utwente.nl/research/projects/VerCors/ VerCors project] with [http://wwwhome.ewi.utwente.nl/~marieke/ Marieke Huisman], | ||
| + | * Visiting Lecturer at [http://www.chalmers.se/en/departments/cse/organisation/st/Pages/default.aspx Division of Software Technology] at [http://www.chalmers.se/en/Pages/default.aspx Chalmers University of Technology] in Sweden, | ||
| + | * Post-Doc at the [http://www.ru.nl/ds/ Digital Security] group at [http://www.ru.nl/english/ Radboud University Nijmegen] in the Netherlands working with [http://www.cs.ru.nl/~erikpoll/ Erik Poll] on several EU and national projects, | ||
| + | * Ph.D. studies at (what is now) [http://www.chalmers.se/en/departments/cse/organisation/st/Pages/default.aspx Division of Software Technology] at [http://www.chalmers.se/en/Pages/default.aspx Chalmers University of Technology] in Sweden, Ph.D. supervisor [https://www.se.tu-darmstadt.de/se/group-members/reiner-haehnle/ Reiner Hähnle]. | ||
== Research Interests == | == Research Interests == | ||
Revision as of 11:36, 4 June 2015
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
