Michal Antkiewicz

Michał Antkiewicz

Research associate

Research engineer, Autonomoose.net (Sep 2016-present)

Program coordinator, NSERC CREATE in Product-Line Engineering for Cyber-Physical Systems (September 2015-present)

Rick Salay

Rick Salay

Research associate

Rick Salay, PhD, is an expert in software modeling research, having published over 40 peer-reviewed papers in the area. Two of these won best paper awards (one of them at International Conference on Software Engineering (ICSE), the top software engineering conference) and another one was nominated for best paper in Requirements Engineering (RE), the top international requirements engineering conference.

Sean Sedwards

Sean Sedwards

Research Assistant Professor

Interests

Algorithms and applications for scalable formal verification statistical verification of stochastic and nondeterminsitic systems formal verification of machine-learned systems safe learning verification and optimisation of hybrid and timed systems accelerated simulation for rare event verification accelerated learning for prediction of rare events Behaviour modelling, planning and prediction Evolution of cooperation in structured populations

WISE Lab logo

Opportunities

We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.

For more information, visit Open positions.