Martin RajmanMartin Rajman is the Executive Director of
Nano-tera.ch
, a large Swiss Research Program funding collaborative multi-disciplinary projects for the engineering of complex systems in Health and the Environment. Since 2008, the Nano-Tera.ch program started more than 100 research projects for a total public funding of more than 95 Mo CHF (~100 Mo USD).
Before being appointed as Nano-Tera.ch Executive Director, Martin Rajman was Director of the EPFL Global Computing Center (CGC), an association of research groups and laboratories of the School of Computer and Communication Sciences fostering interdisciplinary research in the general area of internet computing and distributed information systems. In this position, he was managing more than 20 European projects.
In parallel with his research management activities, Martin Rajman is senior researcher at EPF Lausanne, Switzerland (EPFL). His research interests include Artificial Intelligence, Computational Linguistics and Data-driven Probabilistic Machine Learning.
Previously, he was senior researcher at the Computer Science Department of Telecom Paris-Tech, where he was in charge of the development of a research and teaching activity in the domain of Natural Language Processing.
Martin Rajman is also active in various large scale industry-research collaborations with majors economic players. In particular, he has been involved in the improvement of the product ranking technology used by e-Bay and is currently collaborating with Elsevier on enhanced article recommendation techniques.
Martin Rajman is author or co-author of more than 100 publications and former Director of the Computer Science Series of EPFL-Press (PPUR).
Serge VaudenaySerge Vaudenay entered at the Ecole Normale Supérieure in 1989 with a major in mathematics. He earned his agrégation (secondary teaching degree) in mathematics in 1992, then a PhD in Computer Science at the University of Paris 7 - Denis Diderot in 1995. He subsequently became a senior research fellow at the CNRS, prior to being granted his habilitation à diriger des recherches (a postdoctoral degree authorizing the recipient to supervise doctoral students). In 1999, he was appointed as a Professor at the EPFL, where he created the Security and Cryptography Laboratory.
Michael Christoph GastparMichael Gastpar is a (full) Professor at EPFL. From 2003 to 2011, he was a professor at the University of California at Berkeley, earning his tenure in 2008.
He received his Dipl. El.-Ing. degree from ETH Zürich, Switzerland, in 1997 and his MS degree from the University of Illinois at Urbana-Champaign, IL, USA, in 1999. He defended his doctoral thesis at EPFL on Santa Claus day, 2002. He was also a (full) Professor at Delft University of Technology, The Netherlands.
His research interests are in network information theory and related coding and signal processing techniques, with applications to sensor networks and neuroscience.
He is a Fellow of the IEEE. He is the co-recipient of the 2013 Communications Society & Information Theory Society Joint Paper Award. He was an Information Theory Society Distinguished Lecturer (2009-2011). He won an ERC Starting Grant in 2010, an Okawa Foundation Research Grant in 2008, an NSF CAREER award in 2004, and the 2002 EPFL Best Thesis Award. He has served as an Associate Editor for Shannon Theory for the IEEE Transactions on Information Theory (2008-11), and as Technical Program Committee Co-Chair for the 2010 International Symposium on Information Theory, Austin, TX.
Bryan Alexander FordLinks
DEDIS lab home pagePersonal home page
Curriculum vitae https://bford.info/cv.pdf
Teaching & PhD PhD Students Shailesh Mishra Past EPFL PhD Students Eleftherios Kokoris Kogias, Kirill Nikitin, Cristina Basescu, Enis Ceyhun Alp, Simone Colombo, Pasindu Nivanthaka Tennage, Louis-Henri Manuel Jakob Merino Past EPFL PhD Students as codirector David Froelicher, Ludovic Barman, Georgia Fragkouli Courses Decentralized systems engineering CS-438 A decentralized system is one that works when n Claudia Rebeca Binder SignerClaudia R. Binder, a Swiss, Canadian and Colombian citizen, was born in Montreal and spent most of her childhood in Switzerland and Colombia. She studied at ETH Zurich from 1985 to 1996, earning a degree in biochemistry and then a PhD in environmental sciences. After conducting her post-doctoral research at the University of Maryland in the US from 1996 to 1998, she returned to Switzerland and took a position as a senior research scientist at ETH Zurich, studying the interaction between human and environmental systems at the Institute for Natural and Social Science Interface. In 2006, Binder joined the University of Zurich as an assistant professor in the Department of Geography, and in 2009 moved to the University of Graz in Austria where she served as a full professor of systems science. In 2011, she took a position at the University of Munich’s Department of Geography as a full professor of human-environment relations.
Binder joined EPFL in March 2016 and set up the Laboratory for Human-Environment Relations in Urban Systems (HERUS) at ENAC; she also holds the La Mobilière Chair on Urban Ecology and Sustainable Living.
Her research involves analyzing, modelling and assessing the transition of urban systems towards sustainability. She looks in particular at how we can better understand the dynamics of urban metabolism, what characterizes a sustainable city, and what drives and hinders transformation processes. She does so by combining knowledge from social, natural and data science. Her research focuses on food, energy, and sustainable living and transport in urban systems.
In Switzerland, Binder was appointed to the Research Council, Programs Division of the Swiss National Science Foundation (SNSF) in 2016 and serves on the Steering Committee of the SNSF’s National Research Program 71, “Managing Energy Consumption” and the Swiss Competence Centers for Energy Research (SCCER). She is also a member of the Steering Board on Sustainability Research for the Swiss Academies of Arts and Sciences. In 2019, she was elected as a member of the University Council of the University of Munich (LMU).
At EPFL, Binder is the academic director of Design Together, a cross-disciplinary teaching initiative. She was appointed to the management team of the Energy Center in 2018 and as head of the working group on EPFL’s energy and sustainability strategy in 2019.
Pascal FrossardTeaching & PhD PhD Students Yiming Qin, Alba Carballo Castro, Elisa Messori, Ke Wang, Sevda Ögüt, Tuna Alikasifoglu, William Cappelletti, Manuel Madeira, Mahdi Amiri, Ortal Yona Senouf, Vasiliki Rizou, Cem Bilaloglu, Abdellah Rahmani, Amel Abdelraheem, Jérémy Jean Philippe Baffou, Adam Hazimeh, Vincent Jung, Yike Zhao Past EPFL PhD Students Dan Jurca, Jean-Paul Wagner, Ivana Radulovic, Ivana Tosic, Effrosyni Kokiopoulou, Zafer Arican, Vijayaraghavan Thirumalai, Tamara Tosic, Eirina Bourtsoulatze, Elif Vur
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.
