Welcome to Ida Siahaan's Page

Ida Siahaan received the Bachelor in Informatics Engineering in 2002 from Bandung Institute of Technology, Indonesia, and in 2006 she received the Master of Science in Computational Logic from Dresden University of Technology, Germany. In 2010, she received the PhD in Computer Science from 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. She was a lecturer at Bina Nusantara University, Indonesia until February 2017. July - October 2017 she was a postdoctoral researcher at Software Research InstituteAthlone Insititute of TechnologyIreland. In 2018, she was postdoctoral researcher at Centro Regionale Information Communication Technology (CeRICT), Italy.Since January 2019 she has joined Canadian Institute for Cybersecurity (CIC), Canada.

Research Interests

    Automata Modulo Theory (AMT)
    Security and Formal Methods
    Language-based Security
    Threat Information Sharing
    Computational Logics
    Software Engineering
    Network Security