معرفی
Dr. David Sinclair is an Associate Professor and Year Head in the School of Computing at Dublin City University, affiliated with the Dependable Systems, Software Engineering, and Security research groups. His research spans formal methods, distributed systems, real-time systems, and AI applications in strategic games.
Teaching responsibilities include foundational and advanced courses:
- CSC1018 Logic
- CSC1048 Computability & Complexity
- CSC1098 Compiler Construction
- CSC1141 Concurrent Programming
- CSC1049 Third Year Project supervision
His publications demonstrate strong focus on real-time systems, motion prediction, and immersive technologies, with recent work exploring AI-driven virtual environments and light field processing. Research consistently addresses computational efficiency and formal verification challenges.
۰مقاله ثبتشده
