Concept
Complete Boolean algebra
Personnes associées (15)
Viktor Kuncak
Viktor 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.
Michael Graetzel
Professor 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.
Mohammad Khaja Nazeeruddin
Dr. 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.
Patrick Thiran
Patrick Thiran is a full professor in network and systems theory at the School of Computer and Communication Sciences at EPFL. He holds an electrical engineering degree from the Université Catholique de Louvain, Louvain-la-Neuve, Belgium, an M.Sc. degree in electrical engineering from the University of California at Berkeley, USA, and he received the PhD degree from EPFL, in 1996. He became an adjunct professor in 1998, an assistant professor in 2002, an associate professor in 2006 and a full professor in 2011. He was with Sprint Advanced Technology Labs in Burlingame, California, in 2000-01.
His research interests are in communication and social networks, performance analysis and stochastic models. He is currently active in the analysis and design of wireless and PLC networks (scaling laws, medium access control), in network monitoring (network tomography, multi-layer networks), and data-driven network science. He also contributed to network calculus and to the theory of locally coupled neural networks and self-organizing maps.
He served as an associate editor for the IEEE Transactions on Circuits and Systems in 1997-99 and for the IEEE/ACM Transactions on Networking in 2006-10. He is currently on the editorial board of the IEEE Journal on Selected Areas in Communication. He is/was on the program committee of different conferences in networking, including ACM Sigcomm, Sigmetrics, IMC, CoNext and IEEE Infocom. He was TPC chair of AMC IMC 2011 and CoNext 2012. He is a Fellow of the Belgian American Educational Foundation and of the IEEE. He received the 1996 EPFL Doctoral Prize and the 2008 Crédit Suisse Teaching Award.