ACSI on Twitter
ACSI Events
ACSI Publications

Valid XHTML 1.0 Transitional

Latest News

Alessandro Artale

Alessandro Artale is an Assistant Professor at the KRDB Research Centre for Knowledge and Data of the Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. He got a PhD in Computer Science from the University of Florence in 1994. He published more than 60 papers in international journals and conferences. He acted as both Chair and PC member in conferences, and as editor of both proceedings and journal's special issues. He has organized the 16th Int. Symposium on Temporal Representation and Reasoning (TIME- 2009). His research has been funded by the European Community and by National funds. His main research subjects concern description logics, temporal logic, automated reasoning, ontologies, and conceptual modeling. A particular emphasis is devoted to the formalization of conceptual modeling tasks in domains with high semantic complexity and characterized by a dynamic aspect.

Alessio Lomuscio

Dr. Alessio Lomuscio is a Reader at the Department of Computing, Imperial College London, where he leads the group on verification of multi-agent systems. He currently holds an EPSRC leadership fellowship. He received a PhD in Computer Science from the University of Birmingham in 1999 and a Laurea in Electronic Engineering from Politecnico di Milano in 1995. Before joining Imperial he was Lecturer at King's College London and Senior Lecturer at University College London. His research interests concern the specification and verification of distributed systems and multi-agent systems by means of techniques based on on computational logic. He has published about 100 research papers on the subject. He was invited speaker and invited guest lecturer in a number of international conferences and postgraduate courses and regularly sits on programme committees for several international conferences and workshops. He is co-author of MCMAS, a model checker for multi-agent systems.

Babak Bagheri Hariri

Babak Bagheri Hariri is a second year PhD student at the KRDB Research Center of the Free University of Bozen-Bolzano (FUB), Italy, under the supervision of Prof. Diego Calvanese. His current PhD research topic is verification and composition of e-services in the presence of data, which are inherently infinite state systems. He received his BSc from Shahid Beheshty University (SBU), and his MSc from Sharif University of Technology (SUT), Iran. His previous research topics were ontology alignment, and information retrieval.

Boudewijn van Dongen

Dr. Boudewijn van Dongen is an assistant professor in the Information Systems group of the Department of Mathematics and Computer Science of Eindhoven University of Technology, Eindhoven, The Netherlands. He received his Ph.D. in 2007, after successfully defending his thesis entitled "Process Mining and Verification". Currently, his research interests extend from process mining and process verification to supporting flexible processes and visualization of research results. Furthermore, he plays an important role in the development of the open-source process mining framework ProM, freely available from

Catherine Murphy-O'Connor

Catherine Murphy-O'Connor holds a degree in Physics from Universidad Complutense de Madrid. In 2007 she joined Indra Software Labs where she's been working as a functional analyst in the area of Utilities. She has worked in Energy Control projects and Electrical measurements systems for companies operated by Unión Fenosa.

David Boaz

David Boaz is a research staff member in IBM Research Lab in Haifa since November 2010. David holds a MSc. Degree in Information-Systems Engineering and a BSc. degree in Industrial Engineering and Management with a major Information Systems, both from Ben-Gurion University in Beer-Sheva, Israel. Previously David had worked with SAP as a developer, working on a warehouse-management module, and later on with dbMotion as a senior developer specializing in Decision-Support in Medical Information Systems.

David Toribio Gómez

David Toribio Gómez studied Software Engineering at Universidad Autónoma de Madrid focusing his studies in security technologies. He worked in Telefónica I+D where he took part in EU projects, such as FP6-BIOSEC and FP6-HUMABIO, related to advance biometry and information security techniques. In 2008, David joined Indra Software Labs where he has been responsible of several national R&D projects related to home automation and national ID card developments from the security point of view.

Diego Calvanese

