Experience

Selected Professional/Working Experience

May 2020 - Apr 2023 

Sr. Research Scientist/Product R&D Engineer

Cerence. Heerlen, the Netherlands (2021 - 2023), Remote (2020)

Aug 2017 - May 2019

Postdoctoral Researcher

Department of Computer Science, Universität Innsbruck (Innsbruck, Austria)

Activities: Conducted research in the area of

• • machine learning based predictive analytics in business process management.

  • intelligent data extraction and transformation in the presence of domain knowledge (Ontologies), with the aim of supporting/enabling business process mining.

At the same time, I was also a guest researcher at Faculty of Computer Science, Free University of Bozen-Bolzano to carry out joint research within the KAOS Project (see http://kaos.inf.unibz.it), in which the University of Innsbruck and the Free University of Bozen-Bolzano cooperate.

Jun 2016 - Jul 2017

Postdoctoral Researcher

Faculty of Computer Science, Free University of Bozen-Bolzano (Bolzano, Italy)

Activities: Conducted research in the area of business process execution log extraction for process mining, by exploiting intelligent data access techniques and ontologies (See also http://onprom.inf.unibz.it, http://kaos.inf.unibz.it).

Jan 2015 - May 2016

Research Assistant

Faculty of Computer Science, Free University of Bozen-Bolzano (Bolzano, Italy)

Activities: Conducted research in the area of data-aware business processes by also taking into account the presence of ontologies.

Jan 2012 - Jun 2013

Research Collaborator within the sphere of European research project ACSI

Faculty of Computer Science, Free University of Bozen-Bolzano (Bolzano, Italy)

Activities: Conducted research on data-aware business processes verification.

Aug 2011 - Sep 2011

Research Assistant within the sphere of European research project ACSI

Faculty of Computer Science, Free University of Bozen-Bolzano (Bolzano, Italy)

Activities: Developed techniques for optimal weighted service synthesis.

Oct 2008 - Aug 2009

Research Assistant

Faculty of Computer Science, University of Indonesia (Depok, Indonesia)

Activities: Worked on a research project concerning service oriented architecture, web services, and application architecture. One of my responsibilities was designing and implementing a distributed architecture to integrate research products from various labs in the Faculty, and the development of a mobile application that consumes web services.

Oct 2007 - Sep 2008

Sun Microsystem Campus Ambassador

Sun Microsystem (Jakarta, Indonesia)

Activities:

• • Led the sun developer community on campus by starting a Sun Open Source User Group.

  • Learned about Sun technology (e.g., Java, Netbeans).

  • Ran Sun technology demo sessions as part of user group meetings.

  • Supported the organization of Sun events.

  • Evangelized Sun development tools to students, professors and researchers.

Feb 2007 - Aug 2007

Research Assistant - Component Verification Tools (CVT)

Faculty of Computer Science, University of Indonesia (Depok, Indonesia)

Activities: Conducted research related to Component Based Software, especially designing and developing a prototype tool for the verification and certification of component based software.

Various appointments from 2005 until 2008

Teaching Assistant

Faculty of Computer Science, University of Indonesia (Depok, Indonesia)

Courses:

• • Foundation of Programming (for international and regular class program).

  • Advanced Programming (for international class program).

  • Software Engineering (for international and regular class program).

Activities: Gave tutorial, grade the student's assignments, and helped the lecturer to conduct a lab tutorial or exam.

Selected Presentations/Talks

Please contact me if you are interested in the presentation material.

• • Specification-driven multi-perspective predictive business process monitoring

At the Int. Conf. on Business Process Modeling, Development and Support (BPMDS 2018)

Tallinn - Estonia, June 2018

• • Verification of generalized inconsistency-aware knowledge and action bases

At the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI 2015)

Buenos Aires - Argentina, July 2015

• • Inconsistency management in generalized knowledge and action bases

At the 28th Int. Workshop on Description Logics (DL 2015)

Athens - Greece, June 2015

• • Adding context to knowledge and action bases

At the 6th Int. Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)

Linköping - Sweden, November 2014

• • Verification of context-sensitive knowledge and action bases

At the 14th European Conf. on Logics in Artificial Intelligence (JELIA 2014)

Madeira - Portugal, September 2014

• • Verification of semantically-enhanced artifact systems

At the 11th Int. Conf. on Service Oriented Computing (ICSOC 2013)

Berlin - Germany, December 2013

• • Verification of inconsistency-aware knowledge and action bases

At the 23rd Int. Joint Conference on Artificial Intelligence (IJCAI 2013)

Beijing - China, August 2013

• • Verification of inconsistency-aware knowledge and action bases

At the 26th Int. Workshop on Description Logics (DL 2013)

Ulm - Germany, July 2013

• • When Data, Knowledge and Processes Meet Together

At the 6th International Conference on Web Reasoning and Rule Systems (RR 12)

Vienna - Austria, September 2012

• • Semantically-Governed Data-Aware Processes

At the 1st Int. Workshop on Knowledge-intensive Business Processes (KiBP 2012)

Rome - Italy, June 2012

• • Best Service Synthesis in the Weighted Roman Model

At the 4th Central-European Workshop on Services and their Composition (ZEUS 2012)

Bamberg - Germany, February 2012

• • Solving Sudoku as Satisfiability Problem

At the Summer School of Computational Logic and Logic Foundations of Computer Science

Hanoi - Vietnam, August 2007

Here are some of my "scientific/academic" posters:

(Click the poster to see more details. You may also find my posters here)