Dr. David Sinclair
I am a Senior Lecturer in the School of Computing and a member of the Dependable Systems Research Group, CloudCore (DCU's Cloud Computing Research Centre) and the Irish Centre for Cloud Computing and Commerce (IC4).
I am also a Senior Researcher with , which is funded by the Science Foundation Ireland.
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.
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.