Manchester, United Kingdom
Looking to apply functional programming and low level OS/networking knowledge on challenging R&D projects
Computer & Network Security
Education
The University of Manchester 1989 — 1991
PhD, Mathematical Logic
The University of Manchester 1988 — 1989
MSc, Logic and Computation
University of Nottingham 1983 — 1986
BSc, Mathematics
Experience
Cake Solutions Limited January 2014 - Present
University of Huddersfield February 2012 - August 2013
University of Huddersfield October 2006 - February 2012
Self Employed August 2004 - October 2006
University of Huddersfield September 1997 - August 2004
University of Warwick November 1995 - September 1997
University of Manchester Institute of Science and Technology May 1992 - May 1995
GEC Plessey Telecommunications Ltd. August 1986 - October 1988
Skills
Lift, Z, Network Security, Operating System..., Python, C, Linux, MVC, Coq, Bigraphs, PVS, Reverse Engineering, Ruby on Rails, Network Forensics, Unix, Stratego-XT, Java, Computer Forensics, SML, R, Windows, C++, Process algebra, Visualization, AspectJ, VDM, Prolog, Temporal/modal logics, Isabelle, XSLT, Perl, JavaScript, Scala, SPSS, Akka, Discrete Event..., Data Analysis, Prism, Alloy, Computer Security, Haskell, HOL, XML, ESC/Java, OCaml, Network Programming, Objective-C, Programming, Ruby, Play Framework