Sanidhya KashyapSanidhya Kashyap is a systems researcher and an assistant professor at the EPFL School of Computer and Communication Sciences (IC). His research focuses on designing systems software that are performant and robust for heterogeneous hardware. He is broadly interested in the area of systems with a particular focus on operating systems, databases, concurrency, scheduling, networks, data analytics, and software testing (fuzzing).
Stephan BrunnerTeaching & PhD PhD Students Hugo Jean Elie Chkroun, Nicole Vadot, Oraz Anuaruly, Haomin Sun, Isabel Muzio, Fabien Nicolas Jeanquartier Past EPFL PhD Students Ajay Chandrarajan Jayalekshmi, Arnas Volcokas Past EPFL PhD Students as codirector Xavier Lapillonne, Thibaut Vernay, Julien Stanislas Pierre Dominski, Gabriele Merlo, Emmanuel Lanti, Noé Ohana, Moahan Murugappan Courses Plasma instabilities PHYS-736 To complete the theoretical knowledge acquired before the graduate studies.
Laurent VillardTeaching & PhD Past EPFL PhD Students Matteo Maccio, Olivier Fischer, Gloria Luisa Falchetto, Paolo Angelino, Sébastien Jolliet, Xavier Lapillonne, Thibaut Vernay, Julien Stanislas Pierre Dominski, Gabriele Merlo, Emmanuel Lanti, Noé Ohana, Moahan Murugappan
Michael Christoph GastparMichael Gastpar is a (full) Professor at EPFL. From 2003 to 2011, he was a professor at the University of California at Berkeley, earning his tenure in 2008.
He received his Dipl. El.-Ing. degree from ETH Zürich, Switzerland, in 1997 and his MS degree from the University of Illinois at Urbana-Champaign, IL, USA, in 1999. He defended his doctoral thesis at EPFL on Santa Claus day, 2002. He was also a (full) Professor at Delft University of Technology, The Netherlands.
His research interests are in network information theory and related coding and signal processing techniques, with applications to sensor networks and neuroscience.
He is a Fellow of the IEEE. He is the co-recipient of the 2013 Communications Society & Information Theory Society Joint Paper Award. He was an Information Theory Society Distinguished Lecturer (2009-2011). He won an ERC Starting Grant in 2010, an Okawa Foundation Research Grant in 2008, an NSF CAREER award in 2004, and the 2002 EPFL Best Thesis Award. He has served as an Associate Editor for Shannon Theory for the IEEE Transactions on Information Theory (2008-11), and as Technical Program Committee Co-Chair for the 2010 International Symposium on Information Theory, Austin, TX.
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.
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. In 2014, EPFL awarded him the title of Professor. His current research at EPFL focuses on Dye Sensitized Solar Cells, Perovskite Solar Cells, CO2 reduction, Hydrogen production, and Light-emitting diodes. He has published more than 509 peer-reviewed papers, ten book chapters, and he is inventor/co-inventor of over 50 patents. The high impact of his work has been recognized by invitations to speak at over 130 international conferences, 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 49'000 citations with an h-index of 105. He is teaching "Functional Materials" course at EPFL, and Korea University; directing, and managing several industrial, national, and European Union projects. 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), Adjunct Professor by the King Abdulaziz University, Jeddah, Saudi Arabia and Eminent Professor in Brunei. Clément Pit-ClaudelTeaching & PhD PhD Students Yawen Guan, Kacper Feliks Korban, Can Cebeci, Alexandre Pinazza, Shardul Chiplunkar Courses Interactive Theorem Proving Project CS-642 A project-focused introduction to interactive theorem proving. Interactive theorem proving CS-428 A hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.Come learn how to write computer-checked proofs an
Giovanni De MicheliExpertise
Design technologies for integrated systems on silicon, such as synthesis, hw/sw codesign and low-power design, as well as systems on heterogeneous platforms including electrical and biological components.
Scientific Director of EcoCloud Center at EPFL
Directing activities towards creating sustainable computation including AI.Designing energy-savvy data centers and edge devices.
More information
Please read http://si2.epfl.ch/~demichel/
Giovanni De Micheli is a research scientist in electronics and Martin JaggiMartin Jaggi is a Tenure Track Assistant Professor at EPFL, heading the Machine Learning and Optimization Laboratory. Before that, he was a post-doctoral researcher at ETH Zurich, at the Simons Institute in Berkeley, and at École Polytechnique in Paris. He has earned his PhD in Machine Learning and Optimization from ETH Zurich in 2011, and a MSc in Mathematics also from ETH Zurich.
