Fabio Patrizi is Associate Professor at DIAG - Sapienza University of Rome.
His research activity 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 50 scientific papers, published in international journals or proceedings of international conferences and has been invited to present the results of his research at various institutions.
He was the (co-)recipient of a Best Paper Award, a Test of Time Award, and an RMIT Melbourne Visiting Researcher's Award.
He is regularly invited as PC or SPC member of 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 has served as moderator for the selection of papers submitted to the Artificial Intelligence section of the Computing Research Repository (www.arxiv.org).
Since November 2020, Fabio Patrizi is the chairman of the Information Engineering Laurea Course at Sapienza University of Rome, in Latina.
|Course||Code||Year||Course - Attendance|
|ALGORYTHMS AND DATA STRUCTURE||1022760||2021/2022||Information Engineering|
|Artificial Intelligence and Machine Learning||10599898||2021/2022||Engineering in Computer Science|
|Artificial Intelligence||10600392||2021/2022||Management Engineering|
|Programming techniques||1056025||2020/2021||Computer and System Engineering|
|MACHINE LEARNING||1022858||2020/2021||Engineering in Computer Science|
|ALGORYTHMS AND DATA STRUCTURE||1022760||2020/2021||Information Engineering|
|MACHINE LEARNING||1022858||2020/2021||Biomedical Engineering|
|Programming techniques||1056025||2019/2020||Computer and System Engineering|
|MACHINE LEARNING||1022858||2019/2020||Engineering in Computer Science|
|ALGORYTHMS AND DATA STRUCTURE||1022760||2019/2020||Information Engineering|
|Programming techniques||1056025||2018/2019||Computer and System Engineering|
|ALGORYTHMS AND DATA STRUCTURE||1022760||2018/2019||Information Engineering|
|SMART OBJECT||10589538||2018/2019||Product design|
|training||AAF1050||2017/2018||Information Technology Engineering|
|ALGORYTHMS AND DATA STRUCTURE||1022760||2017/2018||Information Technology Engineering|
|SMART OBJECT||1047780||2017/2018||Product design|
|Internship||AAF1053||2016/2017||Information Technology Engineering|
|APPLIED INFORMATICS||1041865||2016/2017||Archive and Library Theory and Management|
|SMART OBJECT||1047780||2016/2017||Product design|
|ALGORYTHMS AND DATA STRUCTURE||1022760||2016/2017||Information Technology Engineering|
|Imitation Learning over Heterogeneous Agents with Restraining Bolts||2020|
|Restraining Bolts for Reinforcement Learning Agents||2020|
|Temporal Logic Monitoring Rewards via Transducers||2020|
|High-level Programming via Generalized Planning and LTL Synthesis||2020|
|Modeling and In-Database Management of Relational, Data-Aware Processes||2019|
|Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications||2019|
|First-order μ-calculus over generic transition systems and applications to the situation calculus||INFORMATION AND COMPUTATION||2018|
|LTLf/LDLf Non-Markovian Rewards||2018|
|On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment||2017|
|Progression and Verification of Situation Calculus Agents with Bounded Beliefs||STUDIA LOGICA||2016|
|Agent planning programs||ARTIFICIAL INTELLIGENCE||2016|
|Bounded situation calculus action theories||ARTIFICIAL INTELLIGENCE||2016|
|On First-Order μ-Calculus over Situation Calculus Action Theories||2016|
|Plan Synthesis for Knowledge and Action Bases||IJCAI||2016|
|Guest editorial: special issue on data and artifact-centric business processes||COMPUTING||2016|
|Verifying congolog programs on bounded situation calculus theories||2016|
|Synthesizing and executing plans in Knowledge and Action Bases||2016|
|Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis||2015|
|Service Composition with PDDL Representations and Visualization over Videogame Engines||2015|
|Leveraging relational technology for data-centric dynamic systems||2015|