Dermot Cochran graduated in 1992 from Trinity College Dublin with a primary degree in Mathematics and Computing. From 1992 to 1997 he developed C/C++ implementations of mathematical models at Trinity College Dublin in Ireland. He worked as a Senior Software Engineer and Java Developer, specialising in Payment Systems, in the Irish software industry from 1997 to 2007, first with Trintech and then with Curam Software. He graduated in 2003 with an MIE (Master of Engineering) in Systems Modeling, 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). After finishing his MSc he worked as a Research Software Engineer on the Mobius Program Verification Environment.
He is currently working full-time on a PhD in Electronic Voting at IT University of Copenhagen.
PhD Thesis statement: Verified and Verifiable Voting is appropriate for both National and International Elections if and only if the electoral process is trustworthy
MSc. DissertationSecure Internet Voting in Ireland Using the Open Source Kiezen op Afstand (KOA) Remote Voting System
- CLOPS: A DSL for Command Line Options at IFIP Working Conference on Domain Specific Languages (DSL WC), Oxford, 2009.
- Verification Centric Realization of Electronic Vote Counting Electronic Voting Technologies Workshop, 2007, Boston, Massachusetts.
- KOA Remote Voting System: A Summary of Work To Date Trusted Global Computing, 2006, Lucca, Italy.
- Formal Techniques in a Remote Voting System ACM SIGSOFT Software Engineering Notes, 2006.