Wojciech Mostowski

Revision as of 15:38, 7 May 2020 by Ceres (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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