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.
Roger HerschRoger D. Hersch is professor of Computer Science and head of the Peripheral Systems Laboratory at EPFL. He received his engineering degree from ETHZ in 1975, worked in industry from 1975 to 1980, and obtained his PhD degree from EPFL in 1985. He directed the widely known
Visible Human Web Server project
, which offers a number of services for the visualization of human anatomy.
His current research focuses on color reproduction, spectral color prediction models, moiré imaging, and visual document security. Recent achievements include the PhotoProtect technology, which incorporates text as chromatic differences in order to protect identity photographs (Swiss driving license), microstructure imaging, which is used by railways companies (SNCF, RENFE) and festival organizers (Paleo) to print tickets at home and the band moire imaging technology for the protection of security documents.
Sébastien Jean Robert DoeraeneExpertise
Language design, compilers, virtual machines.Pedagogy in computer science.
Current Work
Scala.js, the dialect of Scala for JavaScript and WebAssembly
Sébastien Doeraene is a compiler/runtime systems hacker and a Scala enthusiast. Best known as the author of Scala.js, he is now lecturer at EPFL. He holds a PhD from EPFL, having worked under the supervision of Prof. Martin Odersky, and a master's degree in computer science engineering from Université catholique de Louvain in Belgium. When he is not
Tobias BorgmeyerCurrent Work
Working on the implementation of sustainability measures in LMSC and related facilities/platforms
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 Denis GilletDenis Gillet received the Diploma in Electrical Engineering from the Swiss Federal Institute of Technology in Lausanne (EPFL) in 1988, and the Ph.D. degree in Information Systems also from the EPFL in 1995. During 1992 he was appointed as Research Fellow at the Information Systems Laboratory of Stanford University in the United States. He is currently Maître d'enseignement et de recherche at the EPFL School of Engineering, where he leads the React research group. His current research interests include Technologies Enhanced Learning (TEL), Human Computer Interaction (HCI), Human Devices Interaction (HDI) and Optimal Coordination of Complex and Distributed Systems. Denis Gillet is affiliated at EPFL with the Center for Intelligent Systems and the Center for Digital Education.
Michaël UnserExpertise
Image Processing, Medical Imaging, Biological Imaging, Wavelets, Splines, Multiresolution
Michael Unser is Full Professor with EPFL’s school of Engineering and the academic director of EPFL's Center for Imaging, Lausanne, Switzerland. His primary areas of investigation are signal processing, biomedical imaging and applied functional analysis. He is internationally recognized for his research contributions to sampling theory, wavelets, the use of splines for image processing, stochastic processes,
Daniel SageExpertise
PublicationsPublications
Coordinates Biomedical Imaging GroupAddressEPFL STI-IMT-LIB, BM 4.135, Station 17, CH-1015 Lausanne, SwitzerlandTel.+41 21 693 51 89Fax.+41 21 693 68 10Emaildaniel.sage@epfl.chWeb pagehttp://bigwww.epfl.ch/sage/OfficeBM 4.135
Teaching & PhD Past EPFL PhD Students as codirector Daniel Andreas Schmitter, Anaïs Badoual, Laurène Donati Courses Bioimage informatics BIO-410 The course provides a comprehensive overview of methods, algorithms, and computer tools us Martin OderskyMartin Odersky heads the programming research group at EPFL. His research interests cover fundamental as well as applied aspects of programming languages. They include semantics, type systems, programming language design, and compiler construction. The main focus if his work lies in the integration of object-oriented and functional programming. His research thesis is that the two paradigms are just two sides of the same coin and should be unified as much as possible. To prove this he has experimented a number of language designs, from Pizza to GJ to Functional Nets. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the current javac reference compiler. His current work concentrates on the Scala programming language, which unifies FP and OOP, while staying completely interoperable with Java and .NET.
Martin Odersky got his doctorate from ETHZ, in 1989. He held research positions at the IBM T.J. Watson Research Center from 1989 and at Yale University from 1991. He was then a professor at the University of Karlsruhe from 1993 and at the University of South Australia from 1997. He joined EPFL as full professor in 1999. He is associate editor of the Journal of Functional Programming and member of IFIP WG 2.8. He was conference chair for ICFP 2000, and program chair for ECOOP 2004 as well as ETAPS/CC 2007.
James Richard LarusExpertise
James Larus is a Professor Emeritus and former Dean of the School of Computer and Communication Sciences (IC) at EPFL (école Polytechnique Fédérale de Lausanne). Before joining IC in October 2013, Larus was a researcher, manager, and director in Microsoft Research for over 16 years and an Assistant and Associate Professor in the Computer Sciences Department at the University of Wisconsin, Madison.Larus has been an active contributor to numerous communities. He published over 100 papers (with 14 be
Christophe SalzmannExpertise
Real-time Internet ServicesReal-time controlQuality of Service and Bandwidth adaptationLabVIEW
Education PhD | Remote experimentation, Network 2005 – 2005 EPFL Directed by Denis Gillet MS. Degree | Computer Science 1999 – 1999 University of Florida Directed by Prof. H. Latchman
Teaching & PhD Past EPFL PhD Students as codirector Damien Perritaz, Evgeny Bogdanov, Wissam Halimi Courses Control systems + TP ME
Arman MaghsoudniaEducation Electrical Engineering | 2018 – 2023 Sharif University of Technology
Teaching & PhDCOM-405 | Mobile networks This course provides a detailed description of the organization and operating principles of mobile and wireless communication networks, as well as the use of wireless signals for sensing and imaging.COM-304 | Intelligent systems: communications & AI The course teaches the development of systems that solve real-world challenges in communications, signal processing, foundati
Dan Mihai DumitriuI was born in Bucharest, raised in Romania and and the USA, and educated at Cornell University, from where I received a BA (1998) and an MEng (1999) in Computer science. I have led technical teams at various technology companies over the years including several startups and a couple of larger firms such as Sony Electronics and Amazon.com.I am currently (again) a PhD student in the School of Computer and Communication Sciences at the École Polytechnique Fédérale de Lausanne in the Operating Systems Laborator
Olivier MartinOlivier J.F. Martin received the M.Sc. and Ph.D. degrees in physics in 1989 and 1994, respectively, from the Swiss Federal Institute of Technology, Lausanne (EPFL), Switzerland. In 1989, he joined IBM Zurich Research Laboratory, where he investigated thermal and optical properties of semiconductor laser diodes. Between 1994 and 1997 he was a research staff member at the Swiss Federal Institute of Technology, Zurich (ETHZ). In 1997 he received a Lecturer fellowship from the Swiss National Science Foundation (SNSF). During the period 1996-1999, he spent a year and a half in the U.S.A., as invited scientist at the University of California in San Diego (UCSD). In 2001 he received a Professorship grant from the SNSF and became Professor of Nano-Optics at the ETHZ. In 2003, he was appointed Professor of Nanophotonics and Optical Signal Processing at the Swiss Federal Institute of Technology, Lausanne (EPFL), where he is currently head of the Nanophotonics and Metrology Laboratory and Director of the Microengineering Section.
François MaréchalPh D. in engineering Chemical process engineer
Researcher and lecturer in the field of computer aided process and energy systems engineering.
Lecturer in the mechanical engineering, electrical engineering and environmental sciences engineering in EPFL.
I'm responsible for the Minor in Energy of EPFL and I'm involved in 3 projects of the Competence Center in Energy and Mobility (2nd generation biofuel, Wood SOFC, and gas turbine development with CO2 mitigation) in which i'm contributing to the energy conversion system design and optimisation.
Short summary of my scientific carrer
After a graduation in chemical engineering from the University of Liège, I have obtained a Ph. D. from the University of Liège in the LASSC laboratory of Prof. Kalitventzeff (former president of the European working party on computer aided process engineering). This laboratory was one of the pioneering laboratory in the field of Computer Aided Process Engineering.
In the group of Professor Kalitventzeff, I have worked on the development and the applications of data reconciliation, process modelling and optimisation techniques in the chemical process industry, my experience ranges from nuclear power stations to chemical plants. In the LASSC, I have been responsible from the developments in the field of rational use of energy in the industry. My first research topic has been the methodological development of process integration techniques, combining the use of pinch based methods and of mathematical programming: e.g. for the design of multiperiod heat exchanger networks or Mixed integer non linear programming techniques for the optimal management of utility systems. Fronted with applications in the industry, my work then mainly concentrated on the optimal integration of utility systems considering not only the energy requirements but the cost of the energy requirements and the energy conversion systems. I developed methods for analysing and integrating the utility system, the steam networks, combustion (including waste fuel), gas turbines or other advanced energy conversion systems (cogeneration, refrigeration and heat). The techniques applied uses operation research tools like mixed integer linear programming and exergy analysis. In order to evaluate the results of the utility integration, a new graphical method for representing the integration of the utility systems has been developed. By the use of MILP techniques, the method developed for the utility integration has been extended to handled site scale problems, to incorporate environmental constraints and reduce the water usage. This method (the Effect Modelling and Optimisation method) has been successfully applied to the chemical plants industry, the pulp and paper industry and the power plant. Instead of focusing on academic problems, I mainly developed my research based on industrial applications that lead to valuable and applicable patented results. Recently the methods developed have been extended to realise the thermoeconomic optimisation of integrated systems like fuel cells. My present R&D work concerns the application of multi-objective optimisation strategies in the design of processes and integrated energy conversion systems.
Since 2001, Im working in the Industrial Energy Systems Laboratory (LENI) of Ecole Polytechnique fédérale de Lausanne (EPFL) where Im leading the R&D activities in the field of Computer Aided Analysis and Design of Industrial Energy Systems with a major focus on sustainable energy conversion system development using thermo-economic optimisation methodologies. A part from the application and the development of process integration techniques, that remains my major field of expertise, the applications concern :
Rational use of water and energy in Industrial processes and industrial production sites : projects with NESTLE, EDF, VEOLIA and Borregaard (pulp and paper).Energy conversion and process design : biofuels from waste biomass (with GASNAT, EGO and PSI), water dessalination and waste water treatment plant (VEOLIA), power plant design (ALSTOM), Energy conversion from geothermal sources (BFE). Integrated energy systems in urban areas : together with SCANE and SIG (GE) and IEA annexe 42 for micro-cogeneration systems.
I as well contributed to the definition of the 2000 Watt society and to studies concerning the emergence of green technologies on the market in the frame of the Alliance for Global Sustainability.
