My profile image

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

2024
Dependent Types

Research project on the λP system of dependent types.

2023
Proof Theory and Category Theory

Research project on the correspondence between Intuitionistic Logic and Closed Cartesian Categories.

2023
Formal Methods: TLA+

Small research project on TLA+ for specification checking and theorem proving.

2022
Git & GitHub Workshop

Slides for a workshop I give on Git & GitHub

2021
The Lazy Programmer's Guide to Bulletproof Code

Talk on developing correct and predictable code using property-based testing, static types and design by contracts.

Contact