Roberto Sebastiani

Roberto Sebastiani is a Full Professor in the Department of Information Engineering and Computer Science at the University of Trento, where he teaches graduate courses including Automated Reasoning, Automated Reasoning and Formal Verification, Formal Verification, and Fundamentals of Artificial Intelligence across Artificial Intelligence Systems, Computer Science, and Mathematics programs.

His research spans foundational and applied areas of computer science with emphasis on formal methodologies:

• Artificial Intelligence
• Automated reasoning
• Conceptual modeling
• Formal methods
• Formal verification
• Information & Communication Technology (ICT)
• Mathematical logic
• Optimization
• Research methodology
• Satisfiability

Professor Sebastiani's work integrates theoretical rigor with practical applications in verification and AI systems development, particularly through satisfiability solving and formal modeling techniques.