Regular biography
Loris D'Antoni is a faculty member in the Department of Computer Science at the University of California, San Diego. Their profile page indicates their affiliation with the department and provides contact information, including an email address and a website link. Specific details about their research interests, academic rank, and other professional achievements are not available in the provided information.
Scholar-generated biography
Loris D'Antoni is a researcher at the University of California-San Diego, focusing on program synthesis, programming languages, program analysis, and LLMs for code. His work explores methods to automate code generation, improve program correctness, and enhance software development through advanced analysis techniques. Key contributions include developing frameworks for learning syntactic program transformations, synthesizing reusable code feedback, and verifying program fairness. His research also addresses automata theory, symbolic automata, and program repair with quantitative objectives. D'Antoni's publications highlight the intersection of formal methods, machine learning, and software engineering, aiming to advance the reliability and efficiency of code generation and analysis.