Diego Calvanese is associate professor at the Faculty of Computer Science, Free University of Bozen-Bolzano, Italy, where he teaches graduate and undergraduate courses on knowledge bases and databases, ontologies, knowledge representation, theory of computing, formal languages, and information integration. He is vice-director of the KRDB Research Centre for Knowledge and Data, and his research interests include formalisms for knowledge representation and reasoning, ontology languages, Description Logics, conceptual data modeling, data integration, web service modeling and composition, and semistructured and XML data management. He has been principal investigator or co-investigator in several national and international research projects, and he has been the coordinator of the EU STREP FET Project "Thinking ONtologiES" (TONES). He has been co-chair of the Int. Workshops on Description Logics DL-2003 and DL-2007, and PC co-chair of the Int. Conference on Web Reasoning and Rule Systems RR-2008. He is the author of around 200 refereed publications, including ones in the most prestigious international journals and conferences in the areas of databases and artificial intelligence, such as Journal of Computer and System Science, Artificial Intelligence, Information Systems, ACM Transactions on Computational Logic, Theoretical Computer Science, PODS, SIGMOD, LICS, ICDE, VLDB, ICDT, IJCAI, AAAI, KR, ECAI, ICSOC. He is one of the editors of the "Description Logics Handbook". His h-index is 49 according to Google Scholar.

Dirk Fahland

Dr. Dirk Fahland is assistant professor in the Information Systems group of the Department of Mathematics and Computer Science of Eindhoven University of Technology in the Netherlands. His research and teaching interests include distributed processes and systems built from distributed components. He investigates techniques for modeling systems (using process modeling languages, Petri nets, or scenario-based techniques), for analyzing systems for errors or misconformances (through verification or simulation), for repairing erroneous/misconforming systems, for discovering system models from event logs or database, and for synthesizing systems and components from specifications.

Dmitry Zheleznyakov

Dmitriy Zheleznyakov is a PhD candidate at the Free University of Bozen-Bolzano (FUB). He got his european M.Sc. degree in Computer Science from both Universidad Politecnica de Madrid and FUB in 2009. He is an alumni of the Novosibirsk State University, the Russian leading research school in several applied mathematical disciples, where he studied mathematics. His research interests focus around Semantic Web Technologies and Artifact-Centric Service Interoperation. More specifically, the focus is on (i) ontologies in the context of Semantic Web, (ii) applications of ontology updates to artifact-centric workflow. He has just started working under the supervision and together with Diego Calvanese from FUB.

Eric Verbeek

Dr. Ir. Eric Verbeek is a scientific engineer at the Information Systems group of the department of Mathematics and Computer Science at the Technische Universiteit Eindhoven, where he also received his Ph.D. His research interests include workflow management, business process management, and process verification.

Evgeny Kharlamov

Evgeny Kharlamov is a PhD candidate at the Free University of Bozen-Bolzano (FUB). He got his european M.Sc. degree in Computer Science from both Dresden University of Technology and FUB in 2006. He is an alumni of the Novosibirsk State University, the Russian leading research school in several applied mathematical disciplines, where he studied mathematics. His research interests focus around theoretical aspects of database management systems and the Semantic side of the World Wide Web. More specifically, the focus is on integration, aggregation, and updates for (i) uncertain and probabilistic databases and (ii) ontologies in the context of the Semantics Web. He has been working for about four years under the supervision and together with Werner Nutt and Diego Calvanese from FUB. Starting from December 2008, Evgeny has been co-affiliated with INRIA Saclay, working for the Webdam project on Foundations of Data Management, where the topic of his research is Probabilistic XML. This work is together with Serge Abiteboul and Pierre Senellart.

Fabiana Fournier

Dr. Fabiana Fournier has a B.Sc. in Information Systems, and a M.Sc. and a PhD in Industrial Engineering from the Technion - Israel Institute of Technology. Dr. Fournier has over ten years of research and practical experience in the areas of organizational and process modeling, business transformation, and management. In 2006, Fabiana joined the Business Transformation group at the IBM Research Lab in Haifa, Israel. Her research areas include: architecture and modeling (conceptual and formal modeling), model management, modeling tools architecture, enterprise architecture, and service oriented architecture. In 2008, Dr. Fournier received the IBM Outstanding Accomplishment Award for her contribution to the area of Business Architecture in the CBM (Component Business Modeling) domain in which she has published multiple articles in leading conferences and journals.

Fabio Patrizi

Dr. Fabio Patrizi is a Research Associate at Department of Computing, > Imperial College London. He earned a Ph.D. in Computer Science and Engineering from the Department of Computer Science & Engineering "A. Ruberti", SAPIENZA University of Rome, in September 2009, defending the thesis "Simulation-based Techniques for Automated Service Composition". His research interests include: Service Oriented Computing, Formal Verification and Synthesis, Knowledge Representation, and Automated Reasoning.

Giuseppe De Giacomo

