Wojciech Mostowski

From CERES
Jump to: navigation, search


Wojciech Mostowski

Wojciech Mostowski, Assistant Professor, Ph.D.



Family Name: Mostowski
Given Name: Wojciech
Role: Assistant Professor
Title: Ph.D.
Subject: 
Organization: Center for Research on 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:

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:

Publications

(Past) Projects, Events, Program Committees

Software and Other Code

Current Teaching

Convenience Links