Research
Specialisations
- Computer Networks and Communications
- Hardware and Architecture
- Computational Theory and Mathematics
- Computational Mechanics
Research topics
- Distributed systems and fault tolerance
- Parallel Computing and Optimization Techniques
- Formal Methods in Verification
- Petri Nets in System Modeling
- Fluid Dynamics and Turbulent Flows
- Publications
- 525
- Citations
- 8.4K
- h-index
- 49
- Papers, last 3 years
- 7
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
- Affiliations
- Similar professors
Free forever No credit card 30-second sign-up
