Dr
David
Sinclair

Primary Department
Faculty of Engineering and Computing
Role
Associate Professor / COMSCI 3 - COMBUS 3 Year Head
Work Area/Key Responsibilities
Computing
Associate Professor
Phone number: 01 700
5510
Campus
Glasnevin Campus
Room Number
L2.53

Research interests

Applications of Formal MethodsVerification of System PropertiesTimed and Probabilistic Systems
Distributed and Embedded SystemsDesigning and describing multi-processor systemsDesigning and describing real-time systemsGame TheoryApplications of Artificial Intelligence in Strategic Games