David Sinclair
I am an Associate Professor in the School of Computing at Dublin City University. I am a member of... | Ireland
*50 free lookup(s) per month.
No credit card required.
David Sinclair’s Emails da****@dc****.ie
David Sinclair’s Phone Numbers 3531700****
Social Media
David Sinclair’s Location Ireland
David Sinclair’s Expertise I am an Associate Professor in the School of Computing at Dublin City University. I am a member of the Dependable Systems Research Group based in the School of Computing. My research interests are in the application of formal methods and the design, analysis and verification of computer based systems, particularly embedded and distributed systems. I am particularly interested in data security and governance in cloud-based systems. I also am interested in the use of AI and game theory in strategic games. I am a Senior Researcher in Lero, the Irish Software Engineering Research Centre. Lero is funded by Science Foundation Ireland and its mission is to address specific challenges and themes that can have a significant impact on the success of the software related industry in Ireland and abroad. We are specifically investigating Critical Systems that have the ability to evolve over time in order to handle a changing environment. Specialties: System Design and Verification, Formal Methods, Cloud Computing, Distributed Systems, Embedded Systems, Artificial Intelligence in Strategic Games.
David Sinclair’s Current Industry Lero The Irish Software Research Centre
David
Sinclair’s Prior Industry
Dataproducts
|
Europlex Technologies
|
Dublin City University
|
Lero The Irish Software Research Centre
Not the David Sinclair you were looking for?
Find accurate emails & phone numbers for over 700M professionals.
Work Experience
Lero The Irish Software Research Centre
Senior Researcher
Sat Oct 01 2005 00:00:00 GMT+0000 (Coordinated Universal Time) — Present
Dublin City University
Associate Professor
Fri Oct 01 1993 00:00:00 GMT+0000 (Coordinated Universal Time) — Present
Europlex Technologies
Project Leader
Sun Jan 01 1989 00:00:00 GMT+0000 (Coordinated Universal Time) — Wed Jan 01 1992 00:00:00 GMT+0000 (Coordinated Universal Time)
Dataproducts
Design Engineer
Sun Jan 01 1984 00:00:00 GMT+0000 (Coordinated Universal Time) — Sun Jan 01 1989 00:00:00 GMT+0000 (Coordinated Universal Time)Skills
Languages
David Sinclair Email Addresses
David Sinclair Phone Number
FAQ About David Sinclair
-
David Sinclair is located at
Ireland -
David Sinclair is a
I am an Associate Professor in the School of Computing at Dublin City University. I am a member of the Dependable Systems Research Group based in the School of Computing. My research interests are in the application of formal methods and the design, analysis and verification of computer based systems, particularly embedded and distributed systems. I am particularly interested in data security and governance in cloud-based systems. I also am interested in the use of AI and game theory in strategic games. I am a Senior Researcher in Lero, the Irish Software Engineering Research Centre. Lero is funded by Science Foundation Ireland and its mission is to address specific challenges and themes that can have a significant impact on the success of the software related industry in Ireland and abroad. We are specifically investigating Critical Systems that have the ability to evolve over time in order to handle a changing environment. Specialties: System Design and Verification, Formal Methods, Cloud Computing, Distributed Systems, Embedded Systems, Artificial Intelligence in Strategic Games. Lero The Irish Software Research Centre -
David Sinclair currently works in the
Lero The Irish Software Research Centre -
David Sinclair specializes in
I am an Associate Professor in the School of Computing at Dublin City University. I am a member of the Dependable Systems Research Group based in the School of Computing. My research interests are in the application of formal methods and the design, analysis and verification of computer based systems, particularly embedded and distributed systems. I am particularly interested in data security and governance in cloud-based systems. I also am interested in the use of AI and game theory in strategic games. I am a Senior Researcher in Lero, the Irish Software Engineering Research Centre. Lero is funded by Science Foundation Ireland and its mission is to address specific challenges and themes that can have a significant impact on the success of the software related industry in Ireland and abroad. We are specifically investigating Critical Systems that have the ability to evolve over time in order to handle a changing environment. Specialties: System Design and Verification, Formal Methods, Cloud Computing, Distributed Systems, Embedded Systems, Artificial Intelligence in Strategic Games. -
David Sinclair speaks the following languages:
No languages available. -
David Sinclair has prior experience in the following industries:
Europlex Technologies , Dataproducts -
David Sinclair has the following professional experience:
Lero The Irish Software Research Centre , Dublin City University , Europlex Technologies , Dataproducts . -
You can view David Sinclair’s
LinkedIn profile at LinkedIn URL. -
David Sinclair’s work email addresses are
[email protected] . -
David Sinclair works at
Lero The Irish Software Research Centre
People you may be interested in
- Ali Eser
- Kevin Hopkinson
- User Info Missing
- Jim Weaver
- Sara Bolton
- Mireia Perez Rovira Isim
- Monique Cardoso
- Laura Dawes
devolpment at D.E. Harvey Builders
Manager, Marketing Operations
Sr. Specialist Instructional Designer @ Concentrix | MS, Talent Development
Microsoft Dynamics NAV | ERP Microsoft Power Platform | Microsoft Dynamics 365 Business Central | Food Industry Specialist
Apex Therapist
Freelance Disseny gràfic - Disseny web
Enfermeira
Research Executive at OnePoll