Hello, I'm Josh

I'm Joshua Goldberg, a third year at Northeastern University, pursuing a degree in Computer Science (and math minor since I think numbers are pretty cool). Back in high school, I used to write code from time to time, mainly in Java working on little projects or writing code for the school's robotics team. After a few years of that routine, I came to the realization that coding was something I'd like to do in college as well, and that's brought me to where I am today.

These days, my interests have shifted towards programming languages, mainly ways to typecheck and construct languages within proof assistants such as Rocq and Lean.

As of July 2025, I am currently working as a Research Assistant at Northeastern's Programming Languages Lab. You can find more about the work I'm doing at the PRL here. I'm also always interested in getting involved with more PL related research (time permitting), so if you see this and have any opportunities, feel free to reach out!

I am also a member of Northeastern's Electric Racing team (NER), working as a technical lead on various web development projects for our main website Finishline, including Calendar and Finance overhauls. You can check out our work here.

Finally, if you want to know more about me, please check the links below. You can also contact me at goldberg.josh@northeastern.edu, or on Discord (crabchip) if you want to talk more frequently/urgently, as I tend to check it on a more regular basis.