Since June 2010, Ida Siahaan is a postdoctoral fellow at the University of Calgary, Canada.

Research Interests

• Automata Modulo Theory (AMT)
• Smartphone Security
• Computational Logics

Publications

A list of publications can be found here.

Academic Background

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. In 2010, she received the PhD in Computer Science at the University of Trento, Italy. February - August 2008, she visited Computer Science Department University of Wisconsin - Madison, USA.