Dr. Flavio Ferrarotti

Key Researcher Rigorous Methods in Software Engineering
Telefon: +43 7236 3343 869
Fax: +43 7236 3343 888


Software Science - RSE

Outline of Activities

  • Research experience in Behavioural Theory of Parallel and Concurrent Systems, Logics for Abstract State Machines, Expressibility of Query Languages, Database Dependency Theory, Semantics in Data and Knowledge Bases and Web Information Retrieval.
  • More than 40 peer-reviewed publications including journals (10 articles), conferences and book chapters. Co-editor of a journal special issue and two international conference proceedings.
  • Principal researcher and applicant of a successful FWF funded project (Austria). Postdoctoral researcher in FWF funded project and in Marsden funded project (New Zealand).
  • SCCH key researcher. Three best paper awards. ASL travel grant. Massey Universitygrant. 4 invited talks.
  • International collaboration (incl. publications) with more than 20 di erent colleagues. Participation in 4 externally funded research projects.
  • Program committee member in more than 20 international conferences. PC co-chair in three occasions. Invited reviewer in 8 international journals, a Master's thesis, a PhD proposal and international funding applications (in 4 occasions).
  • Extensive teaching experience in databases, Web design & development, algorithm design & complexity, programming (in all main paradigms), principles of IS (discrete math).
  • Successful supervision of two Master's students and co-supervision of a PhD Student. Current (main) supervision of a PhD Student.
  • 12 years experience as software developer, database administrator and project manager

Academic Qualifications

  • Ph.D., Information Systems, 2008, Massey University, New Zealand
    Thesis: Expressibility of Higher-Order Logics on Relational Databases : Proper Hierarchies.
    URL: http://hdl.handle.net/10179/799
  • Bachelor of Information Systems ( ve-years full-time degree), 1998, National University of
    Lujan, Buenos Aires, Argentina

Positions Held

  • Software Competence Center Hagenberg, Austria, since 2014: Full-time Researcher.
  • School of Information Management, Victoria University of Wellington, New Zealand, 2010-2013: Post-doctoral Fellow in Database Research and Lecturer.
  • Yahoo! Research Latin America, Santiago, Chile, 2008-2010: Post-doctoral Researcher.
  • Department of Informatics Engineering, University of Santiago, Chile, 2008-2009: Postdoctoral Researcher and Lecturer.
  • Department of Information Systems, Massey University, New Zealand, 2007: Lecturer, 2004-2007: Assistant Lecturer, 2002-2003: Graduate Assistant.
  • Department of Information Systems, National University of Lujan, Buenos Aires, Argentina, 1998-2002: Assistant Lecturer.
  • IT Department, Municipality of S.A. Giles, Bs.As., Argentina, 1998-2002: Head of Section.

Main Areas of Research

Behavioural Theory of Parallel and Concurrent Systems, Logics for Abstract State Machines, Finite Model Theory of Higher-Order Logics, Expressibility of Query Languages, Models of Computation of Database Queries, Database Dependency Theory, Web Information Retrieval.

Awards and Honours

  • Key Researcher, Software Competence Center Hagenberg, 2016.
  • Best Student Paper Award at the 10th Asia-Paci c Conference on Conceptual Modelling
    (APCCM 2014). Joint work with PhD student V. Le and co-supervisor S. Link.
  • Best Student Paper Award at the 32nd International Conference on Conceptual Modeling
    (ER 2013). Joint work with PhD student V. Le and co-supervisor S. Link.
  • Best Paper Award at the 23rd International Conference on Database and Expert Systems
    Applications (DEXA 2012).
  • Postdoctoral Researcher supported by the Marsden Fund Council from Government funding,
    administered by the Royal Society of New Zealand (2010-2012). Association for Symbolic Logic (ASL) travel grant to attend the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS'06).
  • Massey University Grant in recognition of individual achievement in the 2006 Quality Evaluation
    of the Performance-Based Research Fund (PBRF).

Research Grants

  • Higher Order Logics and Structures (main applicant and principal researcher), 2016-2018,
    joint international project with Prof. Dr. Jan Van den Bussche, supported by the Austrian
    Science Fund (FWF: [I2420-N31]) and the The Research Foundation Flanders (FWO:
    [G0G6516N]).
  • Post-doctoral researcher in the project: Behavioural Theory and Logics for Distributed Adaptive
    Systems (2014-2016, FWF [P26452-N15]).

Invited Presentations

Invited talk at TU-Wien, Database and Arti cial Intelligence Group, Austria, 2016.
Invited talk at the National University of Lujan, Buenos Aires, Argentina, 2011.
Invited talk at the Department of Computer Sciences, University of Valparaso, Chile, 2009.
Invited talk at the Seminar of the School of Mathematics, Statistics and CS, Victoria University,
2006.

Supervision

Primary Supervisor (Ph.D.), Senen Gonzalez, since July 2016, in the framework of the project
Higher Order Logics and Structures (FWF: [I2420-N31]).
Co-supervisor (Ph.D.), Van Le, 2010{2014, Victoria University of Wellington, New Zealand
(Successfully completed, Deans Award for Doctoral Achievement, Best Student-Paper Awards:
ER 2013 and APCCM 2014).
Co-supervisor (Master), Wenya An, Johannes Kepler University Linz, in the framework of the
project Behavioural Theory and Logics for Distributed Adaptive Systems (2014-2016, FWF
[P26452-N15]), 2015-2016 (Graduated with Summa Cum Laude).
Primary Supervisor (Master), Emir Fernando Mu~noz Jimenez, University of Santiago, Chile,
2010{2011 (Graduated with Summa Cum Laude).

Organisation of International Conferences

PC Co-Chair, Int'l Symposium on Foundations of Information and Knowledge Systems (FoIKS
2018). Local Organization Chair (FoIKS 2016). PC since 2010.
PC member, Int'l ABZ Conference: ASM, Alloy, B, TLA, VDM and Z (ABZ 2016).
PC member, East-European Conf. on Advances in DBs and Info. Sys. (ADBIS 2016, 2017).
PC member, Int'l Conf. on DB and Expert Sys. Appl. (DEXA 2011{2017).
PC Co-Chair, Asia-Paci c Conf. Concept. Modelling (APCCM 2012, 2013). PC since 2014.
PC member, Int'l Workshop on Web Info. Sys. Modeling (WISM 2013, 2014).
PC member, Int'l Workshop on Semantics in Data and Knowledge Bases (2008, 2010, 2011).
PC member, Int'l Workshop on Evolving Theories of Conceptual Modelling (2009, 2011).

External Reviewer (Journals)

Theoretical Computer Science, Elsevier. Information Systems, Elsevier. Journal of Applied
Logic, Elsevier. Science of Computer Programming, Elsevier. Transactions on theWeb, ACM.
Annals of Mathematics and Arti cial Intelligence, Springer. Journal of Universal Computer
Science. Transactions on Large Scale Data and Knowledge Centered Systems, Springer.

External Referee

External Referee of Research Projects, FONDECYT since 2015, Chilean National Science
and Technology Commission (CONICYT - Chile).
Examiner for Bo Liu Master's Thesis \Validation of Application Semantics with XML Schema",
2014, Department of Computer Science, the University of Auckland, New Zealand.
External Referee for Jorge Arroyuelo PhD research proposal \Variable Order Logics over
Relational Databases", 2011, National University of San Luis, Argentina.
Examiner for Wei Ren Masters Thesis \On the Descriptive Complexity of Satis ability on
Quanti ed Boolean Formulas", April 2011, Massey University, New Zealand.
4