About Me

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

  • a summer internship at Astranis;
  • undergraduate and graduate coursework in compilers, databases, and formal methods;
  • and undergraduate and graduate research in formally verified compilers, working with Prof. Adam Chlipala and Sam Gruetter on extending Bedrock2, a compiler from a C-like language to RISC-V written in Coq.

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.

For Fun

Outside of coding, my interests include:

  • board games (7 Wonders, chess, Dixit);
  • video games (Valorant, Among Us);
  • 🆕 weightlifting;
  • habitually redesigning my personal website.

Contact me

debelen.arthurreiner+website [at] gmail.com