Hi! I’m Arthur, and I’m currently an aspiring software engineer looking for full-time software engineering work, after having submitted my master’s thesis for my Master of Engineering in Electrical Engineering and Computer Science at MIT in September 2024.
My prior project and work experience has been broadly focused on computer systems, and includes
Below are programming languages I’ve worked with and/or am comfortable with, and prior experience with them:
Programming Language/s | Experience Level |
---|---|
C++ | Semester-long project, internship |
Coq, Haskell | Multiple semesters of research |
Go | Semester-long project |
Python, OCaml, Rust, React[1] | Small one-off projects |
[1] Not a programming language, but close enough.
Outside of coding, my interests include: