You are here:
Home ›
Applied formal methods

Applied formal methods

Paddy Nixon

Research Interests:
General
My Photograph
Name and Title: 
Professor Patrick Nixon B.Sc., M.A., PhD.
Position: 
Sfi Professor of Ubiquitous Systems
Phone: 
+353 1 7165361
Email: 
Address:
School of Computer Science &
Informatics
UCD Casl
Belfield Office Park, Dublin 4

Dermot Cochran

Research Interests:
General
Name and Title: 
Mr. Dermot Cochran BA MIE MSc
Position: 
LGSSE Doctoral Researcher in Software Engineering
Supervisor: 
Joseph Kiniry
Co-Supervisor: 
Research Group: 
Software Development Group
Phone: 
Email: 
Personal Website: 
http://kind.ucd.ie/

Address:
Software Development Group,
IT University of Copenhagen ,
Rued Langgaards Vej 7,
2300 Copenhagen S,
Denmark

 

Joao Marques Silva

Research Interests:
General
My Photograph
Name and Title: 
Professor Joao Marques-Silva Habilitation PhD MSc
Position: 
Sfi Stokes Professor of Computer Science and Infor
Phone: 
+353 1 716 5700
Email: 
Personal Website: 
http://www.csi.ucd.ie/staff/jpms
Office: 
CASL / 3N

Address:
School of Computer Science & Informatics
UCD Casl
Belfield Office Park, Dublin 4

Joseph Kiniry

Research Interests:
General
Name and Title: 
Joseph Kiniry
Email: 

From January 2010 onward Joseph Kiniry is an Associate Professor at the IT University of Copenhagen (ITU).

http://www1.itu.dk/

Syndicate content