Ida Siahaan

PhD Student

Dipartimento di Ingegneria e Scienza dell'Informazione (DISI)
University of Trento
Via Sommarive 14
38100 POVO (TN) - Italy

siahaan "at" disi "dot" unitn "dot" it

Ida Siahaan received the Bachelor in Informatics Engineering in 2002 at Bandung Institute of Technology, Indonesia, and in 2006 she received the Master of Science in Computational Logic at Dresden University of Technology, Germany. Since November 2006, she is a graduate student at the University of Trento, Italy under the supervision of Prof. Fabio Massacci. February - August 2008, she visited Computer Science Department University of Wisconsin - Madison, USA under the supervision of Prof. Somesh Jha.

Research Interests

  • Automata Modulo Theory (AMT)
  • Security