His Career
After completing a bachelor’s degree (L3), a first-year master’s degree (M1), and a second-year master’s degree (M2) in computer science, as well as a bachelor’s degree (L3) in physics, Victor Lanvin wrote his thesis. In 2017, he was a winner of the POPL 2017 Student Research Competition in the “Undergraduate” category. He was also recognized for his work “Gradual set-theoretic types,” conducted under the supervision of Giuseppe Castagna.
Student Research Competition
In conjunction with the “Principles of Programming Languages” conference, a Student Research Competition open to students is held.
In 2017, 12 finalists selected from 30 submissions were invited to present their work during a two-hour poster session at POPL and received a $500 stipend to attend the conference. Following the presentations, a jury awarded first, second, and third prizes in two categories (graduates and undergraduates), with prize money of $500, $300, and $200, respectively.
Victor Lanvin, along with the other first-place winners in each category, will participate in the grand finale of all ACM student research competitions.
POPL 17 Conference
The international POPL (Principles of Programming Languages) symposium is one of the oldest and most prestigious conferences in computer science.
It is the leading conference on programming languages and, according to Citeseer—a search engine dedicated to scientific and academic articles in computer science—it is the event with the highest “impact factor” in all of computer science research.
This involves enhancing a program before it runs to prevent it from crashing during execution. His work will soon be published in an international research journal.