Pole : Proofs, programs and systems
Team: Algebra and computation et Proofs and programs

I'm a PhD student in theoretical computer science since October 2022. My supervisors are Delia Kesner at IRIF and Pablo Barenbaum at Universidad de Buenos Aires in Argentina. I work with intersection types, particularly focusing on the non-idempotent flavour. I completed my master's degree in 2022 at UBA. Initially, I started studying chemistry and physics, but I switched to computer sciences due to its strong emphasis on mathematical logic, which has been an interest of mine since high school but one I never thought I'd pursue.

I have always been interested in science. My grandfather was a physician, so his library was filled with books on medicine, biology, and even chemistry. I had a curious mind and wanted to understand how and why things worked. Over time, my curiosity shifted more towards philosophy and psychology due to the orientation of my high school. However, the physics and chemistry courses I took reminded me of my original passion, so I decided to go in that direction.

The research community in the computer science department at UBA is warm and welcoming. During my first year, there was a seminar in which researchers shared their work with students. Two years later, advanced students organised small encounters between researchers and small groups of students, allowing for more direct talks regarding their work. During the second year of this event, I met Pablo. He introduced us to lambda calculus, which inspired me to focus my career on learning about the foundations of programming languages, particularly studying formal models.

In terms of my career decision, not particularly. However, in terms of developing myself as a scientist, yes. I'm inspired every day by female scientists. During my master's degree, one of my main inspirations was my graph theory professor. She's dedicated and passionate about her teaching, and she's also patient and caring with her students. When I was a teaching assistant, I applied what I learned from her. Today, I'm inspired by my female colleagues at IRIF. I'm learning a lot from them, and I'm grateful to know them.

One way is to understand when and why this lack of women in computer science started, to help reverse the stereotypes that may create the barriers girls could have. There are several approaches to addressing this issue: participating in scientific activities, attending scientific divulgation talks, teaching about women in computer science and in science in general, and so on. Additionally, pursuing a career in research is challenging, and I believe it can be even more difficult for women. Therefore, we should question and improve the academic system globally. Sadly, this issue extends beyond academia into society, so it requires deep changes and strong commitment.