Research
Specialisations
- Hardware and Architecture
- Safety, Risk, Reliability and Quality
- Artificial Intelligence
Research topics
- Real-Time Systems Scheduling
- Embedded Systems Design Techniques
- Safety Systems Engineering in Autonomy
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
- Publications
- 456
- Citations
- 3.3K
- h-index
- 28
- Papers, last 3 years
- 2
Members only · Free to join
Sign in to see the full profile
See their grants, open positions in their group, career history and colleagues — everything you need before you write to them.
- Research funding
- Similar professors
Free forever No credit card 30-second sign-up
