Dr Antonio Cau

Dr. Antonio Cau gained his MSc in Computer Science from Eindhoven University of Technology (The Netherlands). He then joined Christian Albrechts University of Kiel (Germany) as a junior lecturer where he was awarded his PhD. He subsequently worked as a Research Associate on the EPSRC project `A Compositional Approach to the Specification of Systems using ITL and Tempura'. Dr. A. Cau is currently a University Senior Research Fellow at the Software Technology Research Laboratory, De Montfort University.

Dr. Cau's main interests are the compositional verification and specification of critical systems using formal methods. He has developed several tools (AnaTempura, FLCheck) that can be used to accomplish this task.

Software Technology Research Laboratory (STRL)

Click here to view a full listing of Antonio Cau's publications and outputs.

Verification and specification of critical systems using maths and logic

Software Engineering

PhD, (Kiel, Germany)

MSc, (Eindhoven, The Netherlands)

Rigorous Systems

Formal Methods Engineering

IEEE

ACM

KIVI

First supervisor for:

Sami Alsarhani
Yazed Alsaawy
Emad Shafie
Bader Alouffi
David Smallwood
Sulaiman Al Amro

 

Second supervisor for:

Laila Alhimale
Salem Almarri
Adeeb Ali Alnajjar
Khaled Alodadi
Fahad Alqahtani
Ali Mousa G Alzahrani
Abdullah Dabil

Project Title: Trust Management in Collaborative Systems (aToMICS)
Funded By: Defence Technology Centre in Data and Information Fusion DIF-DTC (MoD, QinetiQ)
Start Date: 1st October 2006
End Date: 31st March 2009
Role: Project manager
Collaborators: Members of the DIF-DTC consortium: BT, QinetiQ, General Dynamics, Imperial College and the Universities of Bristol, Cardiff, Cambridge, Southampton, De Montfort, Surrey and Cranfield.

Journal reviews:

2012, Transactions on Computational Logic
2012, Journal of Logic and Algebraic Programming
2011, Journal of Computer Science and Technology
2011, Control Engineering Practice
2010, Software and System Modeling (SoSyM) journal
2010, Formal Methods in System Design
2009, Fundamenta Informaticae
2008, Formal Aspects of Computing
2008, Journal of Systems and Software
2008, Journal of Zhejiang University-SCIENCE A
2008, Control Engineering Practice

Conference reviews:

TIME 12, 12-14 September, PC member, Organizing committee member and reviewer
SANES 2012, 24 - 26 February, 2012: PC member and reviewer
AEECT 2011, 6-8 December: PC member and reviewer
Casemans 2011, 17-21 September: PC member and reviewer
TIME11, 12-14 September: PC member and reviewer
Informatics 2011, 20 - 22 July: PC member and reviewer
LATA2011, 26-31 May: reviewer
Casemans 2010, 26-29 September: PC member and reviewer
CSL 2010, 23 - 27 August: reviewer
Informatics 2010, 26 - 28 July: PC member and reviewer
Informatics 2009, 17 - 19 June: PC member and reviewer
YRSOC 2008, 12- 13 June: PC member and reviewer
SEFM-08, 10 - 14 November: reviewer