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), Vehicle Control; 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
Fakhri Karray
Professor, Electrical and Computer Engineering
Research Expertise
- Autonomous and intelligent systems
- Computational intelligence and applications
- Cognitive robotics and advanced mechatronics
- Distributed real time systems
- Concept extraction and natural speech understanding
- Multi modal information retrieval
Centre for Pattern Analysis and Machine Intelligence (CPAMI)
Link to Profile:
Group(s):
Connected and Autonomous→Advanced Driver Assistance Systems (ADAS), Automated Driving, Collaborative Driving, Human Machine Interface (HMI); Powertrain and Emissions→Sensors; Software and Data→Artificial Intelligence, Data - Analytics, Mining and Management, Embedded Software; I to M 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
Xuemin (Sherman) Shen
Professor, Electrical and Computer Engineering
Research Expertise
- Radio resource and mobility management
- Voice over mobile Internet protocol (IP)
- Wireless ad hoc and sensor networks
- Wireless network security
- Wireless/Internet interworking
- Wireless local area network (WLAN)/Worldwide interoperability for microwave access (WiMAX), Wireless application protocol (WAP), Ultra-wide band (UWB) wireless communications
Link to Profile:
Group(s):
Connected and Autonomous→Vehicle to Everything Communications (V2X); Software and Data→Embedded Software; N to S profiles
Rodolfo Pellizzoni
Associate Professor
519-888-4567 x37513
Location:
E5 4113
Link to Profile:
Group(s):
Software and Data→Embedded Software
