Ireland
CoFounder at SonarSim
Computer Software
Education
University of Limerick 2008 — 2016
PhD, Optimised Parallel Processing Framework for Real-Time Modelling/Simulation of Underwater Systems
University of Limerick 2002 — 2005
Research masters in Engineering: Automating the formal verification of security protocols, Computer security, formal verification, logical analysis
University of Limerick 1998 — 2002
Beng, Electronic Engineering
Experience
SonarSim March 2010 - Present
University of Limerick June 2008 - March 2010
HSI October 2008 - December 2009
Intel May 2005 - June 2008
Mid West Business Institute (Now part of Griffith College) February 2003 - May 2005
University of Limerick September 2002 - May 2005
Parthus 2000 - 2001
Skills
Security, Linux, Start-ups, Software Validation, DSA, Numerical Simulation, Formal Verification, Software Design, Technical Training, Agile, Embedded Systems, Modeling, ClearQuest, GIT, Software Project..., ClearCase, Software Development, Sonar, RSA Security, Research, Parallel Programming, Programming, Underwater, Subversion, Acoustics, Parallel Processing, Firmware, Parallel Algorithms, Ray Tracing, A+ trainer, Parallel Computing, TDD, PKI, RSA, Formal Methods, C++, Visualization, Testing, Multi-core, Software Engineering, Simulation, Algorithms, Security Protocols, C, CUDA, Lecturing, Cryptography, Real-time Programming, GPGPU, marine