Since October 2014, Fabio Patrizi is a research Fellow at the KRDB Center, Faculty of Computer Science of the Free University of Bozen-Bolzano, as the Principal Investigator of a 2-year project, “Verification and Synthesis from Components of Processes that Manipulate Data”, funded by the Provincia Autonoma di Bolzano - Alto Adige. Before, he has held several academic appointments, including an RTD-A at DIAG - Sapienza University of Rome, and a Postdoc (Research Associate) at Imperial College, London (UK). His research activity, carried out in Rome (Italy), London (UK), San Diego (CA,USA), and Bolzano (Italy), concerns theoretical, methodological, and practical aspects in different areas of Computer Science and Artificial Intelligence, including Formal Methods, Knowledge Representation, Reasoning about Action, non-standard forms of Planning in Artificial Intelligence, Service-oriented Computing, and Business Processes. Fabio Patrizi regularly publishes the results of his research in top-level international journals and conferences. He has co-authored over 40 scientific papers, published in international journals or proceedings of international conferences (one of which appointed best paper), and has been invited to present the results of his research at various institutions (one talk was funded by the RMIT Melbourne’s Visiting Researcher’s Award). His Google Scholar profile reports 905 citations and an h-index of 16. According to the Scopus database, he meets 100% of the requirements needed to apply for the national scientific habilitation as Associate Professor for sector 01/B1. He is regularly invited as a PC member to various top-level conferences in the areas of his interest, and as a reviewer or guest editor for several international journals. In 2015, he has been selected as a tutorial lecturer at the prestigious International Joint Conference on Artificial Intelligence (IJCAI’15). He serves as co-responsible for the selection of papers submitted to the Artificial Intelligence section of the well-known Computing Research Repository. He has been local chair of the 9th Italian Convention on Computational Logic (CILC’12) and co-chair of the PhD Symposium of the 11th International Conference on Service Oriented Computing (ICSOC’13). Fabio Patrizi regularly teaches courses at academic level.