Dr. David Sinclair


I am an Associate Proessor in the School of Computing and a member of the Dependable Systems Research Group.

I am also a Senior Researcher with , Science Foundation Ireland's Research Centre for Software.


Academic Lecturing
Phone Number: 
Email Address: 


Research Group: 
Dependable Systems
Associated Research Centres: 
The Irish Software Engineering Research Centre (Lero)
Research Interests: 

My research interests are in the areas of:

  • System design and verification using formal techniques.
    • Applied formal methods.
    • The design and verification of distributed systems.
    • Evolving Hybrid Systems.
    • Modeling and verifying Quality of Service.
    • Security and Governance.
    • Design Methodologies including formal methods.
  • The Cloud & Distributed Services.
    • Stream Processing Languages in Noisy Streams.
    • Security & Governance in the Cloud.
      • Data Security in the Cloud.
      • Identity Management
    • Cloud Infrastructure.
    • Deep Service Matching and Orchestration.
  • AI in Games of Strategy.

Selected Publications: 

Bai L, Lao S, Smeaton A.F, O'Connor N, Sadlier D and Sinclair D. 2009. Semantic Analysis of Field Sports Video Using a Petri-Net of Audio-Visual Concepts. Computer Journal

Clarke S., Fitzgerald B Nixon P., Pohl K., Ryan K., Sinclair D. and Thiel S.. 2009. The Role of Software Engineering in Future Automotive Systems Development. SAE International Journal Of Passenger Cars Electronic And Electrical Systems, 1, 1, pp544-552.

Sinclair D. and Power J. 2005. Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. Electronic Notes in Theoretical Computer Science. Volume 133, Edited by J. Bicarregui; A. Butterfield; A. Arenas., , pp255-273.

J.F. Power and D. Sinclair. 2004. A Formal Model of Forth Control Words in the Pi-Calculus. Journal Of Universal Computer Science, vol 10, issue 9, , pp1272-1293.

Sinclair D. 1998. The GST load balancing algorithm for parallel and distributed systems. International Journal Of Approximate Reasoning, 19,, pp39-56.