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.
Giovanni De MicheliExpertise
Technologies de conception pour les systèmes intégrés, tels que la synthèse, le codesign de HW/SW et la conception de basse puissance. Technologies de conception des systèmes sur les plateformes hétérogènes comprenant les composants électriques, et biologiques.
En savoir plus
Consulter svp http://si2.epfl.ch/~demichel/
Enseignement et PhD A dirigé les thèses EPFL de Abhishek Garg, Mohamed Haykel Ben Jamaa, Francesco Zanini, Ciprian Seiculescu, Cristina Boero, Hu Xu, Andrea Cavallini, Shashi Kanth Anna LachowskaEnseignement et PhD Cours Algebra MATH-310 Le cours introduit les concepts de base de l'algèbre, notamment les groupes, les anneaux et les corps. Analyse I MATH-101(e) Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. Analyse II MATH-106(e) Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieursvariables. Representation theory I
Aline ZanardiniEnseignement et PhD Cours Algebra V - Galois theory MATH-317 La théorie de Galois se situe à l'interface de la théorie des corps et de la théorie des groupes. Il vise à décrire les symétries algébriques des corps. Nous nous concentrerons sur la théorie de Galois pour les extensions de corps finis et certaines applications. Algebraic geometry I - Curves MATH-328 La géométrie algébrique est le langage commun à de nombreuses branches de la recherche moderne en mathématiques. Ce
Dimitri Stelio WyssEnseignement et PhD Doctorant·es actuel·les Elsa Maneval, Mathis Duguin A dirigé les thèses EPFL de Tanguy Vernet, Ilaria Rossinelli Cours Algèbre I - structures fondamentales MATH-113 Le but de ce cours est d'introduire et d'étudier les notions de base de l'algèbre abstraite. Quantum Cohomology MATH-747 Student seminar in pure mathematics MATH-563 L'objectif du séminaire est d'aborder les principaux aspects de la théorie des corps de classes, qui vise à com
Cédric MeinenEnseignement et PhD Cours Electronique EE-280 Présentation des principaux composants de base de l'électronique.Analyse de circuits à base d'amplificateurs opérationnels.Introduction aux circuits logiques élémentaires.Principe de la conversion Analogique-Numérique.Modèles simplifiés des transistors MOSFET. Electronique I EE-202 Les concepts de base permettant de comprendre, d'analyser et de concevoir les circuits à base d'AmpliOp, dédiés à l'acquisition et conditionnement des
Paolo IennePaolo Ienne has been a Professor at the EPFL since 2000 and heads the Processor Architecture Laboratory (LAP). Prior to that, he worked for the Semiconductors Group of Siemens AG, Munich, Germany (which later became Infineon Technologies AG) where he was at the head of the Embedded Memories unit in the Design Libraries division. His research interests include various aspects of computer and processor architecture, FPGAs and reconfigurable computing, electronic design automation, and computer arithmetic. Ienne was a recipient of Best Paper Awards at the 20th, 24th, and 28th ACM/SIGDA International Symposia on Field-Programmable Gate Arrays (FPGA), in 2012, 2016 and 2020, at the 19th and 30th International Conference on Field-Programmable Logic and Applications (FPL), in 2009 and 2020, at the International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES), in 2007, and at the 40th Design Automation Conference (DAC), in 2003; many other papers have been candidates to Best Paper Awards in prestigious venues. He has served as general, programme, and topic chair of renown international conferences, including organizing in Lausanne the 26th International Conference on Field-Programmable Logic and Applications (FPL) in 2016. He serves on the steering committee of the IEEE Symposium on Computer Arithmetic (ARITH) and of the International Conference on Field-Programmable Logic and Applications (FPL). Ienne has guest edited a number of special issues and special sections on various topics for IEEE and ACM journals. He is regularly member of program committees of international workshops and conferences in the areas of design automation, computer architecture, embedded systems, compilers, FPGAs, and asynchronous design. He has been an associate editor of ACM Transactions on Architecture and Code Optimization (TACO), since 2015, of ACM Computing Surveys (CSUR), since 2014, and of ACM Transactions on Design Automation of Electronic Systems (TODAES) from 2011 to 2016.
Mohammad Khaja NazeeruddinDr. Md. K. Nazeeruddin received M.Sc. and Ph. D. in inorganic chemistry from Osmania University, Hyderabad, India. He joined as a Lecturer in Deccan College of Engineering and Technology, Osmania University in 1986, and subsequently, moved to Central Salt and Marine Chemicals Research Institute, Bhavnagar, as a Research Associate. He was awarded the Government of Indias fellowship in 1987 for study abroad. After one year postdoctoral stay with Prof. Graetzel at Swiss federal institute of technology Lausanne (E P F L), he joined the same institute as a Senior Scientist. His current research focuses on Dye-sensitized solar cells, Hydrogen production, Light-emitting diodes and Chemical sensors. He has published more than 380 peer-reviewed papers, ten book chapters, and inventor of 40 patents. The high impact of his work has been recognized with invitations to speak at over 80 international conferences, including the MRS Fall (USA, 2006) and Spring 2011 Meetings, GORDON conference (2014), and has been nominated to the OLLA International Scientific Advisory Board. He appeared in the ISI listing of most cited chemists, and has more than 33'500 citations with an h-index of 89. He is teaching "Functional Materials" course at EPFL, and Korea University; directing, and managing several industrial, national, and European Union projects on Hydrogen energy, Photovoltaics (DSC), and Organic Light Emitting Diodes. He was awarded EPFL Excellence prize in 1998 and 2006, Brazilian FAPESP Fellowship in 1999, Japanese Government Science & Technology Agency Fellowship, in 1998, Government of India National Fellowship in 1987-1988. Recently he has been appointed as World Class University (WCU) professor by the Korea University, Jochiwon, Korea (http://dses.korea.ac.kr/eng/sub01_06_2.htm) and Adjunct Professor by the King Abdulaziz University, Jeddah, Saudi Arabia. Michael GraetzelProfessor of Physical Chemistry at the Ecole polytechnique fédérale de Lausanne (EPFL) Michael Graetzel, PhD, directs there the Laboratory of Photonics and Interfaces. He pioneered research on energy and electron transfer reactions in mesoscopic systems and their use to generate electricity and fuels from sunlight. He invented mesoscopic injection solar cells, one key embodiment of which is the dye-sensitized solar cell (DSC). DSCs are meanwhile commercially produced at the multi-MW-scale and created a number of new applications in particular as lightweight power supplies for portable electronic devices and in building integrated photovoltaics. They engendered perovskite solar cells (PSCs) which turned into the most exciting break-through in the history of photovoltaics. He received a number of prestigious awards, of which the most recent ones include the RusNANO Prize, the Zewail Prize in Molecular Science, the Global Energy Prize, the Millennium Technology Grand Prize, the Marcel Benoist Prize, the King Faisal International Science Prize, the Einstein World Award of Science and the Balzan Prize. He is a Fellow of several learned societies and holds eleven honorary doctor’s degrees from European and Asian Universities. His over 1500 publications have received some 220’000 citations with an h-factor of 218 (SI-Web of Science) demonstrating the strong impact of his scientific work.
Jean-Michel SalleseEnseignement et PhD Doctorant·es actuel·les Marta Macaluso A dirigé les thèses EPFL de Luca Gautero, Fengda Sun, Frédéric Zanella, Lucian Barbut, Farzan Jazaeri, Camillo Stefanucci, Jacopo Bronuzzi, Georgi Gorine, Chiara Rossi, Viros Sriskaran, Arnout Devos, Gennaro Termo A co-dirigé les thèses EPFL de Louis Harik, Fabrizio Lo Conte, Maria-Alexandra Paun, Anurag Mangla, Pranav Vivek Kulkarni Cours Electronique EE-280 Présentation des principaux composants de base de l'électronique.Analyse
Alexandre SchmidEnseignement et PhD A dirigé les thèses EPFL de Mahsa Shoaran, Wen-Yang Hsu, Reza Ranjandish, Keyvan Farhang Razi, Mohammad Javad Karimi A co-dirigé les thèses EPFL de Milos Stanisavljevic, Neil Joye, Vahid Majidzadeh Bafar, Hossein Afshari, Nikola Katic, Abdulkadir Akin Cours Analog circuits for biochip EE-518 Introduction à la conception analogique CMOS pour des biocapteurs à distance sur puce. Compréhension et la conception de systèmes de biocapteurs actifs et alimentés à distance. Compré
Kathryn Hess BellwaldKathryn Hess Bellwald received her PhD from MIT in 1989 and held positions at the universities of Stockholm, Nice, and Toronto before moving to the EPFL.Her research focuses on algebraic topology and its applications, primarily in the life sciences, but also in materials science. She has published extensively on topics in pure algebraic topology including homotopy theory, operad theory, and algebraic K-theory. On the applied side, she has elaborated methods based on topological data analysis for high-throughput screening of nanoporous crystalline materials, classification and synthesis of neuron morphologies, and classification of neuronal network dynamics. She has also developed and applied innovative topological approaches to network theory, leading to a powerful, parameter-free mathematical framework relating the activity of a neural network to its underlying structure, both locally and globally.In 2016 she was elected to Swiss Academy of Engineering Sciences and was named a fellow of the American Mathematical Society and a distinguished speaker of the European Mathematical Society in 2017. In 2021 she gave an invited Public Lecture at the European Congress of Mathematicians. She has won several teaching prizes at EPFL, including the Crédit Suisse teaching prize and the Polysphère d’Or.
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
Pablo Antolin SanchezEnseignement et PhD Doctorant·es actuel·les Philipp Christoph Weder, Davor Dobrota A co-dirigé les thèses EPFL de Ondine Chanon Cours Analysis III MATH-202(c) Le cours étudie les concepts fondamentaux de l'analyse vectorielle et de l'analyse de Fourier-Laplace en vue de leur utilisation pour résoudre des problèmes pluridisciplinaires d'ingénierie scientifique. Analysis III (for IC) MATH-203(d) Le cours étudie les concepts fondamentaux de l'analyse vectorielle et de l'analys
Kevin SivulaEnseignement et PhD Doctorant·es actuel·les Odile Louise Andres, Arthur Eliot Bouchez, Benjamin Goldman, Nicolas Johannes Diercks, Aurélie Fanny Marie Célérien, Jiajun Li, Louise Marie Foltzer-De Cian, Melanie Victoria Johanning, Nils William Laurent Golay A dirigé les thèses EPFL de Andrea Gasperini, Pauline Bornoz, Xavier Adrian Jeanbourquin, Xiaoyun Yu, Mathieu Steven Prévot, Muhammad Aiman Bin Rahmanudin Hamdan, Nhât-Tân Vuong, Yongpeng Liu, Arvindh Sekar, Barbara Alexandra Primera Darwich, Rebekah An
Andrei NegutEnseignement et PhD Doctorant·es actuel·les Archi Kaushik, Niccolò Giacomini, Paul Vögele Cours Algebra II - groups MATH-211 Nous étudierons la théorie des groupes, en mettant l'accent sur les actions des groupes et notions de la théorie des catégories. Algèbre linéaire (anglais) MATH-111(en) L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications. Representation Theory II - Lie groups and algebras MATH-429 Repres
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
Daniel SageExpertise
Publications
Enseignement et PhD A co-dirigé les thèses EPFL de Daniel Andreas Schmitter, Anaïs Badoual, Laurène Donati Cours Bioimage informatics BIO-410 Le cours fournit une complète revue des méthodes, algorithmes et des outils logiciels utilisés en analyse d'images biologiques. Il expose les concepts fondamentaux et les solutions informatiques permettant d'extraire des informations quantitatives à partir d'images multidimensionnelles. Fundamentals of Image Analysis EE
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.
