Solofomampionona Fortunat Rajaona

Solofomampionona Fortunat Rajaona is Research Fellow in Secure Systems within the Department of Computer Science at the University of Surrey, affiliated with the Surrey Centre for Cyber Security. His research focuses on developing formal methods for verifying security properties in computational systems, with specialization in privacy-preserving protocols and epistemic reasoning frameworks.

Rajaona's research examines:

• Automated verification techniques for knowledge-based programs using SMT solvers
• Epistemic model checking for privacy properties in cryptographic protocols
• Fine-grained trackability analysis in network systems
• Formalization of privacy guarantees under Dolev-Yao attacker models

He contributes to major security conferences including IEEE CSF and NDSS Symposium. Rajaona previously taught at École Normale Supérieure (University of Antananarivo) and conducted research at RWTH Aachen University. His educational background includes a PhD in Mathematics from University of Stellenbosch focused on algebraic privacy frameworks, and postgraduate studies at the African Institute for Mathematical Sciences.