Difference between revisions of "Wojciech Mostowski"

From CERES
Jump to: navigation, search
Line 57: Line 57:
 
** [http://www.motormagasinet.se/alla/guld-for-hogskolan-i-halmstad-i-tavling-med-sjalvkorande-bilar-2/ Motormagasinet]
 
** [http://www.motormagasinet.se/alla/guld-for-hogskolan-i-halmstad-i-tavling-med-sjalvkorande-bilar-2/ Motormagasinet]
 
** [https://www.tassinternational.com/news/prescan-software-driven-team-halmstad-university-wins-grand-cooperative-driving-challenge-2016 TASS International 1], [https://www.tassinternational.com/news/gcdc-winning-team-halmstad-university-acclaims-its-use-prescan-software-testing-automated TASS International 2]
 
** [https://www.tassinternational.com/news/prescan-software-driven-team-halmstad-university-wins-grand-cooperative-driving-challenge-2016 TASS International 1], [https://www.tassinternational.com/news/gcdc-winning-team-halmstad-university-acclaims-its-use-prescan-software-testing-automated TASS International 2]
 +
** [http://nyhetsbrev.viktoria.se/nyhetsbrev-363-julfunderingar/ RI.SE Viktoria newsletter]
 
* PC member [http://acsd2016.mat.umk.pl/ 16th International Conference on Application of Concurrency to System Design (ACSD 2016)],
 
* PC member [http://acsd2016.mat.umk.pl/ 16th International Conference on Application of Concurrency to System Design (ACSD 2016)],
 
* Workshop co-chair [http://en.ru.is/ifm/ 12th International Conference on integrated Formal Methods (iFM 2016)],
 
* Workshop co-chair [http://en.ru.is/ifm/ 12th International Conference on integrated Formal Methods (iFM 2016)],

Revision as of 11:15, 3 January 2018


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