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.
Colin Neil JonesColin 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.
Alfio QuarteroniOf italian nationality, Alfio Quarteroni was born on May 30th 1952. He pursued his studies in mathematics at University of Pavia and at University of Paris VI. In 1986 he was nominated full professor at Catholic University of Brescia, later professor in mathematics at University of Minnesota at Minneapolis and professor in numerical analysis at Politecnico di Milano. He is designated full professor in 1997 and enters into service with EPFL in 1998. At EPFL, he teaches numerical analysis to engineers and mathematicians and holds specialized courses about mathematical modelling and scientific computing for master and PhD students. He had been scientific director of CRS4, plenary speaker of more than two hundred international conferences; he is member of the European Academy of Sciences, the Italian Academy of Sciences, the Lombard Academy of Science and Letters. He is Editor in Chief of two book series (MS&A and Unitext) by Springer, associate editor of 25 international journals. He has been plenary speaker at the International Congress of Mathematicians ICM2006. He had been responsible of several European research networks. His team has carried out the aerodynamic and hydrodynamic simulations for the optimization of Alinghi, the Swiss sailing yacht that has won two editions of the America's Cup in 2003 and 2007.
Tudor RatiuCitoyen des Etats-Unis, Tudor Ratiu est né en 1950 à Timisoara, Roumanie. Il a obtenu un diplôme en mathématiques en 1973 ainsi qu'un diplôme de maîtrise en mathématiques appliquées en 1974 à l'Université de Timisoara. Pour des raisons politiques il lui est interdit de poursuivre ses études et en 1975 il est obligé de quitter son pays. En 1980 il obtient un doctorat à l'Université de Californie à Berkeley avec une thèse en mécanique géométrique et est nommé professeur assistant de recherche T.H. Hildebrandt à l'Université de Michigan, Ann Arbor.
En 1983 il rejoint l'Université d'Arizona, Tucson, comme professeur associé et en 1987 l'Université de Californie, Santa Cruz, ou il est nommé professeur ordinaire en 1988. Il lui a été décerné une bourse postdoctorale du Fonds national scientifique américain, une bourse de la fondation A.P. Sloan, la chaire de recherche professoriale Miller à Berkeley, une bourse Fulbright et le prix allemand A. von Humboldt. Il a été professeur et chercheur invité dans plusieurs départements et instituts de recherche mathématiques du monde.
Les thèmes principaux de sa recherche sont l'analyse globale, la mécanique des fluides et du plasma, la dynamique hamiltonienne, la mécanique géométrique, la géométrie symplectique et de Poisson, la théorie de bifurcations et l'étude des systèmes complètement intégrables. Ses travaux concernent l'aspect mathématique de ces problèmes ainsi que leurs applications en physique et les sciences d'ingénieur. Il est auteur, en collaboration, de plusieurs livres de spécialité.
En 1997 il est nommé professeur ordinaire en analyse au Département de mathématiques et entre en fonction en juillet 1998.
Touradj EbrahimiTouradj EBRAHIMI received his M.Sc. and Ph.D., both in Electrical Engineering, from the Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland, in 1989 and 1992 respectively. In 1993, he was a research engineer at the Corporate Research Laboratories of Sony Corporation in Tokyo, where he conducted research on advanced video compression techniques for storage applications. In 1994, he served as a research consultant at AT&T Bell Laboratories working on very low bitrate video coding. He is currently Professor at EPFL heading its Multimedia Signal Processing Group. He is also the Convenor of JPEG standardization Committee. He was also adjunct Professor with the Center of Quantifiable Quality of Service at Norwegian University of Science and Technology (NTNU)from 2008 to 2012.
Prof. Ebrahimi has been the recipient of various distinctions and awards, such as the IEEE and Swiss national ASE award, the SNF-PROFILE grant for advanced researchers, Four ISO-Certificates for key contributions to MPEG-4 and JPEG 2000, and the best paper award of IEEE Trans. on Consumer Electronics . He became a Fellow of the international society for optical engineering (SPIE) in 2003. Prof. Ebrahimi has initiated more than two dozen National, European and International cooperation projects with leading companies and research institutes around the world. He is a co-founder of Genista SA, a high-tech start-up company in the field of multimedia quality metrics. In 2002, he founded Emitall SA, start-up active in the area of media security and surveillance. In 2005, he founded EMITALL Surveillance SA, a start-up active in the field of privacy and protection. He is or has been associate Editor with various IEEE, SPIE, and EURASIP journals, such as IEEE Signal Processing Magazine, IEEE Trans. on Image Processing, IEEE Trans. on Multimedia, EURASIP Image Communication Journal, EURASIP Journal of Applied Signal Processing, SPIE Optical Engineering Magazine. Prof. Ebrahimi is a member of Scientific Advisory Board of various start-up and established companies in the general field of Information Technology. He has served as Scientific Expert and Evaluator for Research Funding Agencies such as those of European Commission, The Greek Ministry of Development, The Austrian National Foundation for Scientific Research, The Portuguese Science Foundation, as well as a number of Venture Capital Companies active in the field of Information Technologies and Communication Systems. His research interests include still, moving, and 3D image processing and coding, visual information security (rights protection, watermarking, authentication, data integrity, steganography), new media, and human computer interfaces (smart vision, brain computer interface).
He is the author or the co-author of more than 200 research publications, and holds 14 patents. Prof. Ebrahimi is a member of IEEE, SPIE, ACM and IS&T.
See the URL below for more details:
http://mmspl.epfl.ch David Andrew BarryResearch InterestsSubsurface hydrology, constructed wetlands, ecological engineering, in particular contaminant transport and remediation of soil and groundwater; more generally, models of hydrological and vadose zone processes; application of mathematical methods to hydrological processes; coastal zone sediment transport, aquifer-coastal ocean interactions; hydrodynamics and modelling of lakes.
Ian SmithPhD, Cambridge University, 1982 Interests 1 Active shape control for structures for deployment and where serviceability criteria governs 2 Biomimetic structures (learning, self-diagnosis, self-repair) 3 Infrastructure management support through structural identification 4 Advanced computer-aided engineering applications of stochastic optimization and search, multi-criteria analysis, system uncertainties (measurement and modelling), multi-modal approaches (combining statistics with behavior models) More details : see https://www.epfl.ch/labs/imac/research/iansmith/ Kathryn Hess BellwaldKathryn Hess Bellwald received her PhD from MIT in 1989 and held positions at the universities of Stockholm, Nice, and Toronto before moving to the EPFL.Her research focuses on algebraic topology and its applications, primarily in the life sciences, but also in materials science. She has published extensively on topics in pure algebraic topology including homotopy theory, operad theory, and algebraic K-theory. On the applied side, she has elaborated methods based on topological data analysis for high-throughput screening of nanoporous crystalline materials, classification and synthesis of neuron morphologies, and classification of neuronal network dynamics. She has also developed and applied innovative topological approaches to network theory, leading to a powerful, parameter-free mathematical framework relating the activity of a neural network to its underlying structure, both locally and globally.In 2016 she was elected to Swiss Academy of Engineering Sciences and was named a fellow of the American Mathematical Society and a distinguished speaker of the European Mathematical Society in 2017. In 2021 she gave an invited Public Lecture at the European Congress of Mathematicians. She has won several teaching prizes at EPFL, including the Crédit Suisse teaching prize and the Polysphère d’Or.
