Dr
David
Sinclair
Primary Department
Faculty of Engineering and Computing
Role
Associate Professor / COMSCI 3 - COMBUS 3 Year Head
Work Area/Key Responsibilities
Computing
5510
Email Address
david.sinclair@dcu.ie
Campus
Glasnevin Campus
Room Number
L2.53
Research interests
Applications of Formal MethodsVerification of System PropertiesTimed and Probabilistic SystemsDistributed and Embedded SystemsDesigning and describing multi-processor systemsDesigning and describing real-time systemsGame TheoryApplications of Artificial Intelligence in Strategic Games