Skip to content
Computer Science

Parosh Aziz Abdulla

Mälardalen University

Back to the university

Research

Specialisations

  • Computational Theory and Mathematics
  • Artificial Intelligence
  • Computer Networks and Communications
  • Software

Research topics

  • Formal Methods in Verification
  • Logic, programming, and type systems
  • Distributed systems and fault tolerance
  • Software Testing and Debugging Techniques
  • Petri Nets in System Modeling
Publications
423
Citations
6.9K
h-index
43
Papers, last 3 years
27

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

Parosh Aziz Abdulla — Mälardalen University