Antonio Cau

Dr. Antonio Cau is a Senior Research Fellow at the School of Computer Science and Informatics, De Montfort University, United Kingdom, where he conducts research in the Software Technology Research Laboratory (STRL). He is actively engaged in formal methods for system specification and verification, with applications in security and critical systems.

• PhD, Christian Albrechts University of Kiel, Germany
• MSc, Eindhoven University of Technology, The Netherlands

Dr. Cau's research centers on the application of formal methods—particularly interval temporal logic (ITL)—to verify and specify critical software systems. He has developed practical tools such as AnaTempura and FLCheck to support compositional verification. His work spans domains including access control, transactional memory, SQL injection prevention, and behavioral malware detection.

The recent publications reflect a strong trend in applying formal logic to cybersecurity challenges, especially in runtime monitoring, policy enforcement, and industrial systems. These works demonstrate interdisciplinary integration of theoretical computer science with practical security solutions.

Dr. Cau has served as a reviewer for top-tier journals such as Transactions on Computational Logic, Formal Methods in System Design, and Journal of Systems and Software, as well as conferences including TIME, CSL, and SEFM. He is a member of IEEE, ACM, and KIVI.

He currently supervises several PhD students, acting as first supervisor for six and second supervisor for seven. He previously led the externally funded project Trust Management in Collaborative Systems (aToMICS), supported by the Defence Technology Centre in Data and Information Fusion (MoD, QinetiQ), collaborating with institutions including Imperial College, BT, and QinetiQ.

Dr. Cau teaches courses in rigorous systems and formal methods engineering, emphasizing mathematical precision in software development.