Martin HairerTeaching & PhD PhD Students Colin Piernot, Wenhao Zhao, Declan Rellan Stacy Courses Advanced stochastic analysis MATH-525 This course will give you in-depth knowledge in some topics of modern stochastic analysis. We will start with a general introduction to Gaussian measure theory followed by an introduction to Malliavin calculus and a selection of advanced topics.
Awards Fermat Prize Institut de Mathématiques de Toulouse 2013 Fields Medal IMU 2014 Honorary doctorate in science Hong Kong
Marco ScigliuzzoExpertise
Superconducting quantum circuits, including qubits, microwave and mechanical resonators.
Education PhD | Design, fabrication and measurement of quantum devices based on superconducting circuits 2016 – 2021 Chalmers University
Siba Smarak PanigrahiExpertise
Geometric Deep Learning, Generative Models
I am a Ph.D. at école Polytechnique Fédérale de Lausanne (EPFL) working with Prof. Maria Brbic in the Brbic Lab. My research interests span geometric deep learning, generative models, and computer vision.Previously, I was a visiting researcher at ServiceNow Research in the Multimodal Foundation Models team, building foundation model for structured document understanding. I was also a Research Intern at PROSE at Microsoft, working on designing algorithms a
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
Mirko MarrasMirko Marras was born on April 19, 1992 in Iglesias (Italy). He is a Postdoctoral Researcher at the Digital Vocational Education and Training • Machine Learning for Education Laboratory of EPFL - Swiss Federal Institute of Technology in Lausanne (Switzerland). He received a PhD in Computer Science in 2020 and a MSc Degree in Computer Science (summa cum laude, 18 months) in 2016, from University of Cagliari (Italy). He received the Computer Science Engineering certification from the University of Pisa (Italy) in 2016.
In 2015, he was involved as Researcher within UnitelCagliari (Italy) for the ELIOS project (MIUR, 1ME). In 2017, he spent five months as Visiting Scholar at EURECAT (Spain), collaborating with the Data Science and Big Data Analytics Unit on the DECODE project (EU, 16P, 5ME). In 2018, he spent three months as Visiting Scholar within the University Institute for Intelligent Systems and Digital Applications in Engineering (SIANI) at the Universidad de Las Palmas de Gran Canaria (Spain). In 2019, he spent two months at the Department of Computer Science and Engineering of the New York University: Tandon School of Engineering (U.S.A). He has been involved as Researcher in the ILEARNTV project (MIUR, 6P, 10ME) since 2018. From 2019, he is referral of the University of Cagliari (Italy) for two work packages under the EDUC project (EU, 6P, 5ME). He has been teaching assistant for the “Computer Networks” course since 2017 and thesis assistant since 2018 at the University of Cagliari (Italy).
In 2014, he was recognized as the best third-year student of the BSc Program in Computer Science of the University of Cagliari (Italy). In 2016, he was recognized as the best MSc student of the Faculty of Science and one of the top 12 MSc students of the same University. In 2018, he got to the podium of the Call for Visionary Ideas - Education Section event organized by Nesta Italia. He has received the Best Poster Award at the European Semantic Web Conference 2017 (ESWC2017), the Demo Honorable Mention at The Web Conference 2018 (WWW2018) and the Best Paper Award at Didamatica Conference 2018. He has been awarded two Erasmus PlaceDoc scholaships to spend 5 months at EURECAT (Spain) and 3 months at Universidad de Las Palmas de Gran Canaria (Spain), respectively. Moreover, he has been awarded a GlobusDoc scholarship to spend 2 months at New York University: Tandon School of Engineering (U.S.A).
His current research focuses on Data Mining and Machine Learning with a focus on Education. He has co-authored papers in top-tier international journals, such as Pattern Recognition Letters (Elsevier), Computers in Human Behavior (Elsevier), Information Processing & Management (Elsevier), and IEEE Cloud Computing. His research activity also brought him to give talks (e.g., ECIR 2019 and INTERSPEECH 2019), demos (e.g., TheWebConf 2018 and AVI 2020), and tutorials (e.g., UMAP 2020 and ICDM 2020) at several international conferences. He is part of the program committee of main international conferences, such as ACL, AIED, ECML-PKDD, EDM, EMNLP, ITICSE, INTERSPEECH, ICALT, and UMAP. He has been also acting as a reviewer for top-tier journals, such as Pattern Recognition Letters and IEEE Transactions on Image Processing. He has been also co-chairing the BIAS@ECIR2020 and BIAS@ECIR2021 workshops. He has served as a guest editor for a special issue of Information Processing & Management (Elsevier) and Future Generation Compter Systems (Elsevier). He has been involved in several national and European projects (e.g., iLearnTV, DECODE, EDUC). He is a member of several national and international associations, including CVPL, AIxIA, IEEE, and ACM.
