Joanne Atlee
Professor, Computer Science
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:
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
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
Professor, Computer Science
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:
Group(s):
Software and Data→Embedded Software, Hazard and Safety Analysis; A to D profiles
Sebastian Fischmeister
Professor, Electrical and Computer Engineering
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
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:
Group(s):
Connected and Autonomous→Mobile Security; Software and Data→Embedded Software; E to H profiles
Derek Rayside
Associate Professor, ECE
Research Expertise
- Software Engineering
- Autonomous vehicles
- Cybersecurity
- Infrastructure Integrity
- Software Engineerin
Link to Profile:
Group(s):
Connected and Autonomous→Automated Driving, Mobile Security; Software and Data→Embedded Software, Multi-disciplinary Optimization; N to S profiles
