Concept
Data-flow analysis
Personnes associées (13)
Mathias Josef Payer
Mathias Payer is a security researcher and professor at the EPFL school of computer and communication sciences (IC), leading the HexHive group. His research focuses on protecting applications in the presence of vulnerabilities, with a focus on memory corruption and type violations. He is interested in software security, system security, binary exploitation, effective mitigations, fault isolation/privilege separation, strong sanitization, and software testing (fuzzing) using a combination of binary analysis and compiler-based techniques. More details are available in his CV.
François Avellan
Le professeur François Avellan, directeur du Laboratoire de machines hydrauliques de l'EPFL, est Ingénieur hydraulicien diplômé en 1977 de l'Ecole nationale supérieure d'hydraulique, Institut national polytechnique de Grenoble, France. En 1980, il obtient, son titre de docteur ingénieur de l'Université d'Aix-Marseille II, France. Engagé à l'EPFL en 1980 en tant qu'adjoint scientifique, il est depuis 1994 directeur du Laboratoire de machines hydrauliques de l'EPFL et il a été nommé en 2003 professeur ordinaire en machines hydrauliques.
Directeur de 37 thèses de doctorat de l'EPFL, il a été distingué par la Société hydrotechnique de France qui lui a décerné son "Grand Prix 2010 de l'hydrotechnique". Son activité de recherche est centrée sur l'hydrodynamique des turbomachines, pompes et pompes-turbines incluant en particulier les domaines de la cavitation, l'hydroacoustique, les interactions fluide-structure, la conception et l'évaluation des performances des machines hydrauliques et systèmes associés.
De 2002 à 2012, le Professeur Avellan a présidé la section machines hydrauliques et systèmes de l'Association internationale de recherche hydraulique, AIRH. Le Professeur François Avellan a dirigé avec succès plusieurs projets de recherche aussi bien suisses qu'internationaux en partenariat avec les principaux acteurs industriels et exploitants du secteur hydro-électrique, parmi ces projet-on peut citer notamment:
- Coordination du projet de recherche FP7 n° 608532 "HYPERBOLE: HYdropower plants PERformance and flexiBle Operation towards Lean integration of new renewable Energies" (2013-2017);
- Directeur adjoint du pole Suisse de compétence en recherche énergétique – approvisionnement électrique (SCCER-SoE) pour développer une recherche innovante et pérenne dans le domaine des géo-énergies et de l'hydro-électricité pour la phase I (2013-2016) et la Phase II (2017, 2010).
- Projets de recherche EUREKA: N° 4150 et N° 3246, "HYDRODYNA, Harnessing the dynamic behavior of pump-turbines", (2003-2011), N° 1605, "FLINDT, Flow Investigation in Draft Tubes", (1997-2002). N° 2418, "SCAPIN, Stability of Operation of Francis turbines, prediction and modeling";
- Projets de recherche de la Commission pour la technologie et l'innovation, CTI, avec GE Renewable Energy (anc. ALSTOM Hydro), Birr, ANDRITZ Hydro, Kriens, FMV, Sion, Groupe E, Granges-Paccot, Power Vision engineering, Ecublens et SULZER Pompes, Winterthur.
- Domaine des EPF, Projet HYDRONET du Centre de Compétence énergie et mobilité, PSI Villingen.
Christophe Ancey
Christophe Ancey has both a PhD and an engineering degree granted by the Ecole Centrale de Paris and the Grenoble National Polytechnic Institute. Trained as a hydraulics engineer, he did his doctoral work under the supervision of Pierre Evesque from 1994 to 1997 on rheology of granular flows in simple shearing. He was recruited in 1998 as a researcher in rheology at the Cemagref as part of the Erosion Protection team directed by Jean-Pierre Feuvrier, which has since become the laboratoire "Storm Erosion, Snow and Avalanche Laboratory". Parallel to this research activity, with Claude Charlier He set up a consulting firm for engineering contracting called Toraval (www.toraval.fr), which has become the major player in the avalanche field in France. Since 2004, He is a fluid-mechanics professor at EPFL and he is the director of the Environmental Hydraulics Laboratory.
He is associate editor of Water Resources Research, one of the leading journal in the field.
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.
Alfred Rufer
Originaire de Diessbach (BE), Alfred Rufer est né en 1951. Il obtient en 1976 le diplôme d'ingénieur électricien de l'EPFL et poursuit son activité dans le même établissement en tant qu'assistant à la chaire d'électronique industrielle. En 1993, il est nommé professeur-assistant au Laboratoire d'électronique industrielle. Au début 1996, il est nommé professeur extraordinaire. En 1978, il débute son activité dans l'industrie de l'électronique de grande puissance à la société ABB, Asea Brown Boveri à Turgi, où il contribue au développement d'entraînements réglés à fréquence variable. Dès 1985, il exerce la fonction d'assistant technique et de chef de groupe. De 1988 à 1991, il poursuit le développement de nouveaux systèmes d'électronique de puissance dans différents domaines d'application. A. Rufer est l'auteur et co-auteur de plusieurs demandes de brevet, ainsi que de plusieurs publications. De 1991 à 1992, il est chef d'un département de développement d'appareils d'électronique de réglage et de commande pour l'électronique de puissance. Durant son activité professionnelle dans l'industrie, il participe activement à l'enseignement technique dans plusieurs écoles d'ingénieurs.