Difference between revisions of "Wojciech Mostowski"

From CERES
Jump to: navigation, search
Line 44: Line 44:
 
* [[Wojciech Mostowski's Publications | Publication List]],
 
* [[Wojciech Mostowski's Publications | Publication List]],
 
* [https://scholar.google.com/citations?user=dmYvWaAAAAAJ Google Scholar],
 
* [https://scholar.google.com/citations?user=dmYvWaAAAAAJ Google Scholar],
* [http://ceres.hh.se/mediawiki/Wojciech_Mostowski Research Gate] (not up-to-date),
+
* [http://ceres.hh.se/mediawiki/Wojciech_Mostowski Research Gate] (not yet up-to-date),
 
* [http://www.key-project.org/thebook/ KeY Book].
 
* [http://www.key-project.org/thebook/ KeY Book].
  

Revision as of 13:52, 21 August 2015


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