Category
Theory of computation
Related people (33)
Colin Neil Jones
Colin Jones is an Associate Professor in the Automatic Control Laboratory at the Ecole Polytechnique Federale de Lausanne (EPFL) in Switzerland. He was a Senior Researcher at the Automatic Control Lab at ETH Zurich until 2011 and obtained a PhD in 2005 from the University of Cambridge for his work on polyhedral computational methods for constrained control. Prior to that, he was at the University of British Columbia in Canada, where he took a BASc and MASc in Electrical Engineering and Mathematics. Colin has worked in a variety of industrial roles, ranging from commercial building control to the development of custom optimization tools focusing on retail human resource scheduling. His current research interests are in the theory and computation of predictive control and optimization, and their application to green energy generation, distribution and management.
Ali H. Sayed
Ali H. Sayed is Dean of Engineering at EPFL, Switzerland, where he also leads the Adaptive Systems Laboratory. He has also served as Distinguished Professor and Chairman of Electrical Engineering at UCLA. He is recognized as a Highly Cited Researcher and is a member of the US National Academy of Engineering. He is also a member of the World Academy of Sciences and served as President of the IEEE Signal Processing Society during 2018 and 2019.
Dr. Sayed is an author/co-author of over 570 scholarly publications and six books. His research involves several areas
including adaptation and learning theories, data and network sciences, statistical inference, and multiagent systems.
His work has been recognized with several major awards including the 2022 IEEE Fourier Award, the 2020 Norbert Wiener Society Award and the 2015 Education Award from the IEEE Signal Processing Society, the 2014 Papoulis Award from the European Association for Signal Processing, the 2013 Meritorious Service Award and the 2012 Technical Achievement Award from the IEEE Signal Processing Society, the 2005 Terman Award from the American Society for Engineering Education, the 2005 Distinguished Lecturer from the IEEE Signal Processing Society, the 2003 Kuwait Prize, and the 1996 IEEE Donald G. Fink Prize. His publications have been awarded several Best Paper Awards from the IEEE (2002, 2005, 2012, 2014) and EURASIP (2015). He is a Fellow of IEEE, EURASIP, and the American Association for the Advancement of Science (AAAS); the publisher of the journal Science.
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.
Vincenzo Savona
Vincenzo Savona studied physics in Pisa at the Scuola Normale Superiore and the University of Pisa, prior to completing his PhD at the EPFL's Institute of Theoretical Physics. Subsequently he did post-doctoral work, first at the EPFL and then in the physics department of the Humboldt University of Berlin. In 2002, he returned to the EPFL to create his own research group, receiving a "professeur boursier" fellowship from the Swiss National Science Foundation. In 2006, he was appointed tenure-track assistant professor at the EPFL and joined the NCCR for Quantum Photonics. In 2010 he was appointed associate professor. Currently he directs the Laboratory of Theoretical Physics of Nanosystems.
Friedrich Eisenbrand
Friedrich Eisenbrand's main research interests lie in the field of discrete optimization, in particular in algorithms and complexity, integer programming, geometry of numbers, and applied optimization. He is best known for his work on efficient algorithms for integer programming in fixed dimension and the theory of cutting planes, which are an important tool to solve large scale industrial optimization problems in practice.
Before joining EPFL in March 2008, Friedrich Eisenbrand was a full professor of mathematics at the University of Paderborn. Friedrich received the Heinz Maier-Leibnitz award of the German Research Foundation (DFG) in 2004 and the Otto Hahn medal of the Max Planck Society in 2001.
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.
Pasquale Scarlino
I obtained my master's degree in Physics at the University of Salento, Lecce (Italy) in February 2011. During 2006-2011, I have also been a student of Scuola Superiore ISUFI (SSI). SSI is one of six schools of excellence established in Italy to develop the intellectual capital in technological and social sciences. I conducted an external Master thesis project during an 8 months internship in the Quantum Transport Group at TU Delft, under the supervision of Prof. L.M.K. Vandersypen. There, I implemented the Quantum Point Contact Radio-Frequency Reflectometry technique, which allows increasing the single-shot electron spin readout bandwidth and is currently routinely used in the group.I obtained my Ph.D. degree in February 2016, in the Spin Qubits group of Prof. L.M.K. Vandersypen at the Kavli Institute of Nanoscience-Qutech (TU Delft). During my Ph.D. I have been leading the Si/SiGe spin qubits project, collaborating with the M. Eriksson Group at Wisconsin University. In parallel, I have been working on other different projects, in particular with GaAs depletion quantum dots, high impedance superconducting resonators, and surface acoustic wave resonators. I have been working as a Postdoc fellow in the group of Prof. A. Wallraff (Quantum Device Lab) at ETH Zurich. My main project, in collaboration with the group of Prof. K. Ensslin and Prof. T. Ihn, consisted in integrating semiconductor and superconductor technologies. Realizing a well-controlled interface between the semiconductor and superconductor-based quantum information technologies may allow harnessing the best of both device architectures, for example by providing an interface between strongly coupled charge state and high coherence spin states. Furthermore, it enables the possibility to explore light/matter hybridization in a class of solid-state systems and regimes that are new in the context of quantum optics.From June 2019 till September 2020, I have been a Senior Researcher at Microsoft Station Q Copenhagen and at the Center for Quantum Devices in Copenhagen, focusing on developing semiconductor-superconducting hybrid hardware for topologically protected quantum computation.Since October 2020, I am a tenure track Assistant Professor of Physics in the School of Basic Sciences at the EPFL where I founded the Hybrid Quantum Circuit (HQC) laboratory.
Serge Vaudenay
Serge Vaudenay entered at the Ecole Normale Supérieure in 1989 with a major in mathematics. He earned his agrégation (secondary teaching degree) in mathematics in 1992, then a PhD in Computer Science at the University of Paris 7 - Denis Diderot in 1995. He subsequently became a senior research fellow at the CNRS, prior to being granted his habilitation à diriger des recherches (a postdoctoral degree authorizing the recipient to supervise doctoral students). In 1999, he was appointed as a Professor at the EPFL, where he created the Security and Cryptography Laboratory.