Concept
Polynomial greatest common divisor
Personnes associées (11)
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.
Thomas Liebling
Originaire de Greifensee (ZH), Thomas M. Liebling est né à La Paz (Bolivie) en 1942. Il obtient un diplôme d'ingénieur électricien, le titre de docteur et l'habilitation en mathématiques à l'EPFZ. Il est lauréat du Prix et de la Médaille de l'ETH, ainsi que du Prix Biennial de la Science de la GOR.
Après des séjours aux USA comme chercheur et professeur, notamment aux universités de Stanford et au Rensselaer Polytechnic Institute il entre à l'EPFL en 1980, en tant que professeur au Département de mathématiques. Il dirige le ROSO, un groupe formé d'une douzaine de collaborateurs se vouant à la modélisation, simulation et optimisation de systèmes physiques, biologiques, techniques et économiques, en particulier aux applications en logistique et productique.
Membre de 107 jurys de thèse de doctorat et habilitations, il en a été directeur de 39. En outre il a dirigé quelque 150 thèses de master et 350 projets de semestre.
Durant dix ans il est un des responsables du cours postgrade en informatique technique. Il dirige le cours doctoral en optimisation discrete organisé conjointement avec les Universités de Grenoble, Louvain-la-Neuve et Cologne. Il a présidé la Commission informatique de l'EPFL et le Conseil PHP, ainsi que de la Conférence des chefs de département. Chargé de créer le Prix EPFL des doctorats, il en préside le jury. Durant cinq ans il préside la commission de recherche de l'EPFL.
Auteur et coauteur de plusieurs ouvrages et de quelque 200 d'articles scientifiques, il a fonctionné comme Editeur départemental de Management Science, et Editeur associé notamment de Operations Research, Operations Research Letters, Mathematical Programming, Discrete Optimzatio. Il est membre du conseil scientifique du Konrad-Zuse-Zentrum. Il est membre individuel dela SATW, l'académie suisse des sciences techniques. Il a préside le Tucker Prize Committee de la Société Internationale de Programmation Mathématique, ainsi que le Symposium Advisory Committee. De 2003 à 2008 il est membre du Comité du Conseil de Fondation du Fonds National Suisse de la Recherche Scientifique.
Mohammad Amin Shokrollahi
Amin 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.
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.
Dominique de Werra
Né 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.