Vittorio ErbaEnseignement et PhD Cours Statistical physics of computation PHYS-512 Les étudiants comprennent les outils de la physique statistique des systèmes désordonnés et les appliquent pour étudier des problèmes d'informatique et de statistiques en théorie des graphes, en optimisation discrète, ainsi qu'en inférence et en apprentissage automatique.
Mats Julius StensrudEnseignement et PhD Doctorant·es actuel·les Ignacio Gonzalez Perez, Gellért Géza Perényi, Lorenzo Gasparollo, Julien David Laurendeau A dirigé les thèses EPFL de Matias Janvin, Amit Sawant Cours Causal thinking MATH-352 Ce cours donnera une présentation unifiée des méthodes modernes d'inférence causale. Nous nous concentrons sur les concepts, et nous présenterons des exemples et des idées provenant de diverses disciplines scientifiques, notamment la médecine, l'informatique, l'ingénierie,
Zepeng ZhangZepeng is a PhD student at École Polytechnique Fédérale de Lausanne (EPFL). He works in the Intelligent Maintenance and Operations Systems (IMOS) Lab under the supervision of Prof. Olga Fink. Previously, He received his master’s degree at ShanghaiTech University and B.Eng. degree from Wuhan University (WHU). During his studies, he have visited Télécom Paris, Institut Polytechnique de Paris (IP Paris), Peking University (PKU), and City University of HongKong (CityU) as a research intern. His current research
Giuseppe CarleoTwitter
https://twitter.com/gppcarleo
Enseignement et PhD Doctorant·es actuel·les Gian Gentinetta, Linda Mauron, Samuele Piccinelli, Alessandro Sinibaldi, Shao Hen Chiew, David Linteau, Clemens Giuliani, Ali Goodarzi, Gianluca Grosso, Ruize Ma, Ekaterina Pankovets A dirigé les thèses EPFL de Dian Wu, Julien Sebastian Gacon, Gabriel Maria Pescia, Barison Stefano, Imelda Romero Cours Advanced computational physics PHYS-339 Le cours couvre l'algèbre linéaire dense/creuse, les méthodes variati Lazar MilikicExpertise
LLMs (Large Language Models), NLP (Natural Language Processing), Automated Reasoning
Mission
My work focuses on developing robust methods for autoformalization and automated theorem proving using large language models. I aim to enhance the reasoning reliability of modern AI systems by reducing hallucinations, improving predictability, and integrating formal verification techniques and tools into LLM-based pipelines.
Before joining EDIC, I completed a Bachelor’s in Mathematics and Computer Science
Tanja Christina Käser JacoberTanja Käser is an assistant professor at the EPFL School of Computer and Communication Sciences (IC) and head of the D-VET laboratory. Her research lies at the intersection of machine learning, data mining, and education. She is particularly interested in creating accurate models of human behavior and learning.Prior to joining EPFL, Tanja Käser was a senior data scientist with the Swiss Data Science Center at ETH Zurich. Before that, she was a postdoctoral researcher with the AAALab at the Graduate School of Education of Stanford University.
Tanja Käser received her PhD degree from the Computer Science Department of ETH Zurich. In her dissertation, completed at the Computer Graphics Laboratory, she focused on user modeling and data mining in education, which was honored with the Fritz Kutter Award 2015.
Wenlong LiaoExpertise
deep learning, power system, renewable energy, data analysis
Mohammad Ali ShaeriExpertise
Neural Engineering, Neural Signal Processing, Neural Decoding, Neural Prosthesis, Brain Machine Interface
Jiancheng YangI am a 4th-year PhD student in the Department of Electronic Engineering, Shanghai Jiao Tong University, advised by Prof. Bingbing Ni. I received BEng and MEng degree in the Department of Automation from the same university. Enrolled in a double master degree program, I spent 2 years in France with an Engineer degree. I was a visiting research fellow in Visual Computing Group at Harvard University. I am now visiting EPFL CVLAB, working with Prof. Pascal Fua.I focus on medical image analysis, 3D computer vision and trustworthy machine learning, with a clinical emphasis on lung cancer and thoracic diseases. I have (co-)first-authored more than 10 papers on top-tier journals / conferences, e.g., Cancer Research, CVPR, MICCAI and NeurIPS. I was a reviewer for more than 10 prestigious venues, a top-ranking participant for several AI competitions, and the lead organizer for MICCAI 2020 RibFrac Challenge.Updated on April, 2021.
