Concept
Data-flow analysis
Related people (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
Prof. François Avellan, director of the EPFL Laboratory for Hydraulic Machines, graduated in Hydraulic Engineering from Ecole nationale supérieure d'hydraulique, Institut national polytechnique de Grenoble, France, in 1977 and, in 1980, got his doctoral degree in engineering from University of Aix-Marseille II, France. Research associate at EPFL in 1980, he is director of the EPFL Laboratory for Hydraulic Machines since 1994 and, in 2003, was appointed Ordinary Professor in Hydraulic Machinery. Supervising 37 EPFL doctoral theses, he was distinguished by SHF, Société hydrotechnique de France, awarding him the "Grand Prix 2010 de l'hydrotechnique". His main research domains of interests are hydrodynamics of turbine, pump and pump-turbines including cavitation, hydro-acoustics, design, performance and operation assessments of hydraulic machines. Prof. Avellan was Chairman of the IAHR Section on Hydraulic Machinery and Systems from 2002 to 2012. He has conducted successfully several Swiss and international collaborative research projects, involving key hydropower operators and suppliers, such as:
- Coordination for the FP7 European project n° 608532 "HYPERBOLE: HYdropower plants PERformance and flexiBle Operation towards Lean integration of new renewable Energies" (2013-2017);
- Deputy Head of the Swiss Competence Center for Energy Research – Supply of Electricity (SCCER-SoE) to carry out innovative and sustainable research in the areas of geo-energy and hydropower for phase I (2013-2016) and Phase II (2017, 2010) to be approved.
- EUREKA European research projects: N° 4150 and N° 3246, "HYDRODYNA, Harnessing the dynamic behavior of pump-turbines", (2003-2011), N° 1605, "FLINDT, Flow Investigation in Draft Tubes", http://flindt.epfl.ch/, (1997-2002). N° 2418, "SCAPIN, Stability of Operation of Francis turbines, prediction and modeling";
- Swiss KTI/CTI research projects with GE Renewable Energy (anc. ALSTOM Hydro), Birr, ANDRITZ Hydro, Kriens, FMV, Sion, Groupe E, Granges-Paccot, Power Vision engineering, Ecublens and SULZER Pumps, Winterthur.
- ETH Domain, HYDRONET Project for the Competence Center Energy and Mobility, 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.