Hi, I'm Matteo Bertorotta, a PhD student working on the FoRECAST project under Matthijs Vákár. I'm exploring how to improve automatic differentiation, specifically for probabilistic programs, but also for other semirings. 

I enjoy both topics related to programming languages (e.g., types, compilers, built-in security, verification) and to algorithmics (e.g., complexity, solvers, algorithm design). Naturally, I love topics that fall in their intersection. I also like low-level (embedded) programming and quantum computing.

For my master's thesis at Delft, I researched how to improve program synthesis with semantics by using E-Graphs.

Having a chat about any topic (somewhat) related to my interests is always appreciated, so please come by if you want to discuss something, or if you're a master's student who somehow got stranded on my page and is interested in what I do.