Rolf GruetterAwards:
1999 Young Investigator Award Plenary Lectureship
, International Society for Neurochemistry
2011 Fellow
, ESMRMB
2011 Teaching Award
, Section Sciences de la Vie, EPFL
Bruno Emanuel Ferreira De Sousa CorreiaThroughout my PhD and postdoctoral studies I was trained in world-renowned laboratories and institutions in the United States of America (University of Washington and The Scripps Research Institute). Very early in my scientific career I found out my fascination about protein structure and function. My PhD studies evolved in the direction of immunogen design and vaccine engineering which sparked my interest in the many needs and opportunities in vaccinology and translational research. My efforts resulted in an enlightening piece of work where for the first time, computationally designed immunogens elicited potent neutralizing antibodies. During my postdoctoral studies I joined a chemical biology laboratory at the Scripps Research Institute. In this stage I developed novel chemoproteomics methods for the identification of protein-small molecule interaction sites in complex proteomes. In March 2015, I joined the École Polytechnique Fédérale de Lausanne (EPFL) – Switzerland as a tenure track assistant professor. The focus of my research group is to develop computational tools for protein design with particular emphasis in applying these strategies to immunoengineering (e.g. vaccine and cancer immunotherapy). The activities in my laboratory focus on computational design methods development and experimental characterization of the designed proteins. Our laboratory has been awarded with 2 prestigious research grants from the European Research Council. Lastly, I have been awarded the prize for best teacher of Life sciences in 2019.
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.
