Joanne Atlee
Professor and Director of Women in Computer Science
519-888-4567 x34871
Location:
DC 2337
Research Expertise
- Analysis of software requirements and specifications with computer-aided tools and techniques
- Configurable model-driven development (MDD)
- Practitioner-friendly specification and design notations that have precise semantics suitable for automated analysis
- Software modeling, model checking, documentation, and analysis
Link to Profile:
Link to Personal Website or CV:
Group(s):
Connected and Autonomous→Vehicle Control; Software and Data→Embedded Software, Hazard and Safety Analysis; A to D profiles
Krzysztof Czarnecki
Professor, Electrical and Computer Engineering
519-888-4567 x40249
Location:
E7 5428
Research Expertise
- Embedded systems and software
- Generative programming and model-based software development
- Software design
- Software system families and product lines
Link to Profile:
Group(s):
Connected and Autonomous→Automated Driving, Vehicle to Everything Communications (V2X); Software and Data→Embedded Software, Multi-disciplinary Optimization; A to D profiles
Nancy Day
Associate Professor, Computer Science
519-888-4567 x35321
Location:
DC 2335
Research Expertise
- Development of automated and interactive formal methods tools
- Formal methods of system analysis
- Hardware verification
- Requirements specification and analysis
- Software Engineering
- System safety
Link to Profile:
Link to Personal Website or CV:
Group(s):
Software and Data→Embedded Software, Hazard and Safety Analysis; A to D profiles
Sebastian Fischmeister
Associate Professor, Electrical and Computer Engineering
519-888-4567 x33694
Location:
E5 4112
Research Expertise
- Distributed Embedded Real-Time Systems
- Real-Time Safety Critical Software
Link to Profile:
Group(s):
Connected and Autonomous→Automated Driving, Mobile Security, Vehicle to Everything Communications (V2X); Software and Data→Embedded Software; E to H profiles
Catherine Gebotys
Professor, Electrical and Computer Engineering
519-888-4567 x33539
Location:
EIT 4014
Research Expertise
-
Embedded Hardware Security
-
Countermeasures for Hardware Hacking, including techniques for resistance to side channel analysis, reverse engineering, fault injection attacks
-
Protection of Keys, Secure Boot
Link to Profile:
Link to Personal Website or CV:
Group(s):
Connected and Autonomous→Mobile Security; Software and Data→Embedded Software; E to H profiles
