Remy Goldschmidt
Education
2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign.
Work Experience
Summer 2017 Software Engineering Intern, Awake Networks.
Will be working on problems in network security with Haskell and PureScript.
Summer 2016 Software Engineering Intern, Uber Advanced Technologies Center.
Worked on infrastructure software for autonomous vehicles in C++.
Summer 2015 Research Intern, UIUC Formal Systems Laboratory.
Worked on software for executable semantics using rewrite logic.
Wrote Java to generate OCaml interpreters from semantic specifications.
| Java | + 19062 | 15342
2013–2014 Research Intern, Columbia University Applied Physics / Applied Math Department.
Designed and built a sealed standing-wave thermoacoustic refrigerator.
Studied the effect of waveform input on efficiency in thermoacoustics.
| Haskell | + 4850 | 2718
Activities
2014– Club, University of Illinois ACM SIGPLAN, Founder and chair.
Group for discussion of programming language theory and related subjects.
2011– Hobby, Open Source Programming.
0 k Java 185 + 19062 15342
ThomasEngine Racket 60 + 4142 2023
ThermoCalc Haskell 59 + 4850 2718
xprintidle-ng C 44 + 4308 12428
icfp-2015 Haskell 36 + 1381 1220
0 nixpkgs Nix 31 + 568 36
2014– Hobby, NixOS package maintainer.
Maintainer for g-wrap, guile-gnome, pdf2htmlEX, and souper.
Skills
Programming Haskell (6 yrs), Java, C/C++, Clojure, Racket, OCaml, Python, MATLAB, Mathematica
Software Linux (10 yrs), git, ROOT, Geant4
CAD SolidWorks, Siemens NX, EAGLE
Other Emacs, L
A
T
E
X, NixOS
Q taktoa@gmail.com taktoa.me taktoa ¯ taktoa
Technical Education
Courses taken
AE 100 Introduction to Aerospace Engineering
AE 199 Aerospace Computer-Aided Design
AE 202 Aerospace Flight Mechanics
AE 311 Incompressible Flow
AE 352 Aerospace Dynamical Systems
CS 125 Introduction to Computer Science
CS 173 Discrete Structures
CS 233 Computer Architecture
CS 241 System Programming
CS 397 Individual Study Category Theory
CS 421 Programming Languages
CS 422 Programming Language Design
CS 476 Program Verification
CS 477 Formal Software Development Methods
ECE 205/206 Electronic Circuits + Lab
MATH 221/231/241 Calculus I/II/III
MATH 225 Introduction to Matrix Theory
ME 300 Thermodynamics
MSE 280 Engineering Materials
PHYS 211/212 Physics: Mechanics / E&M
STAT 100/200/400 Statistics I/II/III
TAM 210/212 Statics / Dynamics
Spring 2017 courses (subject to change)
CS 242 Programming Studio
CS 374 Algorithms and Models of Computation
CS 450 Numerical Analysis
CS 498 Logic
Other Courses
Columbia University Science Honors Program
Relativity and Quantum Mechanics Fall 2012
Computer Programming in Java Spring 2012
Mathematical Methods in the Physical Sciences Spring 2013
Astronomy and Astrophysics Fall 2013
Group Theory Spring 2014
Q taktoa@gmail.com taktoa.me taktoa ¯ taktoa