Welcome to Ida Siahaan's Page

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. She was a postdoctoral fellow at the University of Calgary, Canada until May 2012. She was a lecturer at STKIP Surya, Indonesia until April 2014. She was a lecturer at Universitas Multimedia Nusantara, Indonesia until December 2014. Lecturer at Bina Nusantara University, Indonesia until February 2017.

Research Interests

    Automata Modulo Theory (AMT)
    Security and Formal Methods
    Computational Logics
    Software Engineering
    E-Learning