Main Research Interests

---

• Specification & Verification of Software Systems
• Concurrency models
• Computer networks and communications
• High-speed networking
• Distributed computing
• Specification and verification of communication protocols