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.
Lately, I've been doing research (under the supervision of Dr. Lourdes del Carmen González Huesca) for my Bachelor's thesis on Linear Logic and its application to Linear Types, specifically through the GHC extension for Haskell: “LinearTypes”.
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
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