CV
Education
- Ph.D in Computing Science, University of Glasgow, Oct. 2015 - 2020
- MSc with Distinction in Computing Science, University of Glasgow, Sept. 2014 - Sept. 2015
- BSc with Honours in Computing Science, University of Glasgow, Sept. 2010 - May 2014
Work experience
- Oct 2020 – PRESENT: University of Kent: Research Associate
- Part of Session Types for Reliable Distributed Systems (STARDUST), [EPSRC Grant EP/T014512/1https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/T014512/1
- Apr 2019 – Sept 2020: University of Glasgow: Research Associate
- Part of From Data Types to Session Types — A Basis for Concurrency and Distribution (ABCD), EPSRC Programme Grant EP/K034413/1
- Sept 2014 – April 2019: University of Glasgow: IT Helpdesk Assistant
- Provide I.T. support to students and staff members
- University of Glasgow: Tutor
- Web Application Development 2014-2019
- Java Object Oriented Programming 2015-2016
- Algorithms and Data Structures 2014-2015
- Computer Systems 2013-2014
- University of Glasgow: Demonstrator
- Programming Languages 2019-2020
- Theory of Computation 2019
- Internet Technology 2015-2019
- Computer Science 1P 2012-2013
- Compter Science 1PX 2013-2014
- Barclays: Java Developer Intern In Equities Technology
- Develop enterprise Java/Spring MVC applications within the Equities Department
- Implemented a performance testing tool in Java
- Achieved an appraisal mark of 4/5 over the length of the internship.
Skills
- Knowledgeable: Java, Python, JavaScript, Git, Subversion, Django, LATEX
- Familiar: C/C++, SQL, MapReduce, Erlang, HTML5, shell scripts, Eclipse, IntelliJ
Publications
