| DMU logo

Dr Antonio Cau

Job: Senior Research Fellow

Faculty: Technology

School/department: School of Computer Science and Informatics

Research group(s): Software Technology Research Laboratory

Address: De Montfort University, The Gateway, Leicester, LE1 9BH, United Kingdom

T: +44 (0)116 257 7937

E: cau@dmu.ac.uk

W: www.dmu.ac.uk/strl/

 

Personal profile

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.

Research group affiliations

Software Technology Research Laboratory (STRL)

Publications and outputs 

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

Research interests/expertise

Verification and specification of critical systems using maths and logic

Areas of teaching

Software Engineering

Qualifications

PhD, (Kiel, Germany)

MSc, (Eindhoven, The Netherlands)

Courses taught

Rigorous Systems

Formal Methods Engineering

Membership of professional associations and societies

IEEE

ACM

KIVI

Current research students

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

Externally funded research grants information

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.

Professional esteem indicators

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

Search Who's Who

 
News target area image
News

DMU is a dynamic university, read about what we have been up to in our latest news section.

Events target area image
Events

At DMU there is always something to do or see, check out our events for yourself.

Mission and vision target area image
Mission and vision

Read about our mission and vision and how these create a supportive and exciting learning environment.