Borja de Régil
I am interested in distributed systems and the design of programming
languages, and how they affect the way we write and reason about programs.
Areas of Interest
- Functional Programming
- Type Systems
- Conflict-Free Replicated Data Types (CRDTs)
- C, OCaml, Clojure, Pony (Familiar)
Imdea Software Institute
Google Summer of Code
Improved run-time performance of the Lasp programming language by applying deforestation
techniques and control flow analysis.
H4ckademy Programming School
Co-designed and implemented a domain-specific language in Python that would let users
write unit test against streaming APIs.
- Spanish (Native)
- English (Full professional proficiency)