David Franz CV: Contact Details: • Phone: 027 6400 601 • Email: davidfranznz@gmail.com • GitHub: https://github.com/david-franz Education: • BSc Computer Science and Mathematics Victoria University of Wellington (2018 - 2021) Skills : • Programming: Python, Java, C • Data Analysis and Visualisation: R, SQL, Numpy, Pandas, Matplotlib, Seaborn, Exce l • Applied Mathematics: linear algebra, differential equations and modelling, advanced calculus and analysis, optimisation, probability and statistic s • Machine Learning: evolutionary computation and learning (genetic algorithms, genetic programming, swarm intelligence), neural networks, probabilistic machine learnin g • Algorithm Design and Analysis: experience programming and analysing ef fi cient algorithms for a wide variety of software and operations research problem s • Theoretical Computer Science: formal logic, computability and complexity theory, lambda calculus, compilers, discrete math (graph theory, abstract algebra, number theory, etc ) • Software Engineering: test driven development, git, linux, build tools (maven, gradle, make fi le), systems programming, networking, applied and theoretical cryptography Work Experience: • Data Analyst at Research Evaluation Consultancy Ltd (Aug 2021 - Nov 2021) ( fi xed term role ) Project Description: Working with Ministry of Health data related to vaccination rates of M ā ori compared with other ethnic groups in New Zealand. The overall goal of the project is to try to fi nd strategies to reduce the inequities found in this data. The work involves using Excel and Python libraries (Numpy, Pandas, Matplotlib, Seaborn) to analyse and visualise this data. • Technical Writer at MetService (May 2021) ( fi xed term role ) Project Description: Converting documentation for various weather APIs from pdf form to the Markdown language (hosted on the Mulesoft Anypoint platform). The APIs themselves were then thoroughly tested. Sample JSON responses were copied into the documentation and RAML fi les were updated with new responses • Research Assistant at Victoria University (Nov 2020 - Feb 2021 ) Research Group: Theoretical Programming Language s Project Description: We read this paper https://arxiv.org/abs/2002.08334 , and used Racket Redex to create a model compiler of the language described (called Chainmail). This language uses temporal logic for program veri fi cation and has applications in systems security. This was a highly collaborative project with another summer research student and it involved a large amount of self learning to understand and apply results from the research paper linked above. References: • James Noble (supervisor for research assistant position) Email: kjx@ecs.vuw.ac.nz • Julian Mackay (supervisor for research assistant position ) Email: mackayjulian@gmail.com