Friedrich EisenbrandFriedrich 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.
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.
Maryna ViazovskaMaryna Viazovska did her bachelor studies at the Kyiv National Taras ShevchenkoUniversity and completed her MSc at the Technical University Kaiserslautern.She obtained her PhD in 2013 in Bonn.She was a postdoctoral researcher at the Institut des Hautes Etudes Scientifiquesand at the Humboldt University of Berlin, and in 2017 was a Minerva DistinguishedVisitor at Princeton University. She joined EPFL in 2017 as Tenure-Track AssistantProfessor and was promoted Full Professor in 2018.
Mohammad Amin ShokrollahiAmin Shokrollahi has worked on a variety of topics, including coding theory, computational number theory and algebra, and computational/algebraic complexity theory. He is best known for his work on iterative decoding algorithms of graph based codes, an area in which he holds a number of granted and pending patents. He is the co-inventor of Tornado codes, and the inventor of Raptor codes. His codes have been standardized and successfully deployed in practical areas dealing with data transmission over lossy networks.
Prior to joining EPFL, Amin Shokrollahi has held positions as the chief scientist of Digital Fountain, member of the technical staff at Bell Laboratories, senior researcher at the International Computer Science Insitute in Berkeley, and assistant professor at the department of computer science of the university of Bonn. He is a Fellow of the IEEE, and he was awarded the Best Paper Award of the IEEE IT Society in 2002 for his work on iterative decoding of LDPC code, the IEEE Eric Sumner Award in 2007 for the development of Fountain Codes, and the joint Communication Society/Information Theory Society best paper award of 2007 for his paper on Raptor Codes.
Dominique de WerraNé en1942, Dominique de Werra est ingénieur-physicien et docteur ès sciences techniques de l'EPFL. De 1969 à 1971, il a été professeur au département de sciences du management à l'Université de Waterloo (Canada); il a été professeur invité dans diverses Hautes Ecoles européennes (dont le CNAM et lENSTA) et américaines. Entre 1971 et 2007, il a été professeur de recherche opérationnelle à l'EPFL. Il a été vice-président de cette institution et directeur de la formation de 1990 à 2000. Il a ensuite été doyen des relations internationales.
Ses recherches portent sur les mathématiques discrètes (optimisation combinatoire, théorie des graphes, algorithmique, etc.) et leurs applications aux systèmes industriels et informatiques en particulier en productique, distributique, énergétique et ordonnancement.
Il a été membre du Conseil dOrientation Stratégique des Ecoles des Mines entre 2001 et 2007.Il a dautre part fait partie de divers comités dévaluation et daccréditation des universités en Europe et en Amérique.
En 1987-1988, il a présidé l'association EURO qui regroupe les sociétés nationales de recherche opérationnelle en Europe et de 2010 à 2012 la Fédération IFORS qui est lorganisme faîtier au niveau mondial. Il est docteur h.c. de l'Université de Paris, de l'Ecole polytechnique de Poznan (Pologne), de lUniversité de Fribourg et lauréat de la médaille d'or européenne (EURO) de recherche opérationnelle en 1995 ainsi que de la EURO Distinguished Service Medal en 2012.
Il est éditeur associé de divers journaux dont en particulier Discrete Applied Mathematics, Discrete Optimization.
