
I'm Juan Pablo (feel free to call me JP), a computer science and mathematics student.
My main areas of interest are Logic, Proof Theory, and Programming Languages. I study Omniversal systems and write code to apply my research.
My preferred programming languages are Haskell, Rust, and Lean (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've been TA and Lab Assistant for courses such as Compilers, Automata Theory, Declarative Programming and Computational Logic. I am open to questions on any topic, but I'm more qualified to answer on those previously mentioned.
I earned my Bachelor's degree in Computer Science with honors, 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: jpyamamoto[at]ciencias.unam.mx
- GitHub: @jpyamamoto
- Mastodon: @jpyamamoto@mathstodon.xyz