Ario Santoso           

I am a Postdoctoral Researcher at KRDB Research Centre for Knowledge and Data in the Faculty of Computer Science, Free University of Bozen-Bolzano.



Contact

Email : santoso [at] inf [dot] unibz [dot] it


santoso.ario [at] gmail [dot] com


Address (office) : Faculty of Computer Science
Free University of Bozen-Bolzano
Piazza Domenicani, 3
I-39100 Bolzano, Italy.

Education


Doctoral Study (January 2012 - May 2016)

Faculty of Computer Science, Free University of Bozen-Bolzano (FUB) and Faculty of Computer Science, Technische Universität Dresden (TUD).

ProgramEuropean PhD program in Computational Logic (EPCL), a joint degree PhD program.
Title of qualification awarded: Joint PhD degree from both FUB and TUD.
Thesis title: Verification of Data-aware Business Processes in the Presence of Ontologies.
SupervisorDiego Calvanese.
Co-supervisorMarco Montali.
External supervisor: Franz Baader.

Master Study (October 2009 - October 2011)

Faculty of Computer Science, Technische Universität Dresden (TUD) and Faculty of Computer Science, Free University of Bozen-Bolzano (FUB).

ProgramEuropean Master in Computational Logic (EMCL), a double degree master program.
Title of qualification awarded: Master of Science (from TUD), and Laurea Magistrale in Computer Science (from FUB)
Thesis title: Automated Service Synthesis in the Weighted Framework.
Thesis supervisor: Diego Calvanese.


Bachelor Study (September 2004 - August 2008)

Faculty of Computer Science, University of Indonesia

Title of qualification awardedSarjana Ilmu Komputer (Bachelor of Science in Computer Science)
Thesis title: Implementation of the Principal Type Algorithm and the Type Inhabitant Algorithm from TAλ Type Theory Using Definite Clause Grammar in Prolog.
Thesis supervisor: Lim Yohanes Stefanus.




Selected publications (see also my dblp)














Selected working/professional experiences


January 2015 - present

Research Assistant (Assegnista di Ricerca)

Faculty of Computer Science, Libera Università di Bolzano (Academic Institution)

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

January 2012 - June 2013

Research Collaborator within the sphere of European research project ACSI

Faculty of Computer Science, Libera Università di Bolzano (Academic Institution)

Main activities and responsibilities: Conducted research on data-aware processes verification in the presence of ontologies.

August 2011 - September 2011

Research Assistant within the sphere of European research project ACSI

Faculty of Computer Science, Libera Università di Bolzano (Academic Institution)

Main activities and responsibilities: Developed techniques for optimal weighted service synthesis.

October 2008 - August 2009

Research Assistant for Multilab Research

Faculty of Computer Science, University of Indonesia (Academic Institution)

Main activities and responsibilities: This research project concerns about 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. 

October 2007 - September 2008

Sun Microsystem Campus Ambassador

Sun Microsystem (Hardware and Software Vendor/Support)

Main activities and responsibilities:
  • Led the sun developer community on campus by starting a Sun Open Source User Group.
  • Learned about Sun technology, for example Java, Netbeans, and Open Solaris.
  • Ran Sun technology demo sessions as part of user group meetings.
  • Helped support Sun events and contests.
  • Evangelized Sun development tools to students, professors and researchers.

February 2007 - August 2007

Research Assistant for Component Verification Tools (CVT) Research

Faculty of Computer Science, University of Indonesia (Academic Institution)

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

Various appointments from 2005 until 2008

Teaching Assistant

at Faculty of Computer Science, University of Indonesia (Academic Institution) for:

  • Foundation of Programming (for international and regular class program).
  • Advanced Programming (for international class program).
  • Software Engineering (for international and regular class program).
Main activities and responsibilities: Gave tutorial, grade the studentís assignments, and helped the lecturer to conduct a lab tutorial or exam.



Selected achievements, awards, recognitions and scholarships


  • [2011] First rank in the 27th cycle of Libera Università di Bolzano PhD scholarship competition.
  • [2011] Best thesis project award in the celebration of 10th years anniversary of faculty of computer science, Libera Università di Bolzano.
  • [2009] Second rank in Erasmus Mundus Scholarship main list for European Master in Computational Logic (EMCL).
  • [2008] Top 10 in Software Design Competition, Microsoft Imagine Cup 2008 (National Selection). In this competition, my team and I are developing information systems named WORTH (Whatís On eaRTH). This information system provides information about pollution condition in a certain area and the impact of the pollution for long period. Through this information, people are expected to aware about his/her surround condition and encouraged to preserve their environment. This system also suggests some actions that a person can take in order to reduce the pollution rate at his/her surrounding area, such as planting a certain number of trees. Moreover, this system also helps people to share a story about the air condition in a certain place and a suggestion to enhance the quality of their environment
  • [2007] Awarded a scholarship for attending Summer School of Computational Logic and Logic Foundations of Computer Science at Hanoi University of Technology, Vietnam. I got this scholarship from my victory on a competition to solve sudoku puzzle as a satisfiability problem. This competition was held by Prof. Steffen Hölldobler when he visited University of Indonesia and gave a short course. From this victorious, I also get a chance to give a short presentation about my solution in the summer school at Hanoi University of Technology, Vietnam.
  • [2007] Top 15 in Software Design Competition, Microsoft Imagine Cup 2007 (National Selection). For this competition, my team and I are developing a distributed application that can help a parent, who always busy with their work, to give childhood education for their children through story telling activity. Via this application, the parents can tell a story from a distance (for example at the office) and having an intense communication. This idea comes from the fact that childhood education is very important, and the reality that numerous parents are too busy to give a childhood education such as storytelling. Whereas, according to the literature, storytelling is one of an excellent method for conducting childhood education.