Wojciech Mostowski

From CERES
Revision as of 13:33, 29 August 2018 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.

Projects

I currently work on:

Publications

(Past) Projects, Events, Program Committees

Software and Other Code

Current Teaching

Convenience Links