Contacts
Filter by:
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:
Joanne Atlee
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:
Krzysztof Czarnecki
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:
Nancy Day
Sebastian Fischmeister
Professor, Electrical and Computer Engineering
Research Expertise
- Distributed Embedded Real-Time Systems
- Real-Time Safety Critical Software
Link to profile:
Sebastian Fischmeister
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:
Catherine Gebotys
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:
Fakhri Karray
Derek Rayside
Associate Professor, ECE
Research Expertise
- Software Engineering
- Autonomous vehicles
- Cybersecurity
- Infrastructure Integrity
- Software Engineerin
Link to profile:
Derek Rayside
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:
Xuemin (Sherman) Shen