You are here:
Dermot Cochran
Dermot Cochran
Biography
- Research Interests:
Biography
Dermot Cochran graduated in 1992 from Trinity College Dublin with a primary degree in Theoretical Computer Science. From 1992 to 1997 he developed software for Teltec Ireland research centre at Trinity College Dublin. He worked as a Senior Software Engineer in the Irish software industry from 1997 to 2007, first with Trintech developing Electronic Payment Systems and more recently as a Java developer with Curam Software. He graduated in 2003 with an MIE in Systems Engineering, and in 2007 with an MSc in Advanced Software Engineering, both from University College Dublin. His MSc dissertation was a formal specification of the Irish vote counting system using the Java Modeling Language (JML). He recently worked as Senior Research Programmer for the EU Mobius IST-15905 project.
Professional
Employment:
- Employer: Curam Software
Position: Senior Software Engineer - Employer: Trintech Group
Position: Senior Software Engineer - Employer: Trinity College Dublin
Position: Research Programmer
Education:
- Year 2007 Institution: University College Dublin
Qualification: MSc Subject: Advanced Software Engineering - Year 2003 Institution: University College Dublin
Qualification: MIE Subject: Systems Engineering - Year 1992 Institution: Trinity College Dublin
Qualification: BA (Mod) Subject: Theoretical Computer Science
Publications
Conference Publications:
- Kiniry, J., Cochran, D. and Tierney, P. (2007) Verification Centric Realization of Electronic Vote Counting Electroic Voting Technologies Workshop, Boston, Massachusetts,
- Kiniry, J. et al (2006) KOA Remote Voting System: A summary of work to date Trusted Global Computing, Lucca, Italy,
Research
Research Interests:
- Software Engineering/Architecture, Applied Formal Methods, Electronic Voting
- Employer: Curam Software
