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.
BEng Mechatronics, McMaster University, Ontario, Canada
Research interestsautonomous vehicles perception and object classification deep learning neural nets
Samin works on semantic segmentation of images for autonomous driving.
BASc Computer Engineering, University of Waterloo, Waterloo, Canada
Edward works on environment server for autonomous driving.
BSc Computer Science, Algorithms and Complexity Theory, University of Calgary, Minor in Pure Mathematics
Matt works on semantic segmentation of images for autonomous driving.
InterestsAlgorithms 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