Hi 👋🏻 I am Nicolas Manini, a Computer Science PhD Student at the IMDEA Software Institute and Universidad Politécnica de Madrid.
I am part of Pierre Ganty’s group.
🧑🏻💻 In my research I focus on topics such as Automata Theory, Formal Verification and Abstract Interpretation.
🔙 Background
- 🎓 Master’s Degree in Computer Science at the University of Pisa (2021),
Thesis: “Deciding Program Properties via Complete Abstractions on Bounded Domains”, supervised by R. Bruni and R. Gori. - 🎓 Bachelor’s Degree in Computer Science at the University of Pisa (2018),
Thesis: “Approximate logic synthesis of Boolean functions”, supervised by A. Bernasconi.
👨🏻🏫 Experience
-
Student Counselor for the “Programming and Algorithms” course, (University of Pisa, Oct 2020 - Feb 2021). Held supplementary meetings lectures on topics related to theoretical aspects of algorithms, complexity and data structures.
-
Teaching Assistant for the lab module of the “Algorithms and Laboratory” course, (University of Pisa, Feb 2020 - Jul 2020). Topics: C programming and theoretical aspects related.
-
Student Counselor for the “Algorithms and Laboratory” course, (University of Pisa, Feb 2019 - Jul 2019). Organized supplementary lectures on C programming and theoretical aspects. Created a collection of theoretical and practical exercises, available on GitHub (in italian).
🤌🏻 Languages
- Native: Italian 🇮🇹
- Fluent: English 🇬🇧
- Intermediate: Spanish 🇪🇸