Jonas Termansen

Jonas Termansen

Jonas Termansen Website Email Twitter Freenode maxsi.org [email protected] @sortiecat sortie Google • Currently a Software Engineer at Google Aarhus, Denmark. • Working on the Engineering Productivity Team, maintaining the system that benchmarks the performance of the Dart programming language. Bachelor of Computer Science • Completed Bachelor's Degree in Computer Science in June 2016 at the University of Aarhus. • Elective courses in functional programming (introduction and techniques), static analysis, language-based security, and others. Sortix Operating System • Developed a self-hosting and installable Unix-like operating system from scratch since 2011 with over 169k lines of source code. • Implemented a kernel, drivers, a standard library (libc) and the base system using POSIX and hardware specifications. The kernel is written in C++ and user-space is in C. • Ported over 60 pieces of third party software including gcc, python, git, make, and quake. • Released Sortix 1.0 in March 2016. Teacher's Assistant • Worked as Teacher's Assistant in the Programming Languages and the Operating Systems courses for a total of 150 hours. • Taught around 25 students during weekly exercises and graded their homework. Open-Source • Worked on Gnash as part of the Google Summer of Code program. • Contributed miscellaneous patches to open-source projects such as get- text, Git, gnulib, LibreSSL, Mesa, Mono, OpenSSH, and Wayland. • Maintains a cleaned up fork of zlib. Skills • Programming languages: C (expert), C++ (experienced), Dart (experi- enced), Scheme (experienced), Java (experienced), Python (basics), Coq (basics), PHP (basics). • Tools: Linux, git, shell scripting, make, LATEX, and more as needed. • Focus on simplicity, correctness and security..

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    1 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us