Concept
Intuitionistic type theory
Related people (31)
Martin Odersky
Martin 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.
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.
Michel Bierlaire
Born in 1967, Michel Bierlaire holds a PhD in Mathematical Sciences from the Facultés Universitaires Notre-Dame de la Paix, Namur, Belgium (University of Namur). Between 1995 and 1998, he was research associate and project manager at the Intelligent Transportation Systems Program of the Massachusetts Institute of Technology (Cambridge, Ma, USA). Between 1998 and 2006, he was a junior faculty in the Operations Research group ROSO within the Institute of Mathematics at EPFL. In 2006, he was appointed associate professor in the School of Architecture, Civil and Environmental Engineering at EPFL, where he became the director of the Transport and Mobility laboratory. Since 2009, he is the director of TraCE, the Transportation Center. From 2009 to 2017, he was the director of Doctoral Program in Civil and Environmental Engineering at EPFL. In 2012, he was appointed full professor at EPFL. Since September 2017, he is the head of the Civil Engineering Institute at EPFL. His main expertise is in the design, development and applications of models and algorithms for the design, analysis and management of transportation systems. Namely, he has been active in demand modeling (discrete choice models, estimation of origin-destination matrices), operations research (scheduling, assignment, etc.) and Dynamic Traffic Management Systems. As of August 2021, he has published 136 papers in international journals, 4 books, 41 book chapters, 193 articles in conference proceedings, 182 technical reports, and has given 195 scientific seminars. His Google Scholar h-index is 68. He is the founder, organizer and lecturer of the EPFL Advanced Continuing Education Course "Discrete Choice Analysis: Predicting Demand and Market Shares". He is the founder of hEART: the European Association for Research in Transportation. He was the founding Editor-in-Chief of the EURO Journal on Transportation and Logistics, from 2011 to 2019. He is an Associate Editor of Operations Research. He is the editor of two special issues for the journal Transportation Research Part C. He has been member of the Editorial Advisory Board (EAB) of Transportation Research Part B since 1995, of Transportation Research Part C since January 1, 2006.
Marilyne Andersen
Marilyne Andersen is a Full Professor of Sustainable Construction Technologies and heads the Laboratory of Integrated Performance in Design (LIPID) that she launched in the Fall of 2010. She was Dean of the School of Architecture, Civil and Environmental Engineering (ENAC) at EPFL from 2013 to 2018 and is the Academic Director of the Smart Living Lab in Fribourg. She also co-leads the Student Kreativity and Innovation Laboratory (SKIL) at ENAC. Before joining EPFL as a faculty, she was an Assistant Professor then Associate Professor tenure-track in the Building Technology Group of the MIT School of Architecture and Planning and the Head of the MIT Daylighting Lab that she founded in 2004. She has also been Invited Professor at the Singapore University of Technology and Design in 2019. Marilyne Andersen owns a Master of Science in Physics and specialized in daylighting through her PhD in Building Physics at EPFL in the Solar Energy and Building Physics Laboratory (LESO) and as a Visiting Scholar in the Building Technologies Department of the Lawrence Berkeley National Laboratory in California. Her research lies at the interface between science, engineering and architectural design with a dedicated emphasis on the impact of daylight on building occupants. Focused on questions of comfort, perception and health and their implications on energy considerations, these research efforts aim towards a deeper integration of the design process with daylighting performance and indoor comfort, by reaching out to various fields of science, from chronobiology and neuroscience to psychophysics and computer graphics. She is leveraging this research in practice through OCULIGHT dynamics, a startup company she co-founded, which offers specialized consulting services on daylight performance and its psycho-physiological effects on building occupants. She is the author of more than 200 papers published in peer-reviewed journals and international conferences and the recipient of several grants and awards including: the Daylight Award for Research (2016), eleven publication awards and distinctions (2009, 2011, 2012, 2015, 2018, 2019) including the Taylor Technical Talent Award 2009 granted by the Illuminating Engineering Society, the 3M Non-Tenured Faculty Grant (2009), the Mitsui Career Development Professorship at MIT (2008) and the EPFL prize of the Chorafas Foundation awarded to her PhD thesis in Sustainability (2005). Her research or teaching has been supported by professional, institutional and industrial organizations such as: the Swiss and the U.S. National Science Foundations, the Velux Foundation, the European Horizon 2020 program, the Boston Society of Architects, the MIT Energy Initiative and InnoSuisse. She was the leader and faculty advisor of the Swiss Team and its NeighborHub project, who won the U.S. Solar Decathlon 2017 competition with 8 podiums out of 10 contests. She is a member of the Board of the LafargeHolcim Foundation for Sustainable Construction and Head of its Academic Committee. She is also a member of the Editorial Board of the journal Building and Environment by Elsevier, and of the journals LEUKOS (of the Illuminating Engineering Society) and Buildings and Cities, by Taylor and Francis. She is expert to the Innovation Council of InnoSuisse and Founding member as well as Board member of the Foundation Culture du Bâti (CUB), and is also founding member of the Daylight Academy and an active member of several committees of the Illuminating Engineering Society (IES) and International Commission on Illumination (CIE).
Rachid Guerraoui
Rachid Guerraoui has been affiliated with Ecole des Mines of Paris, the Commissariat à l'Energie Atomique of Saclay, Hewlett Packard Laboratories and the Massachusetts Institute of Technology. He has worked in a variety of aspects of distributed computing, including distributed algorithms and distributed programming languages. He is most well known for his work on (e-)Transactions, epidemic information dissemination and indulgent algorithms.
He co-authored a book on Transactional Systems (Hermes) and a book on reliable distributed programming (Springer). He was appointed program chair of ECOOP 1999, ACM Middleware 2001, IEEE SRDS 2002, DISC 2004 and ACM PODC 2010.
His publications are available at http://lpdwww.epfl.ch/rachid/papers/generalPublis.html