Prof. Dr. Giuseppe De Giacomo is full professor in Computer Science and Computer Engineering. His research interests include service composition, information integration, knowledge representation and reasoning, reasoning about actions, cognitive robotics, and object-oriented methodologies. He has been the principal investigator for the unit of “La Sapienza” of the EU Project EU-FP6-FET TONES, and he is the scientific coordinator of the Open Collaboration – Open Source Agreement W0954341 between “La Sapienza” and IBM T. J. Watson Research Center. He is the author of more than 200 publications in international conferences and journals, including the most prestigious ones in the above mentioned areas, such as Journal of Computer and System Science, Information and Computation, Artificial Intelligence, Information Systems, ACM Transactions on Computational Logic, Theoretical Computer Science, PODS, SIGMOD, LICS, ICDE, VLDB, ICDT, IJCAI, AAAI, KR, ECAI, ICSOC, BPM. His h-index is 49 (one of the highest in Italy in the area of computer science and engineering) according to Google Scholar. He is associate editor of the Journal of Artificial Intelligence Research (JAIR).

Lior Limonad

Lior Limonad recently (Aug., 2010) joined the Business Transformation group at the IBM Research Lab in Haifa. Lior is also a Ph.D. candidate in the Management Information Systems Division at Sauder School of Business, University of British Columbia, Canada. Prior to his Ph.D. studies, Lior lived in Beer-Sheva, Israel, where he pursued a masters degree and worked as an engineer with the Information Systems Engineering department at Ben Gurion University. He holds a B.Sc. degree in Industrial Engineering and Management with a major in Information Systems and an M.Sc. degree in Information System Engineering, both from Ben-Gurion University of the Negev, Israel. His doctoral research is in the domain of Business Controls and its integration with systems analysis and design. Lior's general interests are in the areas of systems analysis and design, conceptual modeling, ontological applications to information systems, and software engineering.

Marco Montali

Marco Montali is Assistant Professor with a fixed term contract at the KRDB Research Center for Knowledge and Data of the Faculty of Computer Science, Free University of Bozen-Bolzano. He received a PhD in Computer Science from the University of Bologna in 2009 and a Laurea in Computer Science Engineering from the same University in 2006. His PhD thesis was honored with the 2007-2009 "Marco Cadoli" GULP Distinguished Dissertation Award, awarded by the Italian Association for Logic Programming to the most outstanding italian theses focused on computational logic.
His research activity focuses on theoretical, methodological and experimental aspects of knowledge representation and automated reasoning for the formal specification, verification and monitoring of business processes, clinical guidelines, service-oriented and multi-agent systems. In particular, he is currently investigating the formal specification and automated verification of artifact- and data-centric business processes, encompassing both control-flow aspects and the manipulation of data, which makes them infinite-state systems. He published a Springer monograph and about 50 papers on these topics.

Marlon Dumas

Prof. Dr. Marlon Dumas is holder of the Swedbank Professorship of Software Engineering at University of Tartu since 2007. Prior to this appointment, he was Associate Professor at Queensland University of Technology (QUT), Australia. During his time at QUT, he was Chief Investigator in 6 research projects funded by the Australian Research Council. He also received a prestigious Queensland Government Fellowship between 2004 and 2007 to undertake research on service-oriented software architectures in collaboration with SAP AG. Prof. Dumas has co-authored over 120 publications in international conferences and journals, 2 U.S. patents (granted), 3 other U.S. patent applications, and a textbook on Process-Aware Information Systems. His research papers have been cited over 4500 times according to Google scholar and have earned 4 best paper or best student paper awards at international conferences (CEC’2009, FASE’2007, EEE’2006, EUC’2005). He served as program chair of the 2007 International Conference on Business Process Management and demonstrations chair of the 2008 International Conference on Service-Oriented Computing. He received his doctoral degree from University of Grenoble in 2000.

Massimiliano de Leoni

Dr. Massimiliano de Leoni holds a Postdoc position at the Department of Mathematics and Computer Science of the Technische Universiteit Eindhoven (TU/e). He earned a Master and a PhD degree in Computer Science and Engineering at Sapienza - Università di Roma, Italy. During his Ph.D. program, he mamde an internship at the BPM (Business Process Management) group at the Queensland University of Technology, Brisbane as well as he was visiting the Intelligent Agents group at the RMIT University in Melbourne. He has coauthored around 30 scientific publications for renown international conferences and journals. His research interests range from business process management, with special focus on work-list visualization and process flexibility, to mobile information systems, wireless networking in service-oriented architectures and logic programming and planning for agents. He has been involved in European- and Italian-funded projects, such as FP6-WORKPAD, FP7-SM4All or MAIS, where he has applied the outcomes of his research.

Maurizio Lenzerini

Prof. Dr. Maurizio Lenzerini ( is full professor in Computer Science and Computer Engineering. He is the author of several academic books on fundamentals of Computer Science, Software Engineering, and Database design. His main research interests include conceptual data modeling, data integration, data warehousing, semistructured data management, knowledge representation and reasoning, and object-oriented methodologies. He is the author of more than 300 publications in international conferences and journals. His h-index is 53 according to Google Scholar (the highest in Italy in the area of computer science and engineering). He is member of the Editorial Board of various international journals, in particular is area editor of Information Systems. He organized several international conferences and workshops and he was Program co-chair of CoopIS’99, Conference Chair of ER’99, and Program Chair of ICDT’03 and PODS’08.

Peep Küngas

Dr. Peep Küngas is currently researcher (since 2009) at University of Tartu where he carries out research on services ecosystems and modern Internet technologies. From 2007 to 2009 he was a post-doctoral fellow at the Department of Microelectronics and Information Technology of the Royal Institute of Technology, Kista, Sweden where he was involved in an EU project RoboSWARM and provided his expertise in knowledge systems and Web services. Peep Küngas received PhD in Information and Intelligence Science from Norwegian University of Science and Technology, Trondheim, Norway in August 2006. MSc and BSc in Computer and Systems Engineering were acquired from Tallinn University of Technology, Tallinn, Estonia respectively in 2002 and 2000. Peep has expert knowledge and experience in the Semantic Web, semantic interoperability, formal methods, automated theorem proving, knowledge engineering, automated Web services annotation, intelligent distributed systems, analysis of service networks and large-scale federated information systems. Peep has served as a Program Committee member and reviewer of a number of scientific forums. Additionally he has published about 50 scientific peer-reviewed and more than 20 popular scientific papers. In parallel to his academic career, Peep maintains an online marketplace for XML Web services ( This marketplace publishes, analyses, and brokers access to over 10000 publicly accessible Web services and aims at bringing together a community of Web services providers, consumers and developers for tight collaboration.

Pieter De Leenheer

Dr. Pieter De Leenheer is assistant professor at VU University Amsterdam in the Business, Web and Media group (since Nov 09). He is co-founder of Collibra SA in Brussels. From 2002-2009, Pieter was senior scientist at VUB STARLab, and lecturer at the same university. Pieter holds a PhD in computer science on community-based ontology evolution, and a MSc in principle computer science. From 2004-2006, Pieter represented VUB STARLab in the European IP project DIP dealing with the integration of data, information, and processes. He worked mainly on the ontology versioning method and tool developed for the WSML framework. DIP ended with excellence. From 2005-2007, he was involved in the European Leonardo Da Vinci project were ontologies are built for meaningful competency-centric human resource management.

Pieter authored more than 30 publications in various books, international journals and conferences, among which he co-edited the Springer book "Ontology Management for the Semantic Web". He gives master lectures including Database Theory, (Web) Information Systems, and Semantic Web languages. He is member of ACM and IEEE.

Richard Hull

Dr. Richard Hull is a Research Staff Member and Manager at the IBM T.J. Watson Research Center, a position he took in May, 2008.  Dr. Hull has broad research interests in the areas of data and information management, workflow and business processes, and web and converged services.  His group is currently working performing research on data-centric workflow and business process management. A primary focus of his research is on the use of a novel marriage of data and process, called "business artifact", as a unifying foundation for the management of business operations. Dr. Hull is co-author of the book "Foundations of Databases" (Addison-Wesley, 1996); has published over 100 articles in journals, conferences and books; and holds six U.S. patents.  Prior to joining IBM Research, Dr. Hull was Director of Computing and Software Principles Research at Bell Labs Research, a division of Alcatel-Lucent.  While there, in addition to pursuing research on semantic web services, converged services, personalization, and data management, Hull was instrumental in developing and transferring new technologies into Alcatel-Lucent's product line, including the Vortex policy engine and the Datagrid data integration tool.  Before joining Bell Labs in 1996 he served on the faculty of Computer Science at the University of Southern California, and was a frequent visitor at INRIA in France. His research has been supported in part by grants from NSF, DARPA, and AT&T.  Dr. Hull was named Bell Labs Fellow in 2005 and ACM Fellow in 2007.

Stijn Christiaens

Stijn Christiaens is co-founder and COO of Collibra. He has been an R&D engineer in the supply-chain and warehouse management industry and a researcher at the Semantics Technology and Applications Research Laboratory (STARLab) at the Vrije Universiteit Brussel in Brussels, Belgium. He contributed to several national and European projects on ontology engineering. Stijn holds a MSc in Industrial Engineering (in IT) from the Katholieke Hogeschool Gent (KiHo), a MSc in Artificial Intelligence from the Katholieke Universiteit Leuven, a degree in Project Management (PMI) from the European University College and a Postgraduate in Industrial Corporate Governance at the European University College.

Terry Heath

Terry Heath is a Senior Software Engineer at the IBM T.J. Watson Research Center. Terry started his work with IBM in 1990 to work in Manufacturing Research with a focus on supply chains. Terry worked on the architecture, design, and implementation of discrete event simulation technology, component placement applications, conferencing and collaboration applications, and factory operations. In the mid-90's Terry changed focus from Manufacturing Research to Services Research with a primary focus on Business Process Management (BPM). Terry has since been central in the initiation and continued growth of the business artifact-centric paradigm as an alternative and more flexible way to model and execute business operation models as compared to process-centric approaches. Terry continues to evolve artifact-centric process models, execution engines, modeling tools, and applications.

Viara Popova

Viara Popova received her PhD from Erasmus University Rotterdam, The Netherlands for her thesis on knowledge discovery for monotone problems. She has worked as a post-doctoral researcher at Vrije Universiteit Amsterdam, The Netherlands in the area of organisation modelling including process modelling, performance and goal modelling as well as analysis of organisation specifications and execution of organisational scenarios. She has also worked as a senior research fellow at De Montfort University in the UK in the area of demand prediction and resource planning using methods such as data mining, natural language processing and web mining. Viara will join the project Artifact-Centric Service Interoperation at University of Tartu where she will specialize on the development and application of process mining techniques.

Werner Nutt

Werner Nutt is a Full Professor of Computer Science at the Free University of Bozen-Bolzano since 2005, where he was Vice-rector for research from 2006 to 2008. Prior to this, he was a Reader at Heriot-Watt University, Edinburgh (2000-2005) and a Senior Researcher at the German Research Center of Artificial Intelligence (DFKI). Concurrently, he held positions as Visiting Associate Professor at the University of Ulm in Germany (1996) and at the Hebrew University of Jerusalem in Israel (1997-2000). He has published more than 70 papers in journals and conference proceedings. His areas of research are databases, information management, knowledge representation and reasoning. He made fundamental contributions to reasoning algorithms for description logics, which are the formal foundation of ontology languages for the semantic web. More recently, he worked on query answering over incomplete and uncertain information and providing user access to scientific data using Semantic Web technologies.

Wil van der Aalst Wil van der Aalst is a full professor of Information Systems at the Technische Universiteit Eindhoven (TU/e) having a position in both the Department of Mathematics and Computer Science and the Department of Technology Management. Currently he is also an adjunct professor at Queensland University of Technology (QUT) working within the BPM group there. His research interests include workflow management, process mining, Petri nets, business process management, process modeling, and process analysis. Wil van der Aalst has published more than 115 journal papers, 15 books (as author or editor), 230 refereed conference/workshop publications, and 40 book chapters. Many of his papers are highly cited (he has an H-index of more than 70 according to Google Scholar, making him the Dutch computer scientist with the highest H-index) and his ideas have influenced researchers, software developers, and standardization committees working on process support. He has been a co-chair of many conferences including the Business Process Management conference, the International Conference on Cooperative Information Systems, the International conference on the Application and Theory of Petri Nets, and the IEEE International Conference on Services Computing. He is also editor/member of the editorial board of several journals, including the Distributed and Parallel Databases, the International Journal of Business Process Integration and Management, the International Journal on Enterprise Modelling and Information Systems Architectures, Computers in Industry, Business & Information Systems Engineering, IEEE Transactions on Services Computing, Lecture Notes in Business Information Processing, and Transactions on Petri Nets and Other Models of Concurrency. He is also a member of the Royal Holland Society of Sciences and Humanities (Koninklijke Hollandsche Maatschappij der Wetenschappen).

For more information about his work visit:,,,