Simon GuilloudExpertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems.
Expertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems.
Barbora HudcováEnseignement et PhD Cours Cellular automata and models of artificial life MATH-527 Ce cours porte sur la vie artificielle: l'étude de modèles mathématiques capturant des processus-clefs de la vie, en particulier la réplication, l'émergence de complexité et l'évolution.
Benoît CrouzyEnseignement et PhD A co-dirigé les thèses EPFL de Sophie Erb Cours Environmental transport phenomena ENG-420 Ce cours a pour objectif d'introduire les aspects principaux de la diffusion moléculaire et turbulente. Les processus de dispersion sont traités, avec un accent sur la modélisation mathématique, sur les solutions pour des cas idéaux ainsi que sur les applications aux sciences de l'environnement.
Vassily HatzimanikatisEnseignement et PhD Doctorant·es actuel·les Denis Alain Henri Lucien Joly, Luca Milazzo, David Liaskos, Konrad Lagoda, Omar Keshk, Yigit Sibal, Ioannis Tzegiannakis A dirigé les thèses EPFL de Keng Cher Soh, Julien Racle, Noushin Hadadi, Stefano Andreozzi, Stepan Tymoshenko, Meriç Ataman, Joana Raquel Pinto Vieira, Tiziano Dallavilla, Yves Berset, Anush Chiappino-Pepe, Milenko Tokic, Tuure Eelis Hameri, Jasmin Maria Hafner, Homa Mohammadi Peyhani, Daniel Robert Weilandt, Zhaleh Hosseini, Sofia Tsouka, Mar
Simon BossoneyEnseignement et PhD Cours Algèbre linéaire et géométrie (pour MAN) PREPA-032(a) On présente les notions fondamentales de l'algèbre linéaire dans le contexte géométrique qui les a vues émerger. L'accent est donc mis principalement sur les dimensions 2 et 3, et en particulier sur la visualisation des objets et des opérations classiques dans le plan et l'espace. Analyse I (pour CMS) PREPA-003(a) Ce cours du premier semestre vise à établir les bases du calcul différentiel. Ana
Thomas Georges Pierre VidickEnseignement et PhD Doctorant·es actuel·les Itammar Steinberg, Aviv Taller Cours Formal Mathematics with Lean and AI CS-643 Introduction to quantum computation CS-308 Ce cours introduit le paradigme du calcul quantique de facon axiomatique. Le cours introduit les notions de bit quantique, portes logiques et circuits quantiques, traite les principaux algorithmes quantiques, et les codes correcteurs. Le cours est indépendant de COM-309. Introduction to quantum cryptography
Giordano FaviExpertise
Research: Non associative Algebra, Category Theory, Triangulated Category Theory, Balmer-Witt Theory, Quadratic Forms in Characteristic 2, Galois Theory, Essential dimension, Tensor Triangular GeometryTeaching: Algebra (Associative, Linear, Commutative or not), Differential Calculus , Algebraic Geometry/Topology, etc.
Travail en cours
Teaching: My current work at EPFL is half time dedicated to teaching mathematics for 1st year students. It is very important to give satisfactory introductory cou
Michaël UnserExpertise
Image Processing Medical Imaging Biological Imaging Wavelets Splines Multiresolution
Enseignement et PhD Doctorant·es actuel·les Youssef Haouchat, Vincent Patrick Lawrence Guillemet, Bassam El Rawas, Stanislas Ducotterd, Mehrsa Pourya, Zhiyuan Hu A dirigé les thèses EPFL de Stefan Horbelt, Jan Kybic, Maria Arrate Munoz Barrutia, Manuela Feilner, Slavica Jonic, Mathews Jacob, Michael Liebling, Michael Sühling, Muthuvel Arigovindan, François Aguet, Cédric Vonesch, Ildar Khalidov, Sathish Ramani, F
Andrés Ignacio Cristi EspinosaEnseignement et PhD Doctorant·es actuel·les Jiechen Zhang, Aruzhan Amanbayeva Cours Algorithmic game theory MGT-435 Nous étudierons des modèles mathématiques décrivant l'interaction entre les algorithmes et les comportements stratégiques. Seront abordés les concepts fondamentaux de la théorie des jeux: équilibres de Nash, prix de l'anarchie, enchères, compatibilité incitative, et apprentissage en ligne. Applied probability & stochastic processes MGT-484 Ce cours se concentr
Rolf GruetterAwards:
1999 Young Investigator Award Plenary Lectureship
, International Society for Neurochemistry
2011 Fellow
, ESMRMB
2011 Teaching Award
, Section Sciences de la Vie, EPFL
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
Mathieu HuruguenEnseignement et PhD Cours Algèbre linéaire (pour CMS) PREPA-001 Dans la première partie du cours on couvre des notions de langage ensembliste et de logique élémentaire. Dans la deuxième partie, le but est de familiariser les étudiants avec les notions fondamentales de l'algèbre linéaire à travers leur étude géométrique en dimension 2. Algèbre linéaire et géométrie (pour MAN) PREPA-032(a) On présente les notions fondamentales de l'algèbre linéaire dans le contexte géométrique
Kenan ZhangEnseignement et PhD Doctorant·es actuel·les Qiuzi Chen, Xinyu Ma, Xuhang Liu Cours EESS - CESS Seminar Course - option 1 (FALL) ENV-630(a) EESS - CESS Seminar Course - option 1 (SPRING) ENV-630(c) EESS - CESS Seminar Course - option 2 (FALL) ENV-630(b) EESS - CESS Seminar Course - option 2 (SPRING) ENV-630(d) Transportation network modeling & analysis CIVIL-477 Ce cours présente les classiques et les nouvelles avancées en mati
Fabrizio SossanExpertise
Mathematical Modelling, Forecasting and Optimization for Power System Applications
Enseignement et PhD Doctorant·es actuel·les Keyu Jia A co-dirigé les thèses EPFL de Yihui Zuo, Mohsen Kalantar Neyestanaki, Rahul Kumar Gupta Cours Energy storage systems EE-466 Ce cours présente les principales technologies de stockage d'énergie, leurs attributs, leurs modèles mathématiques et leurs applications (stationnaires et mobiles), de la conception à l'exploitation et au contrôle, avec un
Mahmut Selman SakarEnseignement et PhD Doctorant·es actuel·les Lorenzo Francesco John Noseda, Nikita Norkin, Elif Ezgi Inan, Houman Javaheri, Mehdi Ali Gadiri, Julian Leon Raub, Junsun Hwang A dirigé les thèses EPFL de Erik Mailand, Raquel Filipa Penacho Parreira, Murat Kaynak, Lucio Pancaldi-Giubbini, Fazil Emre Uslu, Matthias Rüegg, Ece Özelçi, Emilie Vuille-Dit-Bille A co-dirigé les thèses EPFL de Laura Joan Hermans, Sourabh Monnappa Kuppanda Jafri Cours Dynamical systems ME-221 Introduction à la modélisa
Annalisa BuffaEnseignement et PhD Doctorant·es actuel·les Gonzalo Bonilla Moreno, Philipp Christoph Weder, Yannis Dirk Voet, Fabio Marcinno, Ferhat Sindy, Francesco Sala, Markus Renoldner, Mohamed Ben Abdelouahab, Davor Dobrota A dirigé les thèses EPFL de Luca Coradello, Ondine Chanon, Riccardo Puppi Cours Numerical approximation of PDEs MATH-451 Ce cours porte sur la dérivation, l'analyse théorique et l'implémentation de la méthode des éléments finis pour l'approximation numérique des équations aux dér
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.
Virginia CarnevaliExpertise
Theoretical condensed matter physics: theory and simulations of structural, electronic, magnetic and optical properties (Quantum ESPRESSO), ab-initio molecular dynamics (CP2K), and Kinetic Monte Carlo codes; automate Quantum ESPRESSO workflows and high-throughput calculations (AFLOWÏ€); generation of tight-binding hamiltonians, transport properties, and data analysis (PAOFLOW).Materials for photovoltaic: Pb- and Sn-based organic perovskites; investigation and improvement of the HTL-ETL interaction
