Javier Burroni
PhD
I completed my PhD in computer science at the University of Massachusetts Amherst, under the supervision of Daniel Sheldon. Over the past two decades, I have contributed to the areas of Machine Learning, Data Science, Programming Languages, and Information Security through a combination of industry and academic roles.
Although some of my work originated in the southern parts of South America 🧉, it has gained international recognition and advanced the field.
My recent research efforts have been divided into two main areas: developing more efficient machine learning algorithms and enhancing programming languages as powerful tools of thought.
In addition to my computer science background, I hold a degree in actuarial sciences from the University of Buenos Aires and a master’s degree in economics from the Torcuato Di Tella University. These degrees have not only given me a strong understanding of probability, enhancing my work in computer science, but also helped me develop an interest in real-world problems, which continues to motivate some of my research.
You can learn more about my research and professional history by checking out my publications and cv.
news
Apr 5, 2025 | I’m going to participate in the “Autoformalization for the Working Mathematician” workshop. This is a hands-on, multi-day workshop with great talks and a hackathon. I’m sure that many interesting things in the space of Lean and LLM-based agentic AI will emerge from it. I believe that now is the time of automatic Lean, but we’re not quite there yet. |
---|---|
Feb 1, 2025 | This semester, I’m teaching AI at Mount Holyoke. It is a fantastic time to teach that class. |
Jan 4, 2025 | This year, I’m acting again as publication chair for AISTATS 25. Unfortunately, I won’t be able to attend the meeting. |
Jul 16, 2024 | I presented our work on SAA for VI at UAI 2024. There were very interesting discussions. |
Mar 1, 2024 | This year, I’m acting as the publication chair for AISTATS 2024. It is an amazing excuse to read many many papers. |