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. |