Guillaume AnciauxResearchResearch Topics My research can be decomposed in three main blocks:First, the main goal of my current research is the physical description of contact interactions. I performed numerous studies of this topic using different models from the continuum scale down to atomistic scale. Since atomic phenomena and macroscopic observations are linked, the physics of contact needs the simultaneous consideration of several scales. For instance, plasticity is a theory defined for the macroscopic scale whereas t
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.
Vassily HatzimanikatisDr. Vassily Hatzimanikatis is currently Associate Professor of Chemical Engineering and Bioengineering at Ecole Polytechnique Federale de Lausanne (EPFL), in Lausanne, Switzerland. Vassily received a PhD and an MS in Chemical Engineering from the California Institute of Technology, and his Diploma in Chemical Engineering from the University of Patras, in Greece. After the completion of his doctoral studies, he held a research group leader position at the Swiss Federal Institute of Technology in Zurich (ETHZ), Switzerland. Prior to joining EPFL, Vassily worked for three years in DuPont, Cargill, and Cargill Dow, and he has been assistant professor at Northwestern University, at Illinois, USA.
Vassilys research interests are in the areas of computational systems biology, biotechnology, and complexity. He is associate editor of the journals Biotechnology & Bioengineering, Metabolic Engineering and Integrative Biology, and he serves on the editorial advisory board of the journals Bioprocess and Biosystems Engineering, Journal of Chemical Technology and Biotechnology, and Industrial Biotechnology. He has written over 70 technical publications and he is co-inventor in three patents and patent applications.
Vassily is a fellow of the American Institute for Medical and Biological Engineering (2010), he was a DuPont Young Professor (2001-2004), and he has also received the Jay Bailey Young Investigator Award in Metabolic Engineering (2000), and the ACS Elmar Gaden Award (2011).
Jean-François MolinariProfessor J.F. Molinari is the director of the Computational Solid Mechanics Laboratory (http://lsms.epfl.ch) at EPFL, Switzerland. He holds an appointment in the Civil Engineering institute, which he directed from 2013 to 2017, and a joint appointment in the Materials Science institute. He started his tenure at EPFL in 2007, and was promoted to Full Professor in 2012. He is currently an elected member of the Research Council of the Swiss National Science Foundation in Division 2 (Mathematics, Natural and Engineering Sciences), and co editor in chief of the journal Mechanics of Materials. J.F. Molinari graduated from Caltech, USA, in 2001, with a M.S. and Ph.D. in Aeronautics. He held professorships in several countries besides Switzerland, including the United States with a position in Mechanical Engineering at the Johns Hopkins University (2000-2006), and France at Ecole Normale Supérieure Cachan in Mechanics (2005-2007), as well as a Teaching Associate position at the Ecole Polytechnique de Paris (2006-2009). The work conducted by Prof. Molinari and his collaborators takes place at the frontier between traditional disciplines and covers several length scales from atomistic to macroscopic scales. Over the years, Professor Molinari and his group have been developing novel multiscale approaches for a seamless coupling across scales. The activities of the laboratory span the domains of damage mechanics of materials and structures, nano- and microstructural mechanical properties, and tribology. Etienne KneussCurrent work
My current research interests include the compilation of high-level specifications to recursive functions. I am also interested in static analysis techniques for functional and object oriented programs written in Scala. I have for instance investigated techniques to precisely and efficiently analyze memory side-effects in the presence of callbacks. I have also looked at static reasoning techniques for highly-dynamic languages such as PHP.
I received my Master in Computer Science with a speciali
Alessandra GriffaCurrent work
In recent years developments in graph theoretical analysis have been more and more applied to the study and characterization of both functional and structural brain networks. The human connectome has been characterized as a small-world, modular, hierarchical network, with few central nodes acting as connectors between local communities, and highly interconnected between them. This brain characterization is common to both structural and functional connectivity. Nevertheless the correlation betwe
Sandro CarraraSandro Carrara is an IEEE Fellow for his outstanding record of accomplishments in the field of design of nanoscale biological CMOS sensors. He is also the recipient of the IEEE Sensors Council Technical Achievement Award in 2016 for his leadership in the emerging area of co-design in Bio/Nano/CMOS interfaces. He is a Professor of the EPFL in Lausanne (Switzerland), and head of the "Bio/CMOS Interfaces" (BCI) research group. He is former professor of optical and electrical biosensors at the Department of Electrical Engineering and Biophysics (DIBE) of the University of Genoa (Italy) and former professor of nanobiotechnology at the University of Bologna (Italy). He holds a PhD in Biochemistry & Biophysics from University of Padua (Italy), a Master degree in Physics from University of Genoa (Italy), and a diploma in Electronics from National Institute of Technology in Albenga (Italy). His scientific interests are on electrical phenomena of nano-bio-structured films, and include CMOS design of biochips based on proteins and DNA. Along his carrier, he published 7 books, one as author with Springer on Bio/CMOS interfaces and, more recently, a Handbook of Bioelectronics with Cambridge University Press. He has more than 250 scientific publications and is author of 13 patents. He is now Editor-in-Chief of the IEEE Sensors Journal, the largest journal among 2019 IEEE publications; he is also founder and Editor-in-Chief of the journal BioNanoScience by Springer, and Associate Editor of IEEE Transactions on Biomedical Circuits and Systems. He is a member of the IEEE Sensors Council and his Executive Committee. He was a member of the Board of Governors (BoG) of the IEEE Circuits And Systems Society (CASS). He has been appointed as IEEE Sensors Council Distinguished Lecturer for the years 2017-2019, and CASS Distinguished Lecturer for the years 2013-2014. His work received several international recognitions: several Top-25 Hottest-Articles (2004, 2005, 2008, 2009, and two times in 2012) published in highly ranked international journals such as Biosensors and Bioelectronics, Sensors and Actuators B, IEEE Sensors journal, and Thin Solid Films; a NATO Advanced Research Award in 1996 for the original contribution to the physics of single-electron conductivity in nano-particles; six Best Paper Awards at the IEEE Sensors Conference 2019 (Montreal) in 2019, Conferences IEEE NGCAS in 2017 (Genoa), MOBIHEALTH in 2016 (Milan), IEEE PRIME in 2015 (Glasgow), in 2010 (Berlin), and in 2009 (Cork); three Best Poster Awards at the EMBEC Conference in 2017 (Tampere, Finland), Nanotera workshop in 2011 (Bern), and NanoEurope Symposium in 2009 (Rapperswil). He also received the Best Referees Award from the journal Biosensor and Bioelectronics in 2006. From 1997 to 2000, he was a member of an international committee at the ELETTRA Synchrotron in Trieste. From 2000 to 2003, he was scientific leader of a National Research Program (PNR) in the filed of Nanobiotechnology. He was an internationally esteemed expert of the evaluation panel of the Academy of Finland in a research program for the years 2010-2013. He has been the General Chairman of the Conference IEEE BioCAS 2014, the premier worldwide international conference in the area of circuits and systems for biomedical applications
Frédéric KaplanExpertise
Digital Humanities, Big Data, Models of language acquisition and evolution, Innovative Interfaces, Artificial Intelligence, Robotics, Developmental Systems, Intrinsic Motivation, Multi-agent system, Joint attention, Gesture Interaction
Expertise
Digital Humanities, Big Data, Models of language acquisition and evolution, Innovative Interfaces, Artificial Intelligence, Robotics, Developmental Systems, Intrinsic Motivation, Multi-agent system, Joint attention, Gesture Interaction
Short biography Pro
Anastasia AilamakiExpertise
Database management systems, scientific applications, computer architecture
Teaching & PhD PhD Students Hamish Nicholson, Anna Herlihy, Yi Jiang, Eleni Zapridou, Georgiy Konstantinovich Lebedev, Ioanna Tsakalidou Past EPFL PhD Students Farhan Tauheed, Radu Ioan Stoica, Manos Athanassoulis, Pinar Tözün, Adrian Daniel Popescu, Ioannis Alagiannis, Renata Borovica-Gajic, Danica Porobic, Iraklis Psaroudakis, Manos Karpathiotakis, Matthaios Alexandros Olma, Mirjana Pavlovic, Eleni Tzirita Zacharatou,