Candidate profile
PhD Student in Programming Languages
Elixirvarious formal verification toolsHaskellCoqRustLLVMJuliaRacket
Description
I'm a 3rd-year PhD student studying programming languages and type systems. I'm looking for an internship for the summer. Something aligned with my research would be best for me, but I have also done many (~8) years of work as a full-stack web developer, most recently in Elixir.