Difference between revisions of "Wojciech Mostowski"

From CERES
Jump to: navigation, search
 
Line 4: Line 4:
 
|Title=Ph.D.
 
|Title=Ph.D.
 
|Phone=+46-35-16-7137
 
|Phone=+46-35-16-7137
|Position=Assistant Professor
+
|Position=Associate Professor
 
|Email=Wojciech.Mostowski@hh.se
 
|Email=Wojciech.Mostowski@hh.se
 
|Image=Wojciech Mostowski photo.jpg
 
|Image=Wojciech Mostowski photo.jpg
 
|Office=F 309
 
|Office=F 309
|Affiliation=Center for Research on Embedded Systems
+
|Affiliation=Computing and Electronics for Real-time Embedded Systems
 
|url=http://ceres.hh.se/mediawiki/Wojciech_Mostowski
 
|url=http://ceres.hh.se/mediawiki/Wojciech_Mostowski
 
}}
 
}}

Latest revision as of 13:33, 29 August 2018


Personal Info

My academic history before I took up the position at CERES:

Research Interests

  • Software reliability,
  • 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