Viktor KuncakViktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.
Marco PicassoExpertise
Computational Science and Engineering
Mission
I am teaching analysis and numerical analysis for engineers and mathematicians at bachelor and master levels.My research pertains to the numerical simulation of complex physical systems with partial differential equations.Here is some bibliometry: Google Scholar, Research Gate, Orcid, here is my most recent CV. Ongoing research projects: - Numerical simulation of aluminium electrolysis, collaboration with RioTinto LRF lab, Ycoorsystems SA and Jacques
Ming Yin Kenneth LeeI am Kenneth Lee, a PhD student in Plasma Physics at EPFL Swiss Plasma Center under the supervision of Christian Theiler. My research focuses on understanding edge plasma physics of TCV tokamak via the Reciprocating Divertor Probe Array (RDPA) diagnostic. Prior to EPFL, I read for a BA in Physics and an MMathPhys in Mathematical and Theoretical Physics, both at St Hilda’s College, University of Oxford, and I subsequently spent almost two years working as deep tech venture capital investor. I was raised and educated in Hong Kong.
Nikolaos StergiopoulosEducation
MTE, Managing the Technology Enterprise Program (2000), IMD, Lausanne
Ph.D. in Biomedical Engineering & Engineering Mechanics (1990) Iowa State University, Ames, Iowa.
MS in Biomedical Engineering (1987) Iowa State University, Ames, Iowa.
Diploma in Mechanical Engineering (1985) National Technical University of Athens.
Professional Activities
2002 - present: Professor and director of LHTC
2010 - present: Founder and director of Rheon Medical SA, Préverenges, Switzerland
2008 - present: Founder and director of Antlia S.A., PSE-C, EPFL campus, Switzerland
1998 - 2007: Founder and Scientific Director of EndoArt S.A., Lausanne, Switzerland
1996 - 2002: Assistant professor at the Biomedical Engineering Laboratory, Swiss Federal Institute of Technology, Lausanne, Switzerland.
1991 - 1996: Research Associate at Swiss Federal Institute of Technology - Lausanne
1990 - 1991: Lecturer, Iowa State University
Nicolas Henri Bernard FlammarionNicolas Flammarion is a tenure-track assistant professor in computer science at EPFL. Prior to that, he was a postdoctoral fellow at UC Berkeley, hosted by Michael I. Jordan. He received his PhD in 2017 from Ecole Normale Superieure in Paris, where he was advised by Alexandre d’Aspremont and Francis Bach. In 2018 he received the prize of the Fondation Mathematique Jacques Hadamard for the best PhD thesis in the field of optimization. His research focuses primarily on learning problems at the interface of machine learning, statistics and optimization.
Simone DeparisExpertise
Simone Deparis est professeur à l’EPFL, spécialisé en mathématiques appliquées, analyse numérique et didactique des mathématiques à l’université. Ses recherches portent à la fois sur la modélisation computationnelle pour les applications biomédicales et sur l’innovation pédagogique, avec un accent sur l’équité, l’auto-efficacité et la réforme de l’évaluation dans les grands cursus scientifiques.
Mission
Mes recherches portent sur les mathématiques appliquées et les sciences de l’apprentissage. En
Jan Sickmann HesthavenProf. Hesthaven received an M.Sc. in computational physics from the Technical University of Denmark (DTU) in August 1991. During the studies, the last 6 months of 1989 was spend at JET, the european fusion laboratory in Culham, UK. Following graduation, he was awarded a 3 year fellowship to begin work towards a Ph.D. at Riso National Laboratory in the Department of Optics and Fluid Dynamics. During the 3 years of study, the academic year of 1993-1994 was spend in the Division of Applied Mathematics at Brown University and three 3 months during the summer of 1994 in Department of Mathematics and Statistics at University of New Mexico. In August 1995, he recieved a Ph.D. in Numerical Analysis from the Institute of Mathematical Modelling (DTU). Following graduation in August 1995, he was awarded an NSF Postdoctoral Fellowship in Advanced Scientific Computing and was approinted Visiting Assistant Professor in the Division of Applied Mathematics at Brown University. In December of 1996, he was appointed consultant to the Institute of Computer Applications in Science and Engineering(ICASE) at NASA Langley Research Center (NASA LaRC). As of July 1999, he was appointed Assistant Professor of Applied Mathematics, in September 2000 he was awarded an Alfred P. Sloan Fellowship, as of July 2001 he was awarded a Manning Assistant Professorship, and in March 2002, he was awarded an NSF Career Award. In January 2003, he was promoted to Associate Professor of Applied Mathematics with tenure and in May 2004 he was awarded Philip J. Bray Award for Excellence in Teaching in the Sciences (the highest award given for teaching excellence in all sciences at Brown University). He was promoted to Professor of Applied Mathematics as of July 2005. From October 2006 to June 2013, he was the Founding Director of the Center for Computation and Visualization (CCV) at Brown University. As of October 2007, he holds the (honorary) title of Professor (Adjunct) at the Technical University of Denmark. In November 2009, he successfully defended his dr.techn thesis at the Technical University of Denmark and was rewarded the degree of Doctor Technices -- the highest academic distinction awarded based on ... substantial and lasting contributions that has helped to move the research area forward and penetrated into applications. As grant Co-PI he served from Aug 2010 to June 2013 as Deputy Director of the Institute of Computational and Experimental Research in Mathematics (ICERM), the newest NSF Mathematical Sciences Research Institute. After having spend his entire academic career at Brown University, Prof Hesthaven decided to pursue new challenges and joined the Mathematics Institute of Computational Science and Engineering (MATHICSE) at Ecole Polytechnique Fédérale de Lausanne (EPFL) in Switzerland in July 2013. In March 2014 he was elected SIAM Fellow for contributions to high-order methods for partial differential equations.
Johanni Michael BreaEnseignement et PhD Doctorant·es actuel·les Aude Maier, Lucas Louis Gruaz, Flavio Martinelli Cours Biological data science II : machine learning BIO-322 Les étudiants comprennent les concepts et méthodes de base d'apprentissage automatique. Ils savent les décrire en termes mathématiques et ils savent les appliquer aux données en utilisant un langage de haut niveau (julia/python/R). Intelligence artificielle et société HUM-286 Ce cours intègre les SHS avec les sciences de l'
