Dr Jon NicholsonCoder, Academic, Gamer

About Me

/Who Am I

I’m an expert software engineer and full stack developer with over 15 years’ experience in both academia and industry. I have a strong background in mathematics, algorithms, and data-processing.

I have advanced skills in every stage of the life cycle of software development, from conception to support. I specialise in innovative usable data-driven applications that solve business problems.

I’m passionate about software, data, and education, but can apply my knowledge and experience in any domain. I enjoy facing new challenges and developing new skills.

View my LinkedIn profile, look at some code I’ve written on GitHub , or even  tweet me .


Ruby (Rails) .NET (C# / ASP / Core / Standard) Java SQL (MySQL / MSSQL / Postgres / SQLite) PHP (Laravel 5) HTML5 JavaScript (JQuery / React / Vue.JS / Node) CSS / LESS / SCSS Build Tools Dependency Management Usability / UX Data standards (SIF / OpenAPI) Data Formats (XML / JSON) RESTful web services APIs Virtualization (Vagrant) Containerization (Docker) Code Versioning (GIT / CVS / Subversion) Code Deployment Development Methodologies (e.g. Agile) Unit Testing Continuous Integration (TeamCity, CircleCI, AppVeyor) Security Data Protection And more…

Did I not mention a skill you’re looking for? I’m happy to learn!


/What I’ve written

Below is a complete list of my publications, which you can download in BibTeX format.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.


  • [PDF] [DOI] A. H. Eden, E. Gasparis, J. Nicholson, and R. Kazman, Round-trip engineering with the two-tier programming toolkit. Software quality journal, :1–23, 2017.
  • [DOI] J. Nicholson, A. H. Eden, R. Kazman, and E. Gasparis, Automated verification of design patterns: a case study. Science of computer programming, 80(Part B):211–222, 2014.
  • [DOI] A. H. Eden, E. Gasparis, J. Nicholson, and R. Kazman, Modeling and visualizing object-oriented programs with codecharts. Formal methods in system design, 43(1):1–28, 2013.

Books and book chapters

  • [DOI] A. H. Eden and J. Nicholson, Codecharts: roadmaps and blueprints for object-oriented programs, Wiley-Blackwell, 2011.

Conferences and workshops

  • [PDF] [DOI] J. Nicholson and I. Tasker, “Dataexchange: privacy by design for data sharing in education,” in 1st international conference on the frontiers and advances in data science, Xi’An, China, 2017.
  • A. Delaney, E. Kow, P. Chapman, and J. Nicholson, “Generating and navigating large euler diagrams,” in 4th international workshop on euler diagrams, Melbourne, Australia, 2014, pages 23–31.
  • [PDF] [DOI] J. Nicholson, A. Delaney, and G. Stapleton, “Linking codecharts with programs,” in Ieee symposium on visual languages and human-centric computing, Innsbruck, Austria, 2012, pages 259–260.
  • [PDF] [DOI] J. Nicholson and A. Delaney, “Formalising simple codecharts,” in 7th international conference on the theory and application of diagrams, Canterbury, UK, 2012, pages 346–348.
  • J. Nicholson, A. Delaney, and G. Stapleton, “Formalizing the syntax of codecharts,” in 18th international conference on distributed multimedia systems, Miami Beach, FL, USA, 2012, pages 181–184.
  • [DOI] J. Nicholson, “A theory of classes from the theoretical foundations of lepus3,” in 13th international conference on formal engineering methods, Durham, UK, 2011, pages 522–536.
  • [PDF] J. Nicholson, E. Gasparis, A. H. Eden, and R. Kazman, “Automated verification of design patterns with lepus3,” in 1st nasa formal methods symposium, Moffett Field, California, USA, 2009, pages 76–85.
  • [DOI] E. Gasparis, J. Nicholson, and A. H. Eden, “Lepus3: an object-oriented design description language,” in 5th international conference on the theory and application of diagrams, 2008, pages 364–367.
  • [DOI] E. Gasparis, A. H. Eden, J. Nicholson, and R. Kazman, “The design navigator: charting java programs,” in 30th international conference on software engineering, Leipzig, Germany, 2008, pages 945–946.
  • [DOI] E. Gasparis, J. Nicholson, A. H. Eden, and R. Kazman, “Navigating through the design of object-oriented programs,” in Working conference on reverse engineering, Los Alamitos, CA, USA, 2008, pages 331–332.

PhD Thesis

  • [PDF] J. Nicholson, “On the theoretical foundations of lepus3 and its application to object-oriented design verification,” PhD Thesis, University of Essex, Colchester, UK, 2011.

I use the Papercite plugin to display each publication with some tweaks.