Details

ORCID

Google Scholar

Research Gate

Flavio Ferrarotti is key researcher for Software Science. He received his Ph.D. in 2008 in the area of logic in computer science and has since built a strong track record of research, publication and teaching. His experience in the software industry, Yahoo! research and SCCH has provided him with a distinct practical and applied viewpoint, and motivated him to explore the often difficult relationship between theory and practice in computer science.

Research Interests

• Rigorous modeling methods for complex, software-intensive systems, with emphasis on Abstract State Machines (ASMs).
• Behavioural theory of algorithms (as per Gurevich's seminal work on the ASM thesis).
• Mathematical logic (finite model theory) applications to program specification, database querying and computational complexity.

Key Facts

• Extensive post-doctoral research experience in world-class projects in Austria, New Zealand and Chile in the areas of Foundations of Databases, Web Information Retrieval, and Behavioural Theory and Logics for Distributed Adaptive Systems.
• More than 60 peer-reviewed publications, including journal articles in TCS, JCSS, DKE, IP&M, AMAI, Inf. Sci., the Logic J. IGPL. and Science of Computer Programming.
• Co-editor of  journal special issues and international conference proceedings.
• Main applicant and principal researcher for an international cooperation project awarded by the Austrian Science Fund.
• Key researcher at SCCH. Best paper awards, research and travel grants, invited talks and research visits. International collaboration (incl. publications) with more than 20 international colleagues.
• PC member of international conferences and workshops. PC chair in several occasions. Associated editor of Frontiers in Computer Sciences, external reviewer for international journals, Master theses, PhD proposals and international funding applications.
• More than 10 years of teaching experience at graduate and undergraduate levels. Subject areas: Databases, Web Design & Development, Algorithm Design & Complexity, Programming (in all main paradigms), Mathematical Principles of Information and Data Sciences.
• Supervision of PhD and Master students.
• 12 years' experience as software developer, database administrator and project manager.