Difference between revisions of "Wojciech Mostowski"
From CERES
| Line 29: | Line 29: | ||
== Research Interests == | == Research Interests == | ||
| + | |||
| + | * Formal verification of object oriented software, in particular Java, with the emphasis on practice, | ||
| + | * Security and implementation of smart card applications and products, | ||
| + | * Embedded systems for automotive applications. | ||
| + | |||
| + | == Projects == | ||
| + | |||
| + | I currently work on: | ||
| + | |||
| + | * AUTO-CAAS (100%) | ||
== Publications == | == Publications == | ||
| Line 35: | Line 45: | ||
* [https://scholar.google.com/citations?user=dmYvWaAAAAAJ Google Scholar] | * [https://scholar.google.com/citations?user=dmYvWaAAAAAJ Google Scholar] | ||
| − | == Events and Projects == | + | == Events and (Past) Projects == |
== Teaching == | == Teaching == | ||
| − | {{InsertProjects}} | + | <!-- {{InsertProjects}} --> |
[[Category:Staff]] | [[Category:Staff]] | ||
Revision as of 11:41, 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
- Formal verification of object oriented software, in particular Java, with the emphasis on practice,
- Security and implementation of smart card applications and products,
- Embedded systems for automotive applications.
Projects
I currently work on:
- AUTO-CAAS (100%)
