Education
Ph.D.: Computer Science And Computer Engineering
Ph.D.: Computer Science And Computer Engineering
2006-11-01 to 2010-03-30
ICT International Doctorate, University of Trento - Trento, Italy
Thesis “Security-by-Contract using Automata Modulo Theory”
Advisor: Prof. Fabio Massacci
Master of Science: Computational Logic
Master of Science: Computational Logic
2003-10-01 to 2006-03-15
Dresden University of Technology (TUD) - Dresden, Germany
Thesis “Verification of Beller-Chang-Yacobi Cryptographic Protocols with ProVerif”
Advisors: Prof. Horst Reichel, Dipl.-Inf. Christian Hofmann
Bachelor's: Informatics Engineering
Bachelor's: Informatics Engineering
1998-08-01 to 2002-10-19
Bandung Institute of Technology - Bandung, Indonesia
Thesis “Partially Ordered and Partially Reliable Transport Protocol Engineering: PORTP”
Advisors: Dr. Ing. Farid Wazdi, Riza Satria Perdana, S.T, M.T