Wojciech Mostowski

Revision as of 09:48, 31 May 2018 by Ceres (Talk | contribs)

Jump to: navigation, search

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.


I currently work on:


(Past) Projects, Events, Program Committees

Software and Other Code

Current Teaching

Convenience Links