Research
Specialisations
- Computational Theory and Mathematics
- Artificial Intelligence
- Hardware and Architecture
- Software
Research topics
- semigroups and automata theory
- Logic, programming, and type systems
- Parallel Computing and Optimization Techniques
- Engineering and Information Technology
- Embedded Systems Design Techniques
- Publications
- 111
- Citations
- 1.5K
- h-index
- 15
- 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
Free forever No credit card 30-second sign-up