Resume



ResumeSoftware EngineerSimon ZengContact InfoEmail: contact@Phone: 1 (613) 983-9079Github: s-zengLinkedIn: s-zeng1Website: Work ExperienceJane Street – Software Engineering InternDate: Jan 2022 – Apr 2022Location: New York, New YorkSkills: OCaml, Code GenerationDescription:Designed and developed an original implementation of the XML XSD specification, including code generation of OCaml types and applicative-parser- combinator-based (de)serializersCreated a from-scratch API-compatible implementation of Confluent’s Schema Registry in OCamlContributed better high level code output to Jane Street’s soon-to-be open-sourced Chromium API bindings generatorTesla – Software Engineering Intern (Firmware Tooling)Date: May 2021 – Aug 2021Location: RemoteSkills: Haskell, Firmware, CDescription:Continued development work on Haskell firmware tooling code baseImplemented network scheduler for custom Cybertruck communications protocols in Haskell using novel functional techniquesDesigned and implemented C API code generation tools for embedded real-time vehicle transmissions in the CybertruckTQ Tezos – Software Engineering Intern (Blockchain)Date: Sep 2020 – Dec 2020Location: New York, New YorkSkills: Blockchain, HaskellDescription:Converted fragmented Python-based Tezos Kubernetes deployment script to idiomatic Dhall, greatly improving readability and maintainabilityAuthored Tezos smart contracts in a Haskell EDSL to automate proprietary applications for permissioned blockchainsConstructed peer-to-peer staking topology monitoring and visualization infrastructure with PythonTesla – Software Engineering Intern (Firmware Tooling)Date: Jan 2020 – Aug 2020Location: Palo Alto, CaliforniaSkills: Haskell, Python, JavaDescription:Developed and maintained large Haskell code base responsible for automated firmware documentation, code, and signal generationImproved Haskell products’ performance and runtimes by over 20% by identifying laziness-related space leaks and rewriting hot code pathsResponsible for design and implementation of firmware verification infrastructure employed by entire organizationUniversity of Waterloo – Teaching Assistant (Algebra)Date: Sep 2019 – Dec 2019Location: Waterloo, OntarioSkills: Pure Math, TeachingDescription:Tutored classes of over 1000 students in number theory and abstract algebraPrepared individual tutoring lesson plans to ameliorate understanding in advanced topics such as quadratic reciprocity or interactive theorem provingEricsson – Software Engineering Intern (Performance)Date: May 2019 – Aug 2019Location: Kanata, OntarioSkills: Clojure, PythonDescription:Developed pure functional Clojure metrics infrastructure to monitor complex JVM architectures, allowing for discovery of multiple performance issuesImplemented a parser and interpreter for an internally designed performance-testing DSLCENX – Software Engineering Intern (Test Automation)Date: Jul 2017 – Sep 2017Location: Ottawa, OntarioSkills: Python, SystemsDescription:Developed robust automated Python framework for load-testing web appsCreated custom implementation of IETF RFC socket protocols to debug non-standard network stacksinBay Technologies – Software Engineering Intern (Full Stack)Date: Jul 2016 – Aug 2016Location: Kanata, OntarioSkills: Ruby, Rails, JavascriptDescription:Created internal use development tools backed by Ruby on Rails and Javascript to monitor and debug specialized production systemsProjectsdhall-python: Python bindings for Dhall, a functional configuration languageboard-to-latex: Turn pictures of math into latexrag-shenanigann: Generate ragtime music with AIOpen Source Contributionskyazdani42/nvim-tree.lua9aa8be6 Fix crash from glibc bugdhall-lang/dhall-langb22cce1 Add support for Dhall v19dhall-lang/dhall-kubernetes3367b68 Remove declaration of deprecated python scriptnvim-lua/telescope.nvim59ef37d Implement shortcut to dynamically use other telescopesujihisa/repl.vim4910aa7 Add support for RacketMisc ExperienceSwim Instructor: Certified by Red Cross and Life Saving SocietyAccordion Teacher: Offering private lessonsCamp Counsellor: For youth robotics campsEducationUniversity of Waterloo (May 2023): Bachelor’s degree, Computer ScienceCourseworkFunctional Programming (Haskell, Scala, Scheme)OOP Programming (C++)Formal Logic and Interactive Theorem Proving (Coq)Compilers and Interpreters ................
................

In order to avoid copyright disputes, this page is only a partial summary.

Google Online Preview   Download