About Pablo

PhD student at IMDEA Software working on formal verification and theorem proving via refinement types.

I code in #emacs lisp.

Lists

Timeline

pacastega has no activity yet