Hello! I'm Yago Iglesias Vázquez, a passionate Computer Science student from Spain, currently pursuing a Master's degree in Theoretical Computer Science Research at Paris Cité University. For more details about my academic and professional journey, feel free to check out my CV.
My primary interests include:
- Programming Language Theory
- Functional Programming
- Type Theory
I am also enthusiastic about exploring other areas of Computer Science and Mathematics.
Currently, I am deepening my knowledge of proof assistants such as Coq, engaging extensively in functional programming (particularly in OCaml), and dedicating a significant amount of time to writing LaTeX notes for my courses.
I maintain several small Rust projects:
- enum_stringify: Macros to generate string conversion functions for enums.
- wallshift: A wallpaper changer powered by
feh. - quick-links-rofi: A Rust program to launch a Rofi menu with a collection of links.
- asoiaf-rs: A Rust wrapper for An API of Ice and Fire.
- lotr-api-rs: A Rust wrapper for The One API to Rule Them All.
- chimpanzee: A Monkey interpreter, compiler, and formatter in Rust, with additional features.
- Programming Languages: Rust, OCaml, Coq, LaTeX, Python, Java, C, Bash, and Prolog.
- Version Control: Proficient in Git for version control and collaborative development.
- GNU/Linux Environments: Skilled with GNU/Linux command-line tools and scripting. Arch Linux is my daily driver.
- Mathematics: Strong foundation in mathematical concepts, particularly in logic and algebra.
- Languages: Native Spanish speaker, bilingual in French, and fluent in English.
Feel free to reach out to me:
- 📧 Email: [email protected]
- 📝 LinkedIn: Yago Iglesias Vázquez