I'm Juan Pablo (feel free to call me JP), a Master's student in computer science under the supervision of Dr. Joseph Eremondi.
My area of research is Programming Languages, particularly the intersection between gradual and dependent types.
This summer (2026) I am contributing to LiquidHaskell as a participant of Google Summer of Code.
My preferred programming languages are Haskell, Rust, and Agda (though you shouldn't expect me to be good at either), but anything with a strong and interesting type system will catch my attention.
I earned my Bachelor's degree in Computer Science with honours, with my thesis “Tipos Lineales en Haskell” (Linear Types in Haskell) developed under the supervision of Dr. Lourdes del Carmen González Huesca.
Bunsan is my current employer where I write Elixir for Tich, an online classroom.
I support communities as a GitHub Campus Expert Alumni and ex-Microsoft Learn Student Ambassador. I have collaborated with λ Club, Doors.OP and others.
The posts on my blog are usually written in Spanish.
Projects
An exploration of Linear Types in Haskell through the `LinearTypes` GHC extension.
Research project on the correspondence between Intuitionistic Logic and Closed Cartesian Categories.
Small research project on TLA+ for specification checking and theorem proving.
Talk on developing correct and predictable code using property-based testing, static types and design by contracts.
Contact
- E-Mail address: jpy051[at]uregina.ca
- GitHub: @jpyamamoto
- Mastodon: @jpyamamoto@mathstodon.xyz