I pursued my Ph.D. at Trinity College Dublin, under the supervision of Prof. Matthew Hennessy. During my Ph.D. my research focused on the application of process algebras to broadcasting distributed systems, with a particular emphasis on wireless networks and probabilistic systems. Since June 2013 I am a postdoctoral researcher at the IMDEA Software Institute, in the Architecture Driven Verification project, led by Dr. Alexey Gotsman. Here my research focuses on the verification of higher-order concurrent programs, and on the mathematical foundations of distributed database systems. ©

Developing in one for or another on various hardware for 25-30 years. I do have a two year certification in Electronics, one year in Graphics, and a BS in CIS, but most of my knowledge is self taught. I expect the same dedication from those I interact with. This is a Q&A site and not a Here let me write your code for you site. I will very rarely write source code unless required to explain something. So, if you just down vote like a spoiled little brat because you are too lazy to lookup syntax you will get no help from me. ©