Difference between revisions of "Wojciech Mostowski"

From CERES
Jump to: navigation, search
Line 38: Line 38:
 
I currently work on:
 
I currently work on:
  
* [[AUTO-CAAS]] (100%)
+
* [[AUTO-CAAS]] (100%).
  
 
== Publications ==
 
== Publications ==

Revision as of 14:08, 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: 




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

Current Teaching

Convenience Links