Difference between revisions of "Wojciech Mostowski"

From CERES
Jump to: navigation, search
Line 30: Line 30:
 
== Research Interests ==
 
== Research Interests ==
  
 +
* Software reliability,
 
* Formal verification of object oriented software, in particular [https://java.com/ Java], with the emphasis on practice,
 
* Formal verification of object oriented software, in particular [https://java.com/ Java], with the emphasis on practice,
 
* Security and implementation of smart card applications and products,
 
* Security and implementation of smart card applications and products,
Line 49: Line 50:
 
== (Past) Projects, Events, Program Committees ==
 
== (Past) Projects, Events, Program Committees ==
  
 +
* Sub-group supervisor and mentor of the Halmstad Team taking part in [https://cps-vo.org/group/CPSchallenge CPS Challenge] on autonomous drones. '''<span style="color:red">Halmstad Team took the second position in the on-site competition:</span>'''
 +
** [https://hh.se/omhogskolan/aktuellt/nyheter/nyheter/ingenjorsstudentertvaaiinternationelldronartavling.65447156.html Halmstad University article]
 +
** [https://www.youtube.com/watch?v=TixoMWhiHNk YouTube]
 +
** [https://cps-vo.org/node/51014 Organiser's Summary]
 
* Organiser of the [http://www.pm.inf.ethz.ch/verifythis.html VerifyThis2017 verification competition] at [http://www.etaps.org/index.php/2017 ETAPS 2017]
 
* Organiser of the [http://www.pm.inf.ethz.ch/verifythis.html VerifyThis2017 verification competition] at [http://www.etaps.org/index.php/2017 ETAPS 2017]
 
* Leader for the Halmstad University team taking part in [http://gcdc.net/en/ Grand Cooperative Driving Challenge (GCDC) 2016]. '''<span style="color:red">Halmstad Team has won the competition! See the following news and media coverage:</span>'''
 
* Leader for the Halmstad University team taking part in [http://gcdc.net/en/ Grand Cooperative Driving Challenge (GCDC) 2016]. '''<span style="color:red">Halmstad Team has won the competition! See the following news and media coverage:</span>'''

Revision as of 10:48, 31 May 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