Research

Research interests

• Formal methods
• Models and calculi of distributed systems including OO and mobile systems
• Analysis of distributed systems
• Functional and quantitative information security analysis

Research unit(s)

• Complex Applications Design and Implementation Laboratory, Responsible
• SQUIRREL, member

NSERC subjects

• 2700 INFORMATION TECHNOLOGY
• 2714 Mathematics of computing
• 2710 Information systems design
• 2713 Algorithms