Annual Report 2017 IST Austria Scientists The Scientists by Previous Institution Austria 15.6% Germany 13.8% USA 11.1% of IST Austria UK 7.2% Spain 4.5% France 4.5% Italy 4.2% Scientists come from all over the world Switzerland 3.6% Czech Republic 3.3% to conduct research at IST Austria; this map gives an China 3.0% overview of the nationalities on campus. Russia 2.7% India 2.4% Other 24.1%

Content

North America Europe Asia Canada Introduction Events and Outreach Austria Afghanistan Mexico 4 Foreword from the President 42 Event Highlights Belgium China USA 6 Interview with Peter Fratzl 44 Outreach Highlights Bosnia and India 10 IST Austria at a Glance Herzegovina Iran 12 Guest Commentary Organization Bulgaria Israel 48 Scientific Service Units Croatia Japan Climbing the Career Ladder 50 Administration Cyprus Jordan 16 The Graduate School 52 Technology Transfer Czech Republic Nepal 20 Interns 54 Donors Denmark Palestine 22 Postdocs 56 Growth and Future Perspectives Estonia Russia 24 Alumni Finland Turkey 26 New Professors 61 Facts & Figures France Vietnam Germany Research at IST Austria Greece 30 Biology Hungary 32 Computer Science Italy 34 Mathematics Lithuania 36 Neuroscience Netherlands 38 Physics Poland Portugal Romania Serbia IST Austria Scientists Slovakia by Nationality Slovenia Austria 15.6% Spain Germany 11.1% South America Italy 5.7% Sweden Argentina Russia 5.1% Switzerland Bolivia China 4.8% UK Slovakia 4.5% Brazil Ukraine Hungary 4.2% Chile India 4.2% Colombia Poland 3.3% Czech Republic 3.3% France 3.0% Spain 2.7% Oceania UK 2.4% Australia United States 2.4% Other 27.7%

2 2 3 Foreword

Thomas A. Henzinger President, IST Austria

2017 saw a variety of new developments at IST Austria, of the Nanofabrication Facility for semiconductor as well as growth and progress towards the Institute’s physics and, in connection with the hiring of two young founding goal: to build a graduate institution in Austria structural biologists, the Institute will invest in a cryo- that is one of the top research centers for basic science electron microscopy (cryo-EM) setup on campus. This worldwide. Nobel prize-winning technology will become available at IST Austria in about a year. Our most important asset, the staff of IST Austria, continues to increase in size and diversity: over 600 Construction on campus also continues apace: prepara- employees from upwards of 50 countries conduct and tory construction work has begun for a new laboratory support cutting-edge research, and train the next gener- building, which will be completed in 2020 and will house ation of researchers. The more than 350 scientists at the future chemistry labs. One more laboratory building the Institute include 49 professors, among them the is in the planning stages, allowing the Institute to grow Institute’s recent recruiting successes: in the last year, to its target size of about 90 research groups by 2026. six new professors were hired from over 1’300 appli- Five companies already rent space on campus, antici- cants. These new group leaders will strengthen the pating a move to the IST Park—a future technology park research profile of the Institute in structural biology, across the road from IST Austria which is currently under experimental solid-state and optical physics, development. Technology transfer in Austria received an theoretical biophysics, and chemistry. additional boost this year with the launch of IST CUBE: a cooperative effort between IST Austria and an external Training and educating the next generation is one of investor, this startup incubator and seed fund will our core missions, and this year we welcomed a class support the creation and initial growth phase of new of 36 new doctoral students, the biggest yet. The technology companies. Institute also awarded 15 doctoral degrees in 2017, celebrating the largest graduating class so far. Doctoral The first decade of IST Austria has given us many and postdoctoral alumni have continued their careers reasons to be confident about the future of the Institute. in academia, industry, and public service; of those in However, this future will continue to depend on the academia, nearly a third have obtained faculty positions. strong support of our public and private partners. Their careers have taken them to over 30 countries, We would like to express our gratitude to all donors, primarily in Europe and the US. As new postdocs join supporters, and friends of IST Austria, especially the the Institute, many will be supported by the largest grant Federal Minister for Education, Science, and Research, ever awarded to IST Austria: the EUR 4.6 million ISTplus Heinz Faßmann, and the Governor of Lower Austria, Marie Skłodowska-Curie COFUND grant from the Euro- Johanna Mikl-Leitner. For private donations, the Institute pean Union will fund 60 postdocs for two years each. has started an endowment fund for the benefit of the research performed at IST Austria. As the Institute works With six new grants from the European Research towards its challenging and ambitious goals, we also Council (ERC)—the premier funding source for basic count on engaging new partners to join us on our research in the EU—awarded to the Institute’s faculty journey to develop a world-class institution for basic this year, the total number of ERC grants acquired so science and doctoral education in Austria. far has grown to 38. The new ERC grants comprise two Starting, two Consolidator, and two Advanced grants, in the areas of neuroscience, experimental physics, and evolutionary, developmental, and plant biology.

As an institute of technology as well as science, IST Austria invests in new facilities and instruments to increase its research capabilities and remain at the state of the art. As part of this, the past year saw the opening

4 5 How did you first become involved with the in taking on the future, and in taking up unconventional Institute? Why did you remain involved? methods in unconventional fields. I think that this is the Early on, I was contacted by the founding team, Haim role IST Austria could and should take, to be more Harari, Olaf Kübler, and Hubert Markl, with an interesting unconventional, to take more risks, and therefore be project—very interesting, because it envisioned a place closer to the cutting edge, when larger institutions have where one could really focus on science. I began by to compromise. helping to organize symposia in order to find interesting people for the Institute; this was before there was a In what ways do you see the Institute as making formal scientific board. When the board was created, the most significant impact on the Austrian public? I was appointed member, and it is something I do with The Institute is, and should be, the spearhead of excel- pleasure. One reason is that I am Viennese; I left Austria lent fundamental science in Austria. Moreover, it should in 2003 to create a new department in the Max Planck not stop making clear to the larger public what the role Institute in Potsdam, but I still feel very connected to of science in our society is. First, science provides deep Austria and Vienna in particular. I also feel that this is insights into our world and for our future. An institute a project that Austria needed, an institute focused on such as IST Austria must do everything to foster public great people and excellent, fundamental science, excitement for scientific discovery, so that people are without being guided by politics. While there are other proud of science, not afraid of it. But, in addition to this, smaller and larger research institutes in Austria doing scientific research trains scientific minds. This is not said great work, the difference is that IST Austria is also a often enough: the graduates of IST Austria, whether or graduate university. not they stay in science, have scientific training and thus a particular way of looking at problems, different from Since its opening in 2009, the Institute has developed someone with a commercial background, for example. at a remarkable pace. What do you see as the most Such people are very valuable and very important for significant challenges IST Austria will face in the our technology-based societies. coming years? In addition, IST Austria can do a great deal to attract Scientifically, I think this is a very interesting time for the excellent people, projects, and ideas to Austria, both Institute. IST Austria has grown very rapidly, and until by increasing the quality of the research landscape, now, the leadership was looking for the best scientists and by working together with the traditional universities that could be hired, in a wide variety of fields. This was to create the critical mass necessary to bring outstand- the correct strategy for the beginning—you have to have ing researchers and international funding to Austria. great people—but now the Institute has reached a point The Institute cannot exist in isolation, and should play where further growth must be more directed. a critical role in as many collaborative projects as This is the challenge to come: to implement the right possible. hiring strategies in order to complement the existing areas, as well as break into physics and chemistry, What has surprised you about the development Helping which are underrepresented. I think it is important to or direction of IST Austria? increase diversity, in both science and people, but There is a fairly unusual mix of mathematics and in a focused way: IST Austria is not big enough to be computer science with biology and neuroscience at the outstanding in every field, one must be selective. Institute—but while uncommon, this combination is both interesting and very productive. This was at least partly an Idea Grow What do you see as IST Austria’s role in the caused by the first very visible hires being in biology and international scientific community, at present and computer science, but the effect is significant. In fact, in the future? a big strength of the Institute is this combination of Interview with Professor Peter Fratzl, This is quite an interesting question. A number of smaller formal with natural sciences, and has resulted in some Director of the Max Planck Institute of Colloids and Interfaces institutions of scientific research have recently appeared very exciting results. One should not be afraid to be in different parts of the world, and I think it’s great: different—indeed, this is one of the ways IST Austria and Chair of the Scientific Board of IST Austria they are more dynamic, and can be more courageous has made, and will make, a significant impact.

6 7 building an environment for creative ideas IST Austria Founding Principles

IST Austria was established in 2006 by the federal government of Austria and the govern- at a Glance ment of Lower Austria, and the campus opened in 2009 in the city of Klosterneuburg, on the outskirts of Vienna. The Institute was founded based on a set of eight principles, which were first formulated by Haim Harari, Olaf Kübler, and Hubert Markl, who distilled them The Institute of Science and Technology Austria (IST Austria) is a PhD-granting from the world’s most successful systems and ideas for research institutes. research institution dedicated to cutting-edge research in the physical, mathematical, computer, and life sciences. Curiosity-driven, International Interdisciplinary PhD-granting basic research IST Austria brings together Research on campus is not IST Austria pioneers a new Scientists pursue their scientists and staff from all divided by departments or kind of graduate education interests without limits or over the world; employees boundaries; communication with one Institute-wide predefined research topics. use English as their working and collaboration are encour- PhD program. language. aged across scientific fields.

Career support Independent boards Exploiting results Diverse funding and development Trustees oversee the Institute; Excellent basic research sources Scientists at all levels more than half are interna- leads to unforeseen but The Institute is publicly grow intellectually and tional scientists. Guidance useful discoveries, and and privately financed. professionally. Professors and advice are also provided intellectual property and Scientists acquire third-party hired early in their careers by the Scientific Board. technology transfer are funds, donations to the Student admissions Faculty recruiting 361 Scientists are on a tenure-track important objectives. Institute are transferred to (as of December 31, 2017) in 2017 in 2017 system. an endowment, and revenue

Complete applications 1'669 Applications 1'354 PhD students 155 from technology transfer Student offers made 62 Faculty offers made 8 Postdocs 134 is a long-term goal. Student offers accepted 36 Faculty offers accepted 6 Professors 49 Scientific interns 19 Staff scientists 4

Total research grant funding acquired (rounded; as of December 31, 2017)

ERC European Research Council 60'867'000 € EU other 18'546'000 € FWF Austrian Science Fund 17'843'000 € HFSP Human Frontier Science Program 2'052'000 € DFG German Research Foundation 1'469'000 € Core Missions NOMIS Foundation 1'400'000 € ÖAW Austrian Academy of Sciences 1'225'000 € EMBO European Molecular Biology Organization 901'000 € NFB NÖ Forschung und Bildung 640'000 € IST Austria is performance-oriented, and only uses practices that WWTF Vienna Science and Technology Fund 434'000 € ONR Office of Naval Research 326'000€ have been successful. The Institute’s founding principles remain Simons Foundation 267'000 € SNF Swiss National Fund 216'000 € relevant today, and continue to guide the growth and development Microsoft Research 151'000 € of IST Austria as it works toward its core missions. BAYER 150'000 € NSF National Science Foundation 119'000 € FFG Austrian Research Promotion Agency 87'000 € • Perform world-class basic research Other 1'739'000 € Total 108'432'000 € • Train the next generation of scientific leaders • Implement best practices for management in science • Support science education and technology transfer

10 11 Outside Perspectives

Guest Commentary

Many international scientists have provided guidance and advice throughout Angelika Jonathan M. Maria J. IST Austria’s development, and will continue to do so as the Institute works Amon Dorfan Esteban toward its goals. Professors Angelika Amon, Jonathan M. Dorfan, and Professor, Department of Biology, Former President of the Okinawa Professor, Centre de Recherche Maria J. Esteban are three who have been deeply involved with the Institute: Massachusetts Institute of Institute of Science and en Mathématiques de la Décision, Professors Amon and Esteban are, respectively, member and vice-chair of Technology (MIT) Technology Graduate University University of Paris-Dauphine Member of the Scientific Board 2011 Evaluation Panel; 2017 Vice-chair of the Scientific Board the Scientific Board of IST Austria, and Professor Dorfan was part of the panel Academic Review Board that evaluated the Institute in 2011, as well as a member of the academic review Q1: When I first heard that IST Austria would Q1: The growth of IST Austria since the Q1: When I joined the Scientific Board, I had board that recently evaluated the progress of the Institute’s PhD program. be built in the middle of nowhere in Lower 2011 evaluation is most impressive. The no clear idea what IST Austria was, or at They provided their thoughts in response to two questions about the Institute Austria, I was depressed because I thought faculty has expanded at a rate of about five least not in depth. The past years have given that without the critical mass in Vienna, it per year, and by all accounts the quality of me the opportunity to better understand the and its past and future development. was never going to work, that the place was those hired is outstanding. The Graduate Institute, its goals, its functioning, and also doomed to forever be a mediocre university. School has gone from a fledgling entity to its needs. IST Austria is growing very well, I could not have been more wrong. Every a mature and diverse educational construct adding new fields, building and recruiting… year I am more amazed at how the place that is graduating excellent students. The progress is steady and impressive. has flourished and how it has developed into Perhaps the largest growth has been in the Q1 a first-rate, cutting-edge research enterprise infrastructure, which is not only supporting Q2: There are some problems that IST Given your first impressions in Europe. The biology program is especially a more diverse set of disciplines, but also Austria does not know how to solve at the strong. The only thing I am hoping for is that houses effective core centers of common moment. A big one is related to the gender of the Institute, they will hire more women PIs in the coming services. The scale of the technology imbalance in the faculty, and in some disci- how does IST Austria’s years. transfer program is impressive given the plines also at the students’ level. IST Austria progress compare small size of the faculty and the newness must find ways to solve this issue. Also, to your expectations? Q2: My advice for the future? Stay edgy, of the Institute. I think that IST Austria should place more continue to take risks, and repeat what you emphasis on strengthening interdisciplinari- did in biology in chemistry and physics. Q2: Currently IST Austria is significantly ty. This Institute is unique, and the extremely Q2 underinvested in physics and chemistry, prominent groups that it has managed to Given IST Austria’s which greatly limits the possibilities for build in such a short time should be able to interdisciplinary research. While the interact more. Or perhaps the hiring strategy development since graduate students are excellent, they are could be used to foster this. I would also its opening in 2009, too European-centric. IST Austria should advise IST Austria to strengthen its relations what advice would you aggressively recruit students from North with other Austrian academic institutions, give the Institute America and Asia. especially with Viennese universities. Well-designed, this could become a win-win for the future? project. As IST Austria’s students and young researchers have access to a restricted number of courses and professors on cam- pus, this could add cultural and scientific perspectives.

12 13 opening spaces crossing borders Educating PhD students is a core mission of IST Austria. Its Graduate School offers an interdisciplinary PhD program that supports students in becoming experts in their fields while fostering communication and collaboration across research groups and disciplines.

The PhD program at IST Austria started in 2010, with advisers. Some rotation cycles are more focused, such a class of seven graduate students, and the goal of pio- as one student who took a tour of quantum physics this neering a new kind of graduate education. Over the past year with Professors Lemeshko, Fink, and Katsaros. seven years, the program has developed and expanded Other students may take a broader view of research— in all aspects, from the available courses to professional for example, one recently cycled from random matrices development opportunities and beyond. The graduate to biophysics and neuroscience to mathematical student population has increased as well: as of models of evolution. Allowing students from diverse December 31, 2017, there were over 150 graduate backgrounds to tailor rotations to their own research students at IST Austria, making them the largest group interests—whether this entails a focus on research of scientists on campus. within one area, or an open-minded exploration of different fields—is one part of what makes the Tracks, curriculum, and rotations IST Austria PhD program both unique and valuable. Graduate students at IST Austria can choose from six different tracks of study: biology, computer science, Affiliation and doctoral research data science and scientific computing, mathematics, Once students decide on their topic of research, neuro­science, and physics. Many faculty are part of they take a qualifying exam and then affiliate with one multiple tracks, reflecting the interdisciplinarity at the (or more) research groups. They spend the next three to Institute, and allowing students to pursue research four years pursuing independent research and working topics from a variety of perspectives. Each track has an towards their PhD thesis. Students are encouraged to associated general knowledge course, and regardless disseminate their work by presenting at conferences and of track, students take courses to lay the groundwork publishing papers—so far, IST Austria graduate students for the breadth and depth of knowledge necessary to have (co-)authored nearly 200 original works. become leaders in their fields. Biannual reviews provide students with feedback One particularly unique aspect of the curriculum is the on their progress. New in 2017 are the 4th-year IST Austria “core course”. Designed by and for the Insti- presentations, which provide graduate students with tute, it is intended to promote communication between the opportunity to present their research to their peers, fields and teach an understanding of how to model and faculty, and other scientists on campus, and receive analyze data. All new graduate students take part in the feedback. The process encourages reflection, and core course. This year, students worked in groups to ensures that students are on track for graduation. tackle a problem related to Professor Gaia Novarino’s research—namely, how to make sense of the heteroge- Ethics considerations are important in scientific research neous genetic causes of autism spectrum disorders. and publishing. A required course lays the groundwork The groups comprised students with diverse academic for ethical considerations and the responsible conduct interests and experience, and they brought together of research, and as of 2017, all PhD students must fill elements of biology, neuroscience, and bioinformatics, out a self-assessment form to ensure that the highest as well as methods from computer and data science to ethical standards in research are adhered to. make progress towards an open-ended question. The Training the communication and collaboration skills developed in this Preparing for their next steps class will help students to work across disciplines, as The European Union emphasizes the importance of well as convey their research to a wider audience. career development measures as part of its “Principles of Innovative Doctoral Training”. IST Austria is commit- Next Generation The three required rotations—short research projects ted to supporting graduate students during this time of completed with different professors—give students the personal growth and professional development. One opportunity to explore their interests in various areas, aspect of this is scientific presentation and communica- broaden their knowledge, try out different research tion, which is addressed through several measures. PhD Students at IST Austria styles, and test the waters with potential doctoral For instance, one required course gives students the

16 17 GRADUATE STUDENTS How to apply IST Austria is looking for highly motivated, exceptional students who are passionate about scientific research and have a drive to succeed. Students who have or will complete a bachelor’s or master’s degree by the time they begin their studies are invited to apply; the deadline is in January for a start in Internships September of the same year. For and mobility further information, please consult Graduate students have the opportunity https://phd.ist.ac.at tools to effectively present their networking between students. In addition, the GSA to take short-term internships in indus- research. Another important skill organizes a graduate student retreat every fall, just Mary Phuong try and at other research institutions, in this area is teaching: every PhD after the new students arrive. This year, the graduate Lampert Group rounding out their PhD experiences as student must spend at least one semes- students spent a weekend in Mariazell, Austria, getting well as their CVs. A number of graduate ter as a teaching assistant, and many take on to know each other better, exchanging thoughts and Summer 2017 took Mary Phuong students completed internships during additional teaching responsibilities. Some even design ideas—and simply enjoying themselves! to Cambridge, England, where 2017; two are profiled here. and teach their own courses: during 2017, students she spent three months at Microsoft Research. Her taught a variety of programming courses, and held math Graduation project there was on methods for representing natu- reviews for their fellow students. Teaching excellence is Over the course of 2017, 15 students completed the ral language sentences as vectors, i.e., in a mathe- honored every year at the Institute’s Internal Awards doctoral requirements and received their PhD degrees. matical form. This is a more useful form, which can Ceremony. In 2017, Sebastian Novak, then a graduate For a complete list of these students, their groups, and potentially lead to methods for automatically retriev- student with Nick Barton, received the Institute’s “Gold- the titles of their dissertations, see the “Facts & Figures” ing similar sentences, creating sentences with the en Sponge” Best Teaching Assistant Award. section. The Institute celebrates its graduates every year opposite meaning, or modifying sentences along a during a ceremony in June. The Best Thesis Award is desired axis. Though Phuongʼs internship focused on The career development program at IST Austria is also given out during the ceremony; the 2017 winner the theory and methodology behind this representa- another resource, and organizes on-campus workshops, was Anastasia Pentina, who completed her thesis work tion, her work could, for instance, be used to create discussions, and seminars. Topics in 2017 included on “Theoretical Foundations of Multi-task and Lifelong an email writing app that allows the user to write an Amir Goharshady discussions on professional options for quantitative Learning” under the supervision of Christoph Lampert. email, then have the computer rewrite it automatically Chatterjee Group scientists, project planning and management work- by adjusting values for levels of formality, enthusi- shops, and “Ask a Professor” panels, among others. Funding and grants for doctoral students asm, etc. Phuong found the experience extremely Amir Goharshady spent fall This program is currently being expanded to include Every PhD student is a full-time employee of IST Austria valuable: 2017 in Spain, at the Madrid additional career events such as alumni talks, and for the duration of their studies. The ISTScholar PhD Institute for Advanced Studies in Software (IMDEA), from 2018 on, students (and postdocs) will have the program is co-funded by the European Union’s Horizon “I learned a great deal (of course!), but also met inter- where he worked on a theoretical project: “Model opportunity to receive one-on-one career counseling, 2020 research and innovation program through a esting people, improved my CV, and wrote a paper on checking hyperproperties in programs”. Currently, and be able to access a comprehensive online career Marie Skłodowska-Curie grant. The European Union the project, which we hope to publish soon.” most model checking approaches only consider portal. co-funded the ISTScholar PhD program for the 2016 program properties that constrain a single run of the and 2017 cohorts of incoming students, and will program, and verify them for all runs—but what Improving the PhD program Graduate student involvement continue their support in the 2018-2019 academic year. happens if a property points to more than one run? For IST Austria works continuously to improve all programs PhD students also have opportunities to organize events The EUR 4.4 million grant supplements the costs of example, if a program uses a secret value, then any on campus. As part of this, and as mandated by the and engage with the campus in other ways. In 2017, each student’s first two years in the PhD program. two runs of the program that differ only in that secret ISTScholar grant, an external Academic Advisory Board graduate students organized the Young Scientists’ Thereafter, the doctoral supervisor of each student value should be indistinguishable­ to someone­ who spent two days at the Institute in July 2017 evaluating Symposium for the sixth time in a row. The theme supports them until the completion of their degree. does not have access to the secret. Properties con- the PhD program. Comprising eminent scientists and for 2017 was “Bits, Brains, and Cells: Memory across cerning relations between runs were the focus of his education specialists, the members of the board were Sciences”, and the six keynote speakers approached External funding schemes also have positive effects project. Goharshady and his collaborators managed to Jonathan M. Dorfan (Okinawa Institute of Science and the topic from a variety of perspectives, including elec- on promising early-career researchers. Planning a find a new exponential-time algorithm for solving prac- Technology Graduate University), Bart Selman (Cornell trical engineering, neuroscience, and quantum networks. multi-year research project and presenting it in a project tical cases of the problem—previously, the best result University), Chris Golde (Stanford University), Ines proposal are crucial skills, essential for the success of was doubly-exponential—and their results will be pub- Crisostomo (Vienna Biocenter), and Thomas Silhavy All PhD students at IST Austria are represented by the a scientist. A highlight of this year, five PhD students lished soon. Goharshady, on his internship: (Princeton University). Based on their site visit, presen- Graduate Student Association (GSA). The GSA serves were awarded highly competitive DOC stipends by the tations and interviews with faculty, students, and the as a platform for exchanging opinions and fostering Austrian Academy of Sciences. The stipend, which is “Besides learning a variety of different approaches leadership of the Graduate School, their report consist- communication between students, and constitutes an worth EUR 38’500 per year per stipend, will fund their to solve logical problems on programs, the change ed of a series recommendations that will improve IST interface between the graduate students of IST Austria PhD research for a duration of three years, resulting in of environment helped boost my productivity, Austria’s ability to achieve its educational missions. and the rest of the Institute. There are two elected a total of EUR 115’500 per stipend. The 2017 awardees and I was able to get new results on a project I had student representatives who communicate students’ were Andi Harley Hansen, Stephanie Kainrath, Hana started before the internship. This led to a publication ideas, feedback, and criticism to the management and Semeradova, Julia Steiner, and Stephanie Wachner. at ESOP 2018, an international computer science The ISTScholar PhD program has received funding from the Euro- faculty. Regular meetings, organized by the GSA, pean Union’s Horizon 2020 research and innovation programme conference.” promote the discussion of current issues and support under the Marie Skłodowska-Curie grant agreement No 665385.

18 19 ISTerns said the following about their Opportunities at summer 2017 experiences: INTERNSHIPS How to apply “It was an amazing experience, All bachelor’s and master’s students and it was a great opportunity for Every Level in the physical, mathematical, an undergraduate like me to get computer, and life sciences are involved in cutting-edge research!” eligible to apply—and the professors at IST Austria are looking forward to Interns at IST Austria welcoming qualified and passionate interns into their research groups! More details on the programs and “I will highly recommend the application deadlines can be found at internship and PhD program at https://ist.ac.at/research/internships. IST Austria to my friends. And I would like to apply to the doctoral program, too!”

“I am very happy I could take part in the ISTernship program. It was full of new and exciting experiences for me, and I met a lot of friendly and interesting people at IST Austria. I think that this internship is a really great opportunity for young researchers.”

Training the next generation does not just mean Jakob Vorlaufer Antonija Mravak graduate students: IST Austria offers year-round Bachelor’s student, Technical Research Assistant, ICAST opportunities for bachelor’s and master’s students University of Vienna, Austria Split, Croatia

from other institutions to intern in a laboratory or Jakob Vorlaufer was a 2017 As an undergraduate at the with a research group. ISTern, and is currently working towards his bachelor’s University of Split in Croatia, Antonija Mravak studied in physics. Being interested in experimental and opti- physics. Her interest in biology then pulled her to- cal physics in particular, the biophotonics group of wards a master’s degree in biophysics working with Johann Danzl represented a great opportunity for him the nematode C. elegans as part of her thesis project. An internship in a laboratory or with a research group tures given by faculty and postdocs, and culminated to do an ISTernship. Over the summer, he worked on Following this—and in true interdisciplinary style—her is a valuable opportunity for bachelor’s and master’s with a poster session where ISTerns presented their two projects: First, he performed frequency doubling fascination with neuroscience led her to join the Sieg- students for many reasons. The internship programs at projects to the campus community. Though their time on a pulsed femtosecond laser and measured the ert group as an intern from January to July 2017, IST Austria offer these students the chance to explore at the Institute is short, the ISTerns’ work often results in pulse length with an autocorrelator. In this process, the where she gained insights into the field and enjoyed and broaden their interests in science, to learn about scientific papers. Besides the core mission of training pulse is split, a difference in the path lengths is intro- working with the group. During her time at IST Austria, the process of conducting research and to build future researchers, the Institute has an additional duced, and the two pulses are merged; the location of she performed in vivo experiments on mice to target connections within academia and among their scientific interest in hosting these young scientists: several former their overlap determines the intensity of a nonlinear microglia. In addition, she learned a variety of new peers. There are two types of internships available at ISTerns have joined IST Austria to pursue their doctor- process. Second, Vorlaufer built a focus lock based on imaging techniques and studied microglial behavior IST Austria. ates. The ISTernship program is run in collaboration with a feedback laser beam to stabilize the distance be- on various environmental changes. Soon after her in- the OeAD. tween a microscope objective and the imaged sample. ternship in Austria ended, she found a temporary ISTernship program: For 8-12 weeks between May As someone interested in various fields, he enjoyed position teaching physics at an elementary school. 15 and September 15, students from all over the world Year-round scientific internships: Interns also join the challenging and interdisciplinary atmosphere in the Starting in 2018, she will work as a research assistant come to IST Austria to work closely with a faculty or IST Austria throughout the year, collaborating with a par- group, and also gained knowledge in fascinating at the Interdisciplinary Center for Advanced Science laboratory member on a short research project. This ticular research group for up to one year. During 2017, areas such as cell biology and measurement control. and Technology (ICAST) at the University of Split, year, 38 ISTerns—selected from over 1’000 applicants— the Institute hosted 45 scientific interns in 26 different After his ISTernship ended, he continued working on where she will learn about and take part in the theo- spent their summers researching topics from rendering research groups. These students worked on a variety his projects in the Danzl group as a scientific intern, retical design of new materials for fuel cells. nanostructures to the applicability of new antibodies. of projects, ranging from fluid animation to supercon- and will also write his bachelor’s thesis in the lab. Their research experiences were rounded out with lec- ductivity in spin-orbit coupled systems.

20 21 POSTDOCS How to apply Scientists interested in conducting A Chance postdoctoral research at IST Austria can apply by contacting professors directly, or by applying for an ISTplus grant. More details can be found on to Grow the website: https://ist.ac.at/research/ postdoctoral-research.

Postdocs at IST Austria

The years following the completion of their PhD are important ones for early career scientists. IST Austria provides postdoctoral fellows with a world-class, interdisciplinary research environment, giving them the resources and opportunity to broaden their experience and deepen their expertise.

Climbing the career ladder Funding postdoctoral fellows After the completion of their PhD, early career scientists In order to continue to attract outstanding postdoctoral Enderalp Yakaboylu Zuzana Patáková may take one or more positions as a postdoc. This gives researchers, IST Austria submitted a proposal for a Postdoc, Lemeshko Group Postdoc, Wagner Group them the chance to grow professionally, while not yet Marie Skłodowska-Curie COFUND scheme—this would shouldering the responsibilities of a research group serve as the next generation of postdoctoral funding, “I had two motivations for “The main reason I came to leader. IST Austria brings together the faculty, facilities, following the end of the ISTFELLOW COFUND scheme coming to IST Austria: Professor Mikhail Lemeshko IST Austria was to work with Professor Uli Wagner. and support to help postdocs develop the skills neces- in June of 2017. Following a competitive, EU-wide and the campus facilities. Before I joined his team, I like the math Uli is doing, and I had previous col- sary for their next career steps elsewhere. Already at application process, IST Austria succeeded in obtaining I worked on relativistic strong field ionization, and laborations with him. Being at the same place is—for the beginning of their stay, postdocs assess their pro- funds for an inter­disciplinary, international, and inter­ I was looking for an opportunity to switch topics and me—the best way to work with someone, and Uli fessional profiles and skill sets together with a career sectoral postdoc program in May 2017. The program, expand my knowledge. However, this is generally and I have been doing exciting research since then. counselor. During their time at IST Austria, postdocs called ISTplus, will support postdocs at the interface not so easy in the physics community. Misha gave For instance, in a recent paper we and our collabo- interact closely with colleagues from different fields between science and other sectors, such as industry me this opportunity. Under his excellent supervision, rators proved that the problem of deciding if a sim- through shared facilities, joint projects, and events. and policy. These postdocs will have the opportunity I have made a smooth transition and started to learn plicial complex, a kind of geometric object, can be to take short-term internships with external partners. the language of many-body physics. My other moti- put together in a “nice” way is NP-complete. In other Over the course of 2017, 180 postdocs were part of the With a total award amount of almost EUR 4.6 million, vation for coming was IST Austria’s interdisciplinary words, we showed there is no algorithm that answers campus community, designing and executing research this was the single largest grant obtained so far by IST environment, which allows me to exchange ideas with this question efficiently, which answered a nearly 40- projects, building connections in academia and industry, Austria. A first call for applications for postdoc positions colleagues from different fields. At least once a week, year-old open question.” writing papers, and attending conferences. supported by the grant was made in summer 2017 and I discuss something with someone from a different received 93 applications. Of these, 10 ISTplus fellows research group. In fact, our recent paper, in which we Zuzana Patáková conducted her doctoral research Sharing enthusiasm and knowledge will join the Institute. In total, the ISTplus program will show a new manifestation of magnetic monopoles, is in computer science, with an emphasis on discrete Postdocs at IST Austria also take time to reach out and support 60 postdocs for up to two years each. the consequence of such a collaboration.” models and algorithms, at the Charles University in engage younger generations of scientists. Postdocs Prague, Czech Republic. For the project “Bounding are valuable resources for the graduate students on Enderalp Yakaboylu completed completed his PhD in Helly numbers via Betti numbers”, she received the campus, and are often involved in teaching courses. physics at the Max Planck Institute for Nuclear Phys- Charles University’s prestigious Bolzano Prize, which The Institute values excellence in teaching, and this ics (MPIK) in Heidelberg, Germany, in 2014, then con- awards students for exceptionally innovative, interdis- year, postdoc Srdjan Sarikas was honored with the tinued there as a postdoc before joining IST Austria in ciplinary work. Before joining IST Austria in November IST Austria “Golden Chalk” Best Lecturer Award for his 2016. For his work, in collaboration with researchers 2016, she did research as a postdoc at the Hebrew work. Also during 2017, a variety of outreach programs at IST Austria and at MPIK, he received the 2017 IST University of Jerusalem. At IST Austria, Patáková were designed and carried out by IST Austria postdocs. Austria Scientific Achievement Award. continues to mix computer science and mathematics, These initiatives included creating and running a corre- and has particular interests in discrete geometry, These projects have received funding from the People Programme spondence course in evolutionary biology, programming (Marie Curie Actions) of the European Unionʼs Seventh Framework algebraic methods, and algebraic topology. software for a visual secret-sharing activity, and leading Programme (FP7/2007-2013) under REA grant agreement No 291734 and from the European Union’s Horizon 2020 research a weekly math club meeting at a high school in Kloster- and innovation programme under the Marie Skłodowska-Curie neuburg. grant agreement No 754411.

22 23 Taking Their Next Steps

IST Austria Alumni

Growing numbers of alumni are leaving IST Austria to make their mark on the world, and the development of their careers offers important feedback to IST Austria as an educational institution. IST Austria alumni have joined universities, research institutes, and companies around the world. Around two thirds have continued in academia, many of them in top international institutions such as Harvard University, Stanford University, Johannes Inma Philipp MIT, ETH Zurich, and the Max Planck Institutes. In addition, computer Reiter Sanchez Romero Schönenberger scientist Thomas Wies, now at NYU, became the first IST Austria alumnus to receive tenure. Nearly 10 percent of alumni are engaged in industry Instructor, Stanford University, Project Manager and Technology Research scientist, Roche, USA Transfer Officer, University of Vienna, Switzerland research activities at companies such as Johnson & Johnson, BMW, Austria and Roche, among many others. More details can be found in the Johannes Reiter was a PhD student in the Inma Sanchez Romero was a postdoc in Philipp Schönenberger was a postdoc in “Facts & Figures” section of this report. Chatterjee group at IST Austria whose thesis Harald Janovjak’s group at IST Austria. the Csicsvari group until 2015, when he work focused on computational and mathe- She now works for research services at the moved to his current position in industry as matical biology. After graduating, he moved University of Vienna as a project manager a research scientist at Roche, a multinational The Institute strives to keep in touch with its alumni, often inviting them to Harvard University, where he was a post- supporting the INDICAR (Interdisciplinary healthcare company. He works in preclinical back to IST Austria to share their experiences and engage with the doctoral research fellow in Martin Nowak’s Cancer Research) Postdoctoral Fellowship drug discovery in neuroscience with a focus group in the Program for Evolutionary Programme and as a technology transfer on electrophysiology, optogenetics, and campus community. Profiles of a few of the many successful alumni Dynamics. In June 2017, he took a position officer with a focus on chemistry. After data analysis. Schönenberger did his PhD appear opposite; further stories can be found on the alumni homepage: as an instructor at Stanford at Stanford earning her PhD in chemistry, for which at the Friedrich Miescher Institute for Bio- University. In his research, he develops she worked on protein engineering at the medical Research in Basel before joining https://alumni.pages.ist.ac.at. algorithms and mathematical models to University of Granada in collaboration with Jozsef Csicsvari’s group at IST Austria as a study biological processes, in particular Columbia University in New York, Sanchez postdoc. When asked about the role that IST those related to the evolution and treatment Romero did a postdoc at IST Austria working Austria played in his current career he says: of cancer. His research on metastases is in synthetic biology in the Janovjak lab. “Here, I learned the concepts behind this funded by an Erwin Schrödinger Fellowship At IST Austria, she developed an interest kind of research, and gained the expertise of the Austrian Science Fund (FWF). Reiter in organizing scientific events and research necessary to perform it. It was absolutely was one of the first PhD students to join the project management in an academic fun, and also a prerequisite for my current Institute. Looking back on his time at IST environment. This led to her shifting her function. Plus, scientifically speaking, this Austria he says: “I very much liked—from career from active research to research kind of research is the most interesting thing the beginning—the interdisciplinary system management: “Besides all the support in you can do. My worldview is still influenced at IST Austria. I also enjoyed the fact that scientific research at IST Austria, I had the by these experiences.” in my first and second year I could take opportunity to collaborate and plan and courses from different areas. That helped organize scientific events. As a result, Schönenberger returned to campus in spring me a lot.” I explored and developed my organizational 2017 and gave current students helpful tips and management skills.” on how to successfully apply for industry A longer version of Reiter’s interview jobs. can be found on the IST Austria alumni Sanchez Romero joined the expert panel

IST Austria graduates homepage. at IST Austria’s Science and Industry Day in at the 2017 ceremony. fall 2017.

24 25 New Professors in 2018

Zhanybek Carrie Onur Maria Alpichshev Bernecky Hosten Ibáñez

Research excellence and promise are the key hiring Zhanybek Alpichshev is an experimental One of the Institute’s new structural biolo- Quantum physicist Onur Hosten seeks to A physical chemist, Maria Ibáñez brings physicist working to understand how large gists, Carrie Bernecky works to understand better understand and exploit the quantum together a variety of ideas, techniques, criteria for new faculty at IST Austria. Rather than numbers of electrons behave in the presence the molecular mechanisms by which RNA mechanical world of atoms and light. As and disciplines, including material science, seeking candidates for very specific areas, the of strong interactions. After completing his controls human gene regulation. Bernecky an undergraduate at Hacettepe University, physics, thermoelectricity, energy harvest- bachelor studies at the Moscow Institute of completed her undergraduate education Turkey, he studied physics engineering, ing, and nanocomposites to understand Institute has an annual open call for professors in all Physics and Technology, Russia, Alpichshev with a double-major in chemistry and biology then moved to the University of Illinois and develop functional nanomaterials. fields of science. In addition, with assistance from went to the physics department at Stanford at Cornell University, USA, then moved at Urbana-Champaign, USA, to conduct Ibáñez earned her bachelor’s in physics at University, USA, where he used scanning to Boulder, also in the USA, for her doctoral research in quantum optics and quantum the University of Barcelona, Spain, then the Scientific Board, the Institute works to identify tunneling microscopy to study surface states research in biochemistry. She received her information. While there, he experimentally remained there for her master’s in physical outstanding research talent, and lets these scientists in topological insulators. After receiving his PhD in 2010 for her work on the molecular demonstrated several new applications of engineering, as well as her PhD in physics. PhD degree in 2012, he became a postdoc architecture of the human transcriptional quantum measurement techniques. After While earning her doctorate, she also spent and their curiosity define which fields are pursued at the Massachusetts Institute of Technology, coactivator Mediator in complex with RNA receiving his PhD in 2010, he joined the time in labs at the CEA Grenoble, University on campus. This year, six new assistant professors working on ultrafast spectroscopy of strongly polymerase II. Since then, Bernecky has physics department at Stanford University, of Chicago, Caltech, and Cornell University. correlated materials with a focus on the conducted research as a postdoc in the USA, as a postdoctoral researcher. His She received her doctorate in 2013, then were selected from over 1’300 applicants, and will behavior of non-equilibrium excitations in Gene Center at the Ludwig Maximilian work there focused on cavity quantum conducted research in both the USA strengthen the research profile of IST Austria in the frustrated Mott insulators such as Na2IrO3. University of Munich and at the Max Planck electrodynamics with large ensembles (Northwestern University) and Spain (IREC), In his new position, Alpichshev will apply Institute for Biophysical Chemistry in of atoms for entanglement-enhanced before joining ETH Zurich, Switzerland, as physical and life sciences. Two have already joined the methods of ultrafast non-linear optical Göttingen, both in Germany. Her work at measurement science. With his new group a research fellow. With her group at IST the campus community, Edouard Hannezo and spectroscopy to analyze condensed matter IST Austria will focus on unraveling how at IST Austria, Hosten will work to develop Austria, she will focus on the synthesis of systems. This will include studying the ncRNAs regulate transcription, and how new precision sensing methods that make high-quality inorganic nanocrystals, the Florian Schur; more details on their research non-linear response functions of strongly RNA activity itself can be regulated through use of quantum entanglement, with the engineering of their surface, and their programs and backgrounds can be found in the correlated materials under various condi- post-transcriptional processes. Bernecky long-term goal of exploring deep and assembly and consolidation into functional tions as well as exploring the behavior will be one of the primary users of the challenging questions related to, for nanocrystal-based solids to target applica- “Facts & Figures” section. The four presented here of many-body systems in the presence Institute’s upcoming cryo-EM facility, and instance, the nature of dark matter, or the tions such as thermoelectricity or catalysis, will join the Institute over the course of 2018. of strong periodic driving. will also employ X-ray crystallography in her interplay between gravity and quantum as well as developing a fundamental under­ Joining IST Austria in August 2018. research, among many other biochemical mechanics. standing of structure-property relationships. and structural methods. Joining IST Austria in May 2018. Joining IST Austria in September 2018. Joining IST Austria in January 2018.

26 27 providing perspectives supporting careers Biology

Strange Friction shapes When green undertakings zebrafish embryos means stop

Cremer Group Heisenberg Group Janovjak Group

Biology, the study of living organisms in all their forms Ant queens usually focus on reproduction A simple ball of cells is the starting point Optogenetics, a technique that uses light and do not engage in any risky or dangerous for humans—and zebrafish. At the end of to control key cellular processes, has revolu- and phenomena, covers a wide range of questions—and tasks, but 2017 PhD graduate Christopher embryonic development, however, a fish tionized how researchers investigate cellular similarly, biology research at IST Austria covers a wide Pull and Professor Sylvia Cremer have and a human look very different. While many signaling pathways, cellular behavior and discovered that queens may bury other biochemical signals involved in this process the function of tissues such as the brain. range of research areas. queens—a task normally performed by are known, the mechanical forces that shape Light-sensitive proteins power optogenetics, workers—to avoid infection when co-found- the embryo have not been well studied— and many of them have been engineered ing a new colony. In their study, published so far. In a study published in Nature Cell to bind to each other when stimulated by In 2017, biologists investigated questions including: in BMC Evolutionary Biology, the team found Biology, Postdoc Michael Smutny and light. PhD student Stephanie Kainrath and How can bacteria with the same genotype still behave that in cases where two ant-queens founded Professor Carl-Philipp Heisenberg showed Professor Harald Janovjak expanded this a colony together, and one of the queens that friction between moving tissues gener- optogenetic protein toolbox. In work differently? What are the mechanisms by which vertebrate died before the first workers emerged, the ates force. This force is a key mechanism published in Angewandte Chemie, they embryos take their shapes? How can social insect colonies surviving queen performed “undertaking for the rearrangement of tissues during repurposed light-sensitive domains that behaviors”—that is, behaviors directed at embryonic development. In particular, it release their binding when exposed to green defend themselves against infections? How can synthetic dead individuals, such as biting and burying regulates the formation of the neural tube, light. Researchers can now leave their physiology be used to understand and manipulate cell the corpse, thereby preventing pathogen the precursor to the central nervous system. study object in the dark to induce signaling, transmission. Their analysis showed that Image: a dorsal section through a zebrafish and move it into light at a precise time to signaling? Biology at IST Austria is a highly interconnected biting and burial of the cofoundressʼ corpse embryo during gastrulation. interrupt signaling, preventing bleaching research area, with many collaborations both within and decreased seven fold the risk of dying for and the toxic side effects of light. Image: the surviving foundress compared to queens Kainrath tests the influence of green light on outside the immediate subject area. that did not perform undertaking behavior. cultured cells in incubators with commercial The study substantiates the importance of LEDs. hygiene at all life stages of the colony and reveals the behavioral flexibility of queens. Image: cofounding queens with brood.

Faculty Mathematical Models of Evolution NICK BARTON | Hormonal Cross-Talk in Plants EVA BENKOVÁ | Behavioral and Evolutionary Ecology SYLVIA CREMER | Nanoscale Photonics for Biology JOHANN DANZL | Developmental and Cell Biology of Plants JIŘÍ FRIML | Systems and Synthetic Biology of Genetic Networks CĂLIN GUET | Physical Principles in Biological Systems EDOUARD HANNEZO | Cell and Developmental Biology CARL-PHILIPP HEISENBERG | Tissue Growth and Developmental Pattern Formation ANNA KICHEVA | Evolutionary Genomics and Related Disciplines FYODOR KONDRASHOV | Self-Organization of the Cell MARTIN LOOSE | Structural Biology of Membrane Protein Complexes LEONID SAZANOV | Structural Biology of Cell Migration and Viral Infection FLORIAN SCHUR | Neuroimmunology in Health and Disease SANDRA SIEGERT | Invasive Migration of Immune Cells DARIA SIEKHAUS | Morphodynamics of Immune Cells MICHAEL SIXT | Biophysics and Neuroscience GAŠPER TKAČIK | Sex-Chromosome Biology and Evolution BEATRIZ VICOSO

30 31 Computer Science

Equipping form Evolution of Virtual reality with function cooperation through for bacteria longer memory

Bickel Group Chatterjee Group Guet and Tkačik Groups

Computer science at IST Austria stands out among similar Many common toys such as steerable cars Decisions about whether or not to cooperate An interdisciplinary team, including experi- or waving wind-up figures are available as with someone are usually based on past mental biologist Remy Chait and control departments at other institutes in two particular ways. 3D-printable models that also contain their experiences with that person, as well as the engineer Jakob Ruess, as well as Professors First, all computer science groups share an appreciation mechanical components. However, these possibility of them returning the favor. These Călin Guet and Gašper Tkačik, has managed mechanical structures are optimized to factors are then weighed against the possi- to control the behavior of individual bacteria for foundational thinking, and base their research on fit one particular shape of the toy, and if ble benefits of not cooperating. Though by connecting them to a computer, creating a mathematically rigorous foundation. New insights are designers want to reuse a mechanism with important, accounting for long-term memory a simulated environment that cells can inter- different shapes, the necessary manual quickly becomes computationally intractable act with, and that responds to cells’ made, and new algorithms and formalisms developed, adjustments to the individual components in simulations, and in the past, researchers reactions. Their experimental setup has based on mathematical concepts and computational are often unmanageable for non-experts, have generally had to limit the possible implications in computer science as well besides being extremely tedious. This year, strategies, or only allowed players to make as biology. One potential application is in reasoning. scientists in the Bickel group, in collabora- decisions based on the previous round. To synthetic biology: when scientists engineer tion with colleagues from Adobe Research, overcome this challenge, Postdoc Christian a microorganism to fulfill a certain task, e.g. solved this problem by developing an inter- Hilbe, Professor Krishnendu Chatterjee, and produce an antibiotic as part of its metabolic Second, the groups work to foster interdisciplinarity, active design tool that allows users to easily their collaborators developed an alternative cycle, they usually have to make numerous strengthening the ties between the life and formal adjust a mechanical template to the shape approach: they distilled a set of axioms that changes to the original organism, but the of their choice. The software tool, which every robust cooperative strategy should combined effect of these changes is unpre- sciences—one of IST Austria’s signature characteristics. will be made available in the future, was have, and characterized the strategies that dictable. Their new setup could make it This year, scientists asked questions such as: How can presented by first author and PhD student satisfy these conditions. Using this, the possible to “debug” complex biological Ran Zhang at the prestigious SIGGRAPH group was able to show that remembering systems in the same way complex computer cryptocurrencies be made more sustainable? How can conference in summer 2017. Image: a more rounds increased the likelihood of codes are debugged: by testing each part computers be trained to identify images? When do functional model created using the software. cooperation between players evolving. individually while simulating its surroundings They were also able to make predictions in a form of virtual reality. Image: the setup efficient solutions exist for optimization problems under for a variety of cooperative situations. can be used to control individual cells to certain constraints? Image: different types of strategies and emit fluorescence, much like pixels in a how they relate. conventional display, and thus form any desired image sequence.

Faculty Distributed Algorithms and Systems DAN ALISTARH | Computer Graphics and Digital Fabrication BERND BICKEL | Game Theory and Software Systems Theory KRISHNENDU CHATTERJEE | Algorithms, Computational Geometry and Topology HERBERT EDELSBRUNNER | Design and Analysis of Concurrent and Embedded Systems THOMAS A. HENZINGER | Computer Vision and Discrete Optimization VLADIMIR KOLMOGOROV | Computer Vision and Machine Learning CHRISTOPH LAMPERT | Cryptography KRZYSZTOF PIETRZAK | Discrete and Computational Geometry and Topology ULI WAGNER | Computer Graphics and Physics Simulation CHRIS WOJTAN

32 33 Mathematics

Mathematical Discrete Morse theory Universality in foundations of evo­ for Poisson-Delaunay Wigner random lutionary genetics mosaics matrices

Barton Group Edelsbrunner and Wojtan Groups Erdős Group

Mathematics allows us to distill ideas and observations, Rooted in observations made in the late Suppose you take a set of points scattered In the 1950s, physicist Eugene Wigner was 1800s, and established mathematically by randomly in the plane, and connect the studying energy levels in atomic nuclei. to abstract to their fundamentals, and precisely define Fisher in 1918, the infinitesimal model is a points according to a certain set of rules, At that time, it was not possible to predict concepts and objects and the connections between them. simple and robust model for the inheritance ending up with a partition of the plane into these energy levels based on fundamental of complex traits, such as leg length. The triangles, called a Delaunay mosaic. Now, physical principles, so Wigner represented It provides a language to formalize quantitative aspects of basic idea is that if very many heritable repeat this with different sets of points, but their statistical behavior using the eigen­ the natural sciences, and a way of thinking that is useful factors contribute, then the trait could have the same rules for forming triangles. What values of a matrix with randomly chosen a continuous range of values. Fisher relied can be said in general about the topological entries. This was an extraordinary leap across a wide spectrum of research fields. informally on the central limit theorem, features that appear? Recently, Professor of intuition, and led to research in and which states that when independent random Herbert Edelsbrunner, and PhD students applications of random matrices. There are, variables are added, their sum tends toward Anton Nikitenko, Katharina Ölsböck, and however, many different ways of randomly Mathematicians at IST Austria understand their areas a normal distribution (i.e. a bell curve). Peter Synak used discrete Morse theory to choosing the entries in such a matrix. deeply, and combine this with the ability and openness However, even though the infinitesimal prove a number of new results in the theory But regardless of the method, researchers model is the basis of practical plant and of random geometric complexes—a more observed the same statistical patterns to communicate with scientists in other disciplines. animal breeding, it had not been mathe­ general problem that includes the example emerging in simulations of large random They have interests in a variety of areas, from analysis to matically justified, or even precisely defined, above—with the goal of learning more about matrices. These patterns seemed to be until a 2017 paper by the Barton group and the stochastic topological features of ran- universal, and the question of whether topology to combinatorics to mathematical physics and their collaborators. Now, they are working dom data, such as the number of connected the observations could be formalized in a beyond. In 2017, they explored a wide range of questions, on extensions of these ideas, to allow for components that form. In their upcoming mathematical proof became known as the genetic linkage. In one project, they are work, the team uses simulations to illustrate universality conjecture. Professor László including: How can we use topology to understand and analyzing an experiment in which mice were the results (image), as well as formulate Erdős (image) and his collaborator, Professor interpret data? Can a labeled triangulation of the plane be selected, leading to an increase in leg length conjectures about the stochastic topological Horng-Tzer Yau, recently proved this of 3.5 standard deviations over 14 genera- behavior of Delaunay mosaics and other conjecture; for this work, they were awarded transformed into any other labeled triangulation—and is tions. Under the infinitesimal model, this can objects. the prestigious Leonard Eisenbud Prize in there a fast algorithm to do this? How does the geometry be explained by the increase in blocks of January 2017. genome that increase the trait. of a space affect the movement of quantum particle systems within it?

Faculty Mathematical Models of Evolution NICK BARTON | Algorithms, Computational Geometry and Topology HERBERT EDELSBRUNNER | Mathematical Physics, Probability LÁSZLÓ ERDŐS | Theory of Partial Differential Equations, Applied and Numerical Analysis JULIAN FISCHER | Geometry and its Interfaces TAMÁS HAUSEL | Stochastic Analysis, Optimal Transport JAN MAAS | Quantum Statistical Mechanics, Mathematical Physics ROBERT SEIRINGER | Discrete and Computational Geometry and Topology ULI WAGNER

34 35 Neuroscience

How neurons and glia Roles for enigmatic The role of immune cells are created synaptic proteins cells in childhood identified dementia

Hippenmeyer Group Jonas Group Siegert Group

Neuroscientists investigate the nervous system to under- Neurons and glia are the cells that make up In our brains, neurons communicate by Dementia is commonly thought of as a our brains. In the cortex, the brain area that sending chemical signals across their con- disease that develops late in life. But around stand how our brains—and those of other animals—work. gives us the ability to think, speak and be nections, called synapses. Synaptotagmins 50’000 children worldwide suffer from Neuroscience is a highly interdisciplinary area, with strong conscious, neurons and most glia are are part of the complex molecular machinery early dementia, called neuronal ceroid produced by radial glia progenitors (RGPs). required to send such a signal. Synaptotag- lipofuscinosis (NCL). Although 14 inherited links to mathematics, computer science, and physics, and But how is this production of neurons and min proteins come in many flavors: humans disease-causing genes have been described, the research backgrounds of neuroscientists at IST Austria glia cells controlled? Postdoc Robert Beattie and other mammals have 17 different no cure for NCL exists. The disease starts and Professor Simon Hippenmeyer reported varieties. The functions of a majority of these with vision loss and invariably leads to early are, accordingly, diverse. in Neuron that a certain gene called Lgl1 proteins, however, are not yet understood. child’s death. This year, Postdoc Rajeshwari is required. In the early mouse embryo, In two studies published this year in Cell Meli (left) received received the prestigious Lgl1 is needed in all RGPs for cortical Reports, PhD student Chong Chen and FWF Hertha Firnberg Grant to investigate This year, they sought answers to questions such as: How neuron production. After birth, Lgl1 is only Professor Peter Jonas identified the what role microglia, a type of cell involved in is the production of nerve cells controlled? Which brain required in specific RGPs for glia and functions for two synaptotagmins. They the brain’s immune defense, play in NCL. neurons to be generated correctly. So, showed that synaptotagmin 2 is the calcium The study is based on the previous work areas are important for memory formation? Which roles while the whole orchestra is needed to play sensor which allows synapses that use of Professor Siegert (right), which showed do parts of the molecular machinery play in sending signals the symphony (or generate neurons in the the neuro­transmitter GABA to achieve that microglia in the mouse retina are highly embryonic cortex), only the soloist is needed their remarkable signaling speed, while enriched for a set of NCL-causing genes. between neurons? What is the basis of neurodevelopmen- for a solo (produce neurons or glia in the synaptotagmin 7 ensures the efficiency In this project, they will study the human tal disorders, such as epilepsy or childhood dementia? postnatal cortex). of high-frequency inhibitory synaptic microglia that carry these disease-causing transmission. Image: synaptotagmins genes, and analyze their functions. The ensure the speed and efficiency of study will give important insights into what inhibitory synaptic transmission. role microglia play in NCL, with the potential of offering new strategies for cell-based therapeutic drug approaches.

Faculty Systems Neuroscience JOZSEF CSICSVARI | Nanoscale Photonics for Biology JOHANN DANZL | Genetic Dissection of Cerebral Cortex Development SIMON HIPPENMEYER | Synaptic Communication in Hippocampal Microcircuits PETER JONAS | Neuroethology MAXIMILIAN JÖSCH | Genetic and Molecular Basis of Neurodevelopmental Disorders GAIA NOVARINO | Molecular Neuroscience RYUICHI SHIGEMOTO | Neuroimmunology in Health and Disease SANDRA SIEGERT | Biophysics and Neuroscience GAŠPER TKAČIK

36 37 Physics

Essential quantum New manifestation of Many-body computer component magnetic monopoles quantum scars downsized discovered

Fink Group Lemeshko and Seiringer Groups Serbyn Group

Physics is one of the oldest and most fundamental Qubits, or quantum bits, are the key building The startling similarity between the laws Naively, the word “chaos” implies a lack of blocks that lie at the heart of every quantum of electricity and the laws of magnetism has any order and structure. In reality, chaos disciplines, and at IST Austria, scientists have approached computer. In order to perform a computa- been known since the 19th century. Howev- implies the presence of hidden order, questions in and inspired by this field from many different tion, signals need to be directed to and from er, the one piece that would make the two which is often encoded by unstable periodic qubits, which are extremely sensitive, and perfectly symmetric was missing: magnetic trajectories, like the one shown in the chaotic perspectives, using both experimental and theoretical must therefore be shielded from unwanted monopoles. While magnetic monopoles in billiard (image, top). These trajectories lead methods. The diverse interests of the physics groups have signals, in particular magnetic fields. It is the form of elementary particles remain to “quantum scars” in quantum eigenstates thus a serious problem that the devices built elusive, there have been some recent suc- that are localized in the vicinity of the corre- led to questions such as: How can turbulence in fluids be to shield qubits—nonreciprocal devices— cesses in engineering objects that behave sponding classical orbit. The Serbyn group calmed? How do biological systems perform computations? are themselves producing magnetic fields. effectively like magnetic monopoles. Now, and their collaborators recently generalized Plus, they are several centimeters in size— Postdocs Enderalp Yakaboylu and Andreas the notion of quantum scars to a system What can be learned about holes in self-assembled nano- another serious problem, given that a large Deuchert, together with Professor Mikhail of many interacting degrees of freedom. structures? number of such elements is required in each Lemeshko, have shown that there is a much There, the analogue of a classical orbit is quantum processor. This year, the Fink simpler way to observe such magnetic the periodic dance of all atoms between group (simultaneously with competing monopoles. Using a new quasiparticle excited and ground states (image, bottom). Research in physics often leads to technological advances, groups in Switzerland and the United previously proposed by Lemeshko (image), Such quantum scarred states can be created States), was able to decrease the size of they demonstrated that superfluid helium and manipulated experimentally, leading as scientists design new materials and machines to test their nonreciprocal devices by two orders of droplets act as magnetic monopoles from to long-lasting coherent oscillations in an ideas and discoveries lead to novel applications. Physicists magnitude. Their device, whose function the perspective of the molecules that are otherwise relaxing quantum system. Their they compare to that of a traffic roundabout immersed inside them. These droplets have finding suggests a new universality class of at IST Austria push boundaries in both aspects, and their for photons (image), is only about a tenth of been studied for decades, but this property quantum dynamics intermediate between research has led to developments in quantum devices, a millimeter in size, and importantly, it is not had gone entirely unnoticed until the inter­ thermalized and integrable systems. magnetic. disciplinary team put their minds to it. high-performance optical imaging, and more.

Faculty Nanoscale photonics for biology JOHANN DANZL | Mathematical Physics, Probability LÁSZLÓ ERDŐS | Quantum Integrated Devices JOHANNES FINK | Self-Organizing Principles in Biological Tissues EDOUARD HANNEZO | Turbulence, Fluid Dynamics, Bio-Fluidics BJORN HOF | Nanoelectronics GEORGIOS KATSAROS | Theoretical Atomic, Molecular, and Optical Physics MIKHAIL LEMESHKO | Quantum Statistical Mechanics, Mathematical Physics ROBERT SEIRINGER | Condensed Matter Theory and Quantum Dynamics MAKSYM SERBYN | Biophysics and Neuroscience GAŠPER TKAČIK

38 39 encouraging collaborations across scientific fields Communicating Science

Over the course of 2017, IST Austria organized and hosted numerous scientific events, encompassing a wide variety of formats and disciplines. Ranging from colloquium lectures given by renowned scientists to special-topics conferences, these events brought science enthusiasts— members of the general public as well as top researchers—to campus to exchange ideas and discuss the latest scientific trends and discoveries. Four of the many events held on campus are highlighted here; a list of major talks and conferences can be found in the “Facts & Figures” section.

Science and Society Lecture – IST Lecture – Walter Scheidel AXON 2017 ANA 2017 Michael I. Jordan

On March 29, 2017, Stanford Professor IST Austria is proud to have welcomed more The 15th meeting of the Austrian Neurosci- IST Lectures are given by eminent scientists Walter Scheidel took his audience of more than 160 participants from all over the world ence Association (ANA) was a huge success, who are invited to present their research than 220 people on a quantitative journey to the European Conference on Molecular bringing nearly 200 neuroscientists to cam- to the general public and the scientific com- through history with his talk “The great and Cellular Mechanisms of Neural Circuit pus at the end of September. Highlights of munity. As part of this series, UC Berkeley leveler: violence and economic inequality Assembly (AXON2017), which took place the congress included plenary lectures by Professor Michael I. Jordan, one of the from the Stone Age to the future”. He exam- on September 11-14, 2017. The conference invited speakers, such as Andreas Luethi, world’s most influential computer scientists, ined how, for thousands of years, economic was designed to attract and engage the who talked about “deconstructing fear”. came to IST Austria to speak about inequality has been a defining feature of best researchers in the field, and create an Another highlight was the Otto Loewi Award “Computational thinking, inferential thinking, civilization, and how only violent shocks interactive platform for the exchange of Ceremony, during which this prestigious and data science”. The November 8 event have significantly reduced inequality, before ideas and latest technologies. prize was awarded to Professor Ruth saw the Raiffeisen Lecture Hall at IST Austria considering the prospects of economic Drdla-Schutting of the Medical University filled to the last seat: around 240 people leveling in today’s more stable world. of Vienna, for her work on mechanisms of came to hear about new perspectives on A lively discussion followed the talk. pain in the spinal cord in general, and of addressing the rapid growth in the size and pathological pain in particular. scope of datasets.

42 43 Outreach and Science Education

A key role of research institutions is to share the wonder, excitement, and methods of scientific research, as well as the discoveries that result, with their local and global communities. With this in mind, IST Austria reaches out to the general public, especially to elementary and high-school students, through numerous community and science educa- tion events organized on campus, as well as by participating in many regional scientific events.

Science education in particular is a key mission of the Institute: it is essential to expose students to scientific discoveries and thinking, and build enthusiasm for science from early on, and to continue to foster curiosity and deeper learning as children grow. Scientists and scientific institutes can contribute expertise and facilities, adding Open Campus Summer Camp for Children’s University How do plants breadth and depth to classroom and extracurricular Science Youngsters of Vienna dance? activities. In order to expand current programs and develop new projects and partnerships in science education, IST Austria held several workshops IST Austria opens its doors to the public Every year at the end of summer, over fifty In 2003, the first children conquered the “Wie tanzen Pflanzen?” is a research project every year in spring, and invites everyone primary school children participate in IST University of Vienna. Now, 15 years later, the for primary school children developed by designed to connect teachers and researchers interested in science to explore a research Austria’s “Sommercampus”, where they take Vienna Children’s University is one of the Professor Eva Benková and her group that over the course of 2017. A list of outreach events exhibition, attend a general science lecture, their first steps into the world of science and largest science education projects in Eu- is designed to convey the principles of plant and tour the laboratories, as well as to relax art. This year for the first time, the camp was rope, and IST Austria joined as a partner for development and observation as a scientific can be found in the “Facts & Figures” section; and enjoy the campus. This year, nearly organized jointly with the Museum Gugging, the first time in 2017. Why is one ant differ- method. Over the course of summer, 25 presented here are four highlights from the year. 2000 visitors looked through microscopes and students were split into four groups: ent from another? How do animals adjust to pupils from a local school discovered the into the world of fruit flies, tried their hands biology, physics, computer science, and art. different habitats like the desert, water, or principles of how plants grow and drink at various geometric and tiling problems, Their curricula ranged from discovering the the jungle, and why do they have different during three half-day sessions and in experi- took a moment to ponder questions about elements of life and designing robots to appearances? These were some of the ments they ran on their own. During the first evolution and the brain that are still baffling measuring invisible forces and experiment- questions that were explored during the meeting, the Benková group gave a short researchers, and much more. Professor ing with colors and shapes. The week also Vienna Children’s University’s first excursion talk about plants and their organs, and Bernd Bickel wowed his audience with the included a treasure hunt and a very dramatic to IST Austria. About 150 children from explained the experiment. At the end of possibilities for 3D-printing during the family egg drop. On the final day, the pupils put Tulln and Vienna participated, and the summer, the class presented the plants they science lecture, and schoolchildren who had together an exhibition for their parents and Institute looks forward to welcoming the had grown and discussed their observa- taken part in a regional contest to submit the campus community, at which they “KinderUni” again in 2018. tions. A hands-on and minds-on activity, the “ideas of today for the world of tomorrow” displayed and explained their projects. students also prepared sunflower samples were honored, and the winners announced. The week concluded with a ceremony in for a microscope in a session supervised by the Raiffeisen Lecture Hall, where the the Bioimaging Facility. The project will be children received diplomas recognizing developed further, and in the future made their accomplishments. available to a larger number of schools in Austria.

44 45 pursuing scientific interests exploiting results Scientific Service Units at IST Austria

Cutting-edge science requires cutting-edge equipment and Staff Scientists Cryo-Electron Microscopy at IST Austria: Staff scientists work closely together with various an investment in cutting-edge technology state-of-the-art facilities. To ensure availability, cost-effective usage, research groups on campus, organize trainings in Cryo-EM, a new technology that allows scientists to and optimal maintenance of these facilities, IST Austria organizes preparation, imaging, and analysis techniques, and image biological structures at near-atomic scales, has assist in the development of SSUs at the Institute. led to a series of breakthrough discoveries in biology in them centrally as the Scientific Service Units (SSUs), an approach Typically associated with a specific SSU, staff scientists recent years. Using cryo-EM, biological samples can be that also fosters collaboration between research groups. possess skills, expertise, and experience not usually observed in their natural state, rendering this method an present within the research groups, and their support indispensable tool. IST Austria has decided to invest in and collaboration are critical to the success of a the infrastructure for cryo-EM, thereby extending the First set up in 2009, the SSUs have grown to 102 employees in variety of projects at IST Austria. The Institute currently portfolio of the Electron Microscopy Facility. The new, employs four staff scientists (above, from left to right). state-of-the-art equipment, which should be up and run- eight facilities with the aim of providing know-how and service Robert Hauschild, Bioimaging Facility ning in 2018, will consist of one 300 kV, one 200 kV, and through central acquisition, customized development, and training. Walter Kaufmann, Electron Microscopy Facility one cryo-dedicated focused ion beam (FIB) microscope. Jack Merrin, Nanofabrication Facility “Before the recent advances in cryo-EM technology, we This infrastructure can be used by any research group at IST Austria, Christoph Sommer, Bioimaging Facility were only able to obtain low resolution information for as well as by external users. large biological molecules. Now, we can resolve fine molecular details, even for samples for which the struc- ture could not have been solved before,” explains Carrie Bernecky, a structural biologist who will be one of the users of the new equipment. In her research projects she aims to determine the structure of protein RNA complexes that have interesting biological functions, and those that play a role in neurodegenerative diseases.

Ludek Lovicar, the manager of the facility, says: “Like all SSUs at IST Austria, we are a multi-user facility, and that means that we optimize our equipment to cover the Eight Scientific Service Units are operational Life Science Facility: The Life Science Facility supports widest possible range of applications. We will be able to at IST Austria: experimental biologists by providing laboratory infra- do single-particle analysis, which is necessary to study structure for the biological sciences such as refrigerators proteins and viruses, as well as cryo-tomography, which Bioimaging Facility: The Bioimaging Facility supports and centrifuges. In addition, the LSF supplies a wide enables the study of macromolecular complexes in their cell biologists with state-of-the-art microscopes and spectrum of supplies for experiments, from liquid nitro- native cellular environment.” flow cytometry equipment. gen to agar plates, and runs the fish and plant facilities. Electron Microscopy Facility: The Electron Microscopy Miba Machine Shop: The Miba Machine Shop pro­ The three new machines, the tallest of which is about Facility provides electron microscopes, as well as duces and provides custom-tailored mechanical and 4 m in size, will be located in Lab Building East, close sample preparation and image analysis facilities for electronic equipment and setups for all experimental to the already established conventional electron micro- the life sciences, physics, and chemistry. In 2018, the research groups. scopes, and close to the labs of IST Austria’s structural Electron Microscopy Facility will expand its portfolio to Preclinical Facility: The Preclinical Facility provides biologists who will be the main users of the facility: include cryo-EM infrastructure. More details about this the infrastructure for research groups using laboratory Carrie Bernecky, Leonid Sazanov, and Florian Schur. addition can be found in the highlight on the right. animals for scientific experiments. Breeding, documen- Nanofabrication Facility: The Nanofabrication tation, and genetic identification of transgenic mouse Facility develops, optimizes, and maintains micro- and rat strains are part of its main duties, which also and nanofabrication processes. include hygienic sanitation of mouse strains. Library: The mainly electronic library provides access Scientific Computing: Scientific Computing supports to all types of scientific information, including eJournals, theoretical and experimental researchers for all scientific eBooks, and databases, and supports open scientific computing needs, primarily by providing a high- communication. performance computing cluster.

48 49 Administration at IST Austria

Creating the best possible environment for world-class research Academic Affairs is responsible for administrating all Campus IT Services assists scientists and admin­ is the central task of all administrative employees at IST Austria. academic matters. Its team coordinates the quality istrative staff with all their IT issues. IT provides basic control of research at the Institute, organizes the recruit- infrastructure for all IT services and takes care of all Staffed with dedicated experts, the administration provides ment process for professors and staff scientists, and application development and customization. high-quality support in the areas listed here. coordinates meetings of the Scientific Board. Academic Affairs moreover supports postdocs and scientific The Office of the President organizes and adminis- visitors during their time at the Institute, and deals with trates all non-scientific affairs for the President and Vice topics such as diversity and inclusion, research ethics, President and acts as an interface between the scientific alumni tracking, and career development for scientists. and administrative staff, board and committee members, The Graduate School Office within the division organizes institutional cooperation partners, and other external the PhD program and academic courses, manages contacts. It includes Stakeholder Relations, which is the admissions and progress-monitoring processes responsible for expanding and administering IST Austria’s for students and supports international scientists. network of supporters.

Communications & Events provides services in media People & Financial Services comprises both the relations, scientific writing, web and social media classic human resources unit of the Institute and the management, alumni relations, event management, teams responsible for all aspects of accounting, public outreach activities, and science education. controlling, and procurement. In addition to these tasks, this division supports scientists with funding schemes, Construction & Maintenance prepares the space for assists in preparing research proposals, and administers new professors and facilities, operates the buildings on approved grants through the Grant Office. The division campus, which includes electricity, heating, ventilation, also includes the Institute’s team of Assistants to and air-conditioning, as well as providing equipment Professors, who support the research groups with and furnishings. The division also includes Environment, a variety of administrative tasks. Health & Safety, which ensures the well-being of everyone on and around campus, and Campus The Technology Transfer Office takes care of all Services, which takes care of childcare, housing, food, matters related to intellectual property developed at IST transportation, sports facilities, and other non-scientific Austria, such as patent protection, licensing technology services on campus. to companies, and supporting the creation of spin-off companies. The office supports aspiring entrepreneurs Executive Affairs was established with the aim of among IST Austria’s young scientists and facilitates building up an adequate support structure for top-level collaboration agreements with industry. management in parallel with the continuing growth of IST Austria and the continuous adaptation of its organi- zational structures. This unit includes Internal Audit, Legal Affairs, and Organization, Processes & Project Management.

50 51 Feeding the Entrepreneurial Bug

Technology Transfer at IST Austria

Technology Transfer Office Intellectual Property The Technology Transfer Office is the one-stop shop As part of its ambition to develop technology transfer for all matters related to intellectual property, industry projects, IST Austria has continued to file patents on liaison, and entrepreneurship at IST Austria. It is respon- inventions with commercial potential. In total, IST Austria sible for patent protection and licensing, and supports now has eleven patent families on file in such diverse the creation of spin-off companies and cooperation with areas as modeling systems for biological networks, industry. A range of measures is available to help trans- photo-patterning research tools, potential treatments for late research results into product ideas that the Institute diabetes, and algorithms to generate flexible casting can commercialize through licensing and the support molds. of startups. TWIST facilitates exchanges with industry, works with founders, and helps researchers interested in joining industry or startups to make career decisions. The project to build a science and technology park for research-intensive enterprises adjacent to the IST Austria campus is moving ahead. The joint development While business angel activity has grown over recent company between ecoplus—the business agency of years and a range of government grants are now Lower Austria—and IST Austria has secured sufficient available, institutional equity investors addressing the commitments to commence construction of the first seed and early stage segments are still rare in Austria. phase. Two buildings providing offices, lab space, and This year, IST Austria and a subsidiary of Lansdowne advanced technical infrastructure will be available Partners took a significant step towards closing this starting mid-2019. Until then, IST Austria is renting gap and improving the situation for young tech-based out office space in Lab Building West to future residents founders who plan to host their ventures in Austria: of the Technology Park. they partnered to set up IST CUBE, a new investment platform that will support the creation and development of tech startups. With an initial investment of EUR 5 million, IST CUBE will be able to fund startups from With the slogan “Create. Connect. Translate.”, this technology-based founders in and outside of Austria. year’s Science Industry Day IST CUBE will invest in advanced technology companies, featured the launch of IST many of which are derived from academic research, CUBE, IST Austria’s new seed fund and incubator, and will help successful founders to generate viable and a panel discussion with business models, form strong teams, and develop their experts, following a “Young Scientists’ and Founders’ ventures, all with the goal of becoming global leaders Afternoon”. in their fields.

53 Supporting IST Austria’s Science and Future

A commitment to IST Austria not only indicates dedication to basic research and its societal impact; it plays a vital role in strengthening the Institute’s independence and Austria’s reputation as a center Philanthropy provides crucial support to independent In 2017, Stakeholder Relations continued liaison work for science. research, and has the power to greatly impact the for IST Austria and brought together scientists and sciences—though the effects of these donations are supporters. The strategic goal to broaden the often not immediately obvious. Supporters of basic Institute’s supporting network led to the signing of an research need to think long-term: experiments are often agreement between IST Austria and the Swiss-based carried out over several years, and in most cases, the NOMIS Foundation. Over the course of four years, the impact of new discoveries takes decades to be fully foundation will support the collaborative research efforts realized. Thus, basic research depends on long-term of Professors Johannes Fink and Georgios Katsaros and commitments—from both scientists and supporters. their groups with EUR 1.4 million, fostering innovative IST Austria is extremely grateful to its private and research approaches in the field of quantum physics. corporate patrons. These contributions have helped With a stronger focus on the fruitful relationships the bring the Institute to the present level of scientific Institute has built so far, 2017 also saw the implementa- excellence, and moreover demonstrate the donors’ tion of a new communication initiative: starting with trust in the principles on which IST Austria was founded. last year’s fall issue in October, IST Austria’s quarterly newsletter is being sent to the Institute’s stakeholders, Cutting-edge research requires top-class facilities. keeping them up to date on the latest news and success The next years will see significant construction work on stories on campus. the campus near Klosterneuburg. Initiating funding for IST Austria’s Visitor Center, kindergarten, and an iconic Since its foundation in 2015, the Strategic Advisory bridge connecting the research institute with the tech- Board has also played a vital role in the expansion of nology park across the road, will be important targets for the Institute’s network of supporters; IST Austria is Stakeholder Relations in 2018. IST Austria honors its very grateful to the members of the board. patrons with permanently named buildings or areas. In addition, donors can support world-class research IST AUSTRIA DONORS CLUB through named scholarships and professorships, the Platinum Club Invicta Foundation latter a new opportunity introduced at the Institute dur- Gold Club Mondi AG, OMV AG, Raiffeisen Group, ing the past year. IST Austria will also continue to add voestalpine AG extra value for its supporters by granting special access Silver Club Berndorf AG, Steven Heinz, Miba AG, to its scientists and organizing events. All donations Oberbank AG, Prinzhorn Holding GmbH, Schoeller to IST Austria are tax-deductible and—importantly— Bleckmann AG, W. Hamburger GmbH, DI Klaus are matched by the federal government of Austria. Pöttinger Donations to IST Austria are accumulating in a Donor Club Alcatel-Lucent-Austria AG; Allinvest foundation that was established especially in late Unternehmensbeteiligungs GmbH, Gebrüder Weiss 2016 to fund IST Austria’s own future endowment, GmbH, Kapsch AG thus underpinning the long-term nature of operations at the Institute.

The Fink and Katsaros groups will be supported by a EUR 1.4 million Oliver Lehmann grant from the NOMIS Foundation. Head of Stakeholder Relations

54 55 Growth and Future Perspectives

Over ten years of growth, IST Austria has passed many milestones—in research, in recruitment, in construction, and in grants and fundraising—and 2017 continued the rapid pace of development. Despite, or because of, what it has already achieved, the Institute begins the next ten years still holding big visions for the future, and still guided by the same principles on which it was founded.

2006 2009 2010 2011 2012 2013 2014 2015 2016 2017 2026 IST Austria founded campus opens first graduate students over 190 employees Lab Building East over 350 over 30 research first PhD degree more than EUR 100 600 employees, over 90 research by law with 37 employees, join the Institute, completed employees groups on campus awarded, million in third-party 31 ERC awardees groups expected including 4 professors Bertalanffy Foundation Lab and Office funding acquired among the 49 building completed Building West opens professors under contract

Expanding the research landscape Campus community Since the beginning, IST Austria has focused on hiring The new buildings and new research facilities reflect the great minds, putting the emphasis on quality, rather than rapid and significant growth in the campus community: research focus. This has resulted in an outstanding in October 2017, the Institute passed 600 employees, group of scientists at all career levels. Of the 49 faculty comprising approximately 400 scientists, 100 scientific members currently under contract at IST Austria, support staff, and 100 administrative staff, together of 14 professors conduct research in the formal sciences some 60 nationalities. IST Austria will continue to grow (computer science and mathematics), 26 in the life through the next phase, eventually reaching more than sciences (biology and neuroscience), and 9 in the 1’000 employees, and 90 to 100 research groups by physical sciences (physics and chemistry). At the end of 2026. the next phase, 2026, these three research clusters are expected to be roughly equally represented on campus. To support the growing community, 90 additional apart- ments for scientists have been built on campus; these Construction will be handed over to the Institute in April of 2018. In As additional buildings are designed and erected, the addition, the kindergarten was expanded: children as Institute seeks to strike a balance between two goals: young as three months can join one of three groups, and first, to foster interdisciplinarity by mixing groups with an additional group is expected to be created in early different research focuses within buildings, and second, 2018. to allow the needs of the scientists to inform the shape and facilities of a building. This year, preparation started for the construction of the next scientific laboratory building, and planning has begun for a future Visitor Center as well as another laboratory building. The coming years will also see an expanded machine shop, a central storage unit, a multi-purpose experimental facility, and the opening of the new administration building.

56 57 58 59 Facts & Figures

62 Professors at IST Austria 64 Research Groups on Campus 88 PhD Students at IST Austria 89 Postdocs at IST Austria 89 IST Austria Alumni 90 Interns at IST Austria 91 Scientific Service Units & Administration at IST Austria 92 Grants Active or Acquired in 2017 95 Publications in 2017 105 Selected Events in 2017 107 IST Austria Internal Awards 2017 107 IST Austria Donors Club 108 Boards of IST Austria 109 Leadership of IST Austria 110 Location & Campus Map 112 Imprint & Image Credits

61 Professors at IST Austria Visiting Professors (Under contract as of December 31, 2017) (Home Institution, Research Area)

Dan Alistarh Distributed Algorithms and Systems Harald Janovjak Synthetic Physiology Total Number of Professors: 49 Joost-Pieter Katoen, RWTH Aachen University and Zhanybek Alpichshev Non-Linear and Time-Resolved Peter Jonas Synaptic Communication in Hippocampal Microcircuits University of Twente (part-time), computer science Optical Spectroscopy of Strongly Correlated Electron Systems Maximilian Jösch Neuroethology Emmanuel Letellier, Université Denis-Diderot - Paris 7, Nick Barton Evolutionary and Mathematical Biology Georgios Katsaros Nanoelectronics mathematics Eva Benková Plant Developmental Biology Anna Kicheva Tissue Growth and Developmental Pattern Formation Gender Among Professors Carrie Bernecky RNA-Based Gene Regulation Vladimir Kolmogorov Discrete Optimization Bernd Bickel Computer Graphics and Digital Fabrication Fyodor Kondrashov Evolutionary Genomics Krishnendu Chatterjee Computer-Aided Verification, Game Theory Christoph Lampert Computer Vision and Machine Learning Sylvia Cremer Social Immunity Mikhail Lemeshko Theoretical Atomic, Molecular, and Optical 18.4% Jozsef Csicsvari Systems Neuroscience Physics Johann Danzl High-Resolution Optical Imaging for Biology Martin Loose Self-Organization of the Cell Herbert Edelsbrunner Algorithms, Computational Geometry, Jan Maas Stochastic Analysis and Computational Topology Gaia Novarino Genetic and Molecular Basis of Neurodevelopmental 81.6% László Erdős Mathematics of Disordered Quantum Systems Disorders and Matrices Krzysztof Pietrzak Cryptography Johannes Fink Quantum Integrated Devices Leonid Sazanov Structural Biology of Membrane Protein Julian Fischer Theory of Partial Differential Equations, Complexes Country of Nationality Applied and Numerical Analysis Florian Schur Structural Biology of Cell Migration and Jiří Friml Developmental and Cell Biology of Plants Viral Infection Călin Guet Systems and Synthetic Biology of Genetic Networks Robert Seiringer Mathematical Physics Germany 20.4% Edouard Hannezo Physical Principles in Biological Systems Maksym Serbyn Condensed Matter Theory and Quantum Austria 16.3% Tamas Hausel Geometry and Its Interfaces Dynamics USA 8.2% Carl-Philipp Heisenberg Morphogenesis in Development Ryuichi Shigemoto Molecular Neuroscience Hungary 6.1% Thomas A. Henzinger Design and Analysis of Concurrent Sandra Siegert Neuroimmunology in Health and Disease Russia 6.1% and Embedded Systems Daria Siekhaus Invasive Migration Romania 4.1% Simon Hippenmeyer Genetic Dissection of Cerebral Cortex Michael Sixt Morphodynamics of Immune Cells Switzerland 4.1% Development Gašper Tkačik Theoretical Biophysics and Neuroscience UK 4.1% Björn Hof Nonlinear Dynamics and Turbulence Beatriz Vicoso Sex-Chromosome Biology and Evolution Other (15*) 30.6% Onur Hosten Quantum Sensing with Atoms and Light Uli Wagner Discrete and Computational Geometry and Topology Maria Ibáñez Functional Nanomaterials Chris Wojtan Computer Graphics and Physics Simulation

Country of PhD Institution

Germany 28.6% USA 28.6% Switzerland 14.3% UK 8.2% Austria 6.1%

Other (7*) 14.2%

Country of Previous Institution

USA 36.7% Germany 26.5% UK 12.2% Switzerland 10.2% Belgium 4.1% Other (5*) 10.3%

* Number of countries

62 63 Research Groups Dan Nick on Campus Alistarh Barton Distributed Algorithms Mathematical Models and Systems of Evolution

Distribution has been a major trend in computing over the last The Barton group develops mathematical models to probe funda- decade, which affects the way we compute in several ways: mental issues in evolution: for example, how do new species form, microprocessor architectures are now multi-core, offering several what limits adaptation, and what shapes the genetic system? parallel threads of computation, while large-scale systems distribute storage and computation across several processors, machines, or Nick Barton and his group study diverse topics in evolutionary data centers. The Alistarh group works to create algorithms that take genetics. The main focus of their work is the effects of natural advantage of these developments, by creating software that scales— selection on many genes, and the evolution of populations that are in other words, it improves its performance when more computation distributed across space. In collaboration with computer scien- is available. tists, they apply population genetics to understand and improve evolutionary algorithms. Working with other groups at IST Austria, This fundamental change in the way computation is performed puts they study the evolution of gene regulation, using a thermodynamic forward exciting open questions. How do we design algorithms to model of transcription factor binding. They also apply models for the extract every last bit of performance from the current generation of spatial spread of introduced genes to optimize biocontrol programs architectures? How do we design future architectures to support that aim to suppress transmission of dengue fever. Finally, a sub- more scalable algorithms? Are there clean abstractions to render stantial component of the group’s work is a long-term study of the high-performance distribution accessible to programmers? The hybrid zone between two populations of snapdragons (Antirrhinum) Alistarh group’s research is focused on answering these questions. that differ in flower color. This combines detailed field observation In particular, they are interested in designing efficient, practical with genetic data to estimate population structure and fitness algorithms for fundamental problems in distributed computing, variation over multiple scales. in understanding the inherent limitations of distributed systems, and in developing new ways to overcome these limitations. Current Projects Evolution of sex and recombination | Evolutionary computation | Evolution of polygenic traits | Understanding genealogies in space and at multiple loci | Limits to a species’ range | Speciation and hybridization in Antirrhinum Current Projects Relaxed concurrent data structures and applications | Team Members 2017 Stefanie Belohlavy (PhD student), Tanmay Dixit (ISTern), Molecular computation | Large-scale distributed machine learning Christelle Fraisse (ISTFELLOW postdoc), Tamar Friedlander (ISTFELLOW postdoc), Team Members 2017 Trevor Brown (postdoc), Giorgi Nadiradze (PhD student), Nicholas Lade (scientific intern), Lenka Matejovičová (PhD student), Maria Melo Joel Rybicki (postdoc), Martin Thoresen (scientific intern) Hurtado (postdoc), Sebastian Novak (postdoc), Tiago Paixão (postdoc), Pavel Payne (PhD student), Melinda Pickup (postdoc), Harald Ringbauer (PhD student), Career Selected Distinctions Himani Sachdeva (ISTFELLOW postdoc), Srdjan Sarikas (postdoc), Enikő Szép • since 2017 Assistant Professor, • 2015 Awarded Swiss National (PhD student), Barbora Trubenová (postdoc) IST Austria Foundation “Ambizione” Fellowship • 2016 – 2017 Visiting Researcher, • 2014 Elected Morgan Fellow at Career Computer Science Department, Downing College, University of • since 2008 Professor, IST Austria • 2013 Mendel Medal, German ETH Zurich Cambridge • 1990 – 2008 Reader and Professor, National Academy of Sciences • 2014 – 2016 Researcher, • 2012 Postdoctoral Fellowship of the University of Edinburgh, UK Leopoldina Microsoft Research, Cambridge, UK Swiss National Foundation • 1982 – 1990 Lecturer and Reader, • 2009 Linnean Society • 2014 – 2016 Morgan Fellow, • 2011 Best Paper Award at the University College London, UK Darwin-Wallace Medal Downing College, University of International Conference on • 1980 – 1982 Demonstrator, • 2009 ERC Advanced Grant Cambridge, UK Distributed Computing and Cambridge University, UK • 2006 Royal Society Darwin Medal • 2012 – 2013 Postdoc, Massachusetts Networking • 1979 PhD, University of East Anglia, • 2001 President, Society for the Institute of Technology, Cambridge, Norwich, UK Study of Evolution USA • 1998 American Society of Naturalists • 2012 PhD, EPFL, Lausanne, Selected Distinctions President’s Award Switzerland • ISI Highly Cited Researcher • 1994 Fellow, Royal Society of • 2016 Schrödinger Lecture, Dublin London • 2013 Erwin Schrödinger Prize, • 1994 David Starr Jordan Prize Austrian Academy of Sciences (ÖAW)

Intuitive diagram of a timing- Studies of hybridization aware cache-coherence between red- and yellow- protocol developed by flowered Antirrhinum in the the Alistarh lab. Cores are Pyrenees tell us about the allowed to process extra process of speciation. timing information about the workload, which can provide order-of-magnitude perfor- mance improvements.

64 65 Eva Bernd Krishnendu Sylvia Benková Bickel Chatterjee Cremer Plant Developmental Computer Graphics Computer-Aided Verification, Biology and Digital Fabrication Game Theory Social Immunity

True to their name’s Greek roots, plant hormones “set in motion” a We are currently witnessing the emergence of novel, computer- Life is a game—at least in theory. Game theory has implications for Social insects fight disease as a collective. They team up to perform myriad of physiological processes. Influencing and modulating each controlled output devices that provide revolutionary possibilities the verification of correctness of computer hardware and software, nest hygiene and mutual sanitary care, which effectively reduces the other, an intricate network of interactions arises. The Benková group for fabricating complex, functional, multi-material objects and but also in biological applications, such as evolutionary game theory. risk of infection and disease transmission through the colony. The seeks to untangle this network and understand its molecular basis. meta-materials with stunning optical and mechanical properties. The Chatterjee group works on the theoretical foundations of game Cremer group studies how collective protection arises at the colony Leveraging the potential of advanced 3D printing technology is theory, addressing central questions in computer science. level from individual behaviors and social interactions in ants, and Post-embryonic formation of new organs, a major determinant of tightly coupled to efficient methods for content creation. how such social immunity affects colony fitness. the plant body architecture, is responsive to a myriad of envi- Game theory studies the interactive problems in decision making. ronmental inputs such as light, temperature, and nutrition. Plant Bernd Bickel is a computer scientist interested in computer graphics It can be used to study problems in logic, automata theory, eco- Similar to the immune cells in a body, ants in a colony can develop hormones allow plants to rapidly adjust their development to these and its overlap into animation, biomechanics, material science, nomics, evolutionary biology, and the design of the internet. The memories of a past infection. The Cremer group found that the indi- external cues. Physiological and genetic studies have investigated and digital fabrication. The main objective of his research group Chatterjee group is interested in the theoretical foundations of game vidual infection history of colony members not only alters their future the signaling components of the individual hormonal pathways. is to push the boundaries of how functional digital models can be theory, its application in formal verification, and evolutionary game disease susceptibility to the same or similar pathogens, but also the However, over the last years it became clear that hormones are efficiently created, simulated, and reproduced. Given the digital na- theory. Game theory in formal verification involves the algorithmic sanitary care they perform on contagious nestmates. Importantly, interconnected by a complex network of interactions. How these ture of the process, three factors play a central role: computational analysis of various forms of games played on graphs, where the ants never stop taking care of their pathogen-exposed nestmates, hormonal networks are established, maintained, and modulated to models and efficient representations that facilitate intuitive design, graph models a reactive system. This broad framework allows for but they modulate their sanitary care behaviors depending on how control specific developmental outputs is the focus of the Benková accurate and fast simulation techniques, and intuitive authoring the effective analysis of many important questions in computer susceptible they themselves are to the pathogen. Ants perform less group. Recently, the group has located several convergence points tools for physically realizable objects and materials. Accordingly, science and helps to develop robust systems. The Chatterjee group grooming behavior, e.g. mechanically removing infectious particles that integrate different hormonal inputs. Importantly, some of these the work of the Bickel group focuses on two closely related chal- also works on algorithmic aspects of evolutionary game theory on by biting them off, and more chemical disinfection, e.g. spray- identified components exceed their function in the hormonal cross- lenges: (1) developing novel modeling and simulation methods, and graphs, where the graph models a population structure. The goals ing their antimicrobial poison, on nestmates from which they may talk and they provide functional links with pathways mediating (2) investigating efficient representation and editing algorithms for of this research are to better understand games and to develop new contract pathogens that are particularly detrimental to themselves. perception of environmental stimuli. materials and functional objects. algorithms. Hence, they provide sanitary care in a self-protective manner.

Current Projects Convergence of hormonal pathways on transport-dependent Current Projects Computational synthesis of metamaterials | Soft robotics | Current Projects Quantitative verification | Stochastic game theory | Current Projects Collective hygiene in ant societies | Social interaction auxin distribution | Identification of hormonal cross-talk components by genetic Interactive design systems | Design of cyber-physical systems Modern graph algorithms for verification problems | Evolutionary game theory networks and epidemiology | Disease resistance and tolerance | Evolution of social approaches | Hormonal crosstalk driven nutrient-dependent root development Team Members 2017 Thomas Auzinger (postdoc), Gabor Birkas (scientific Team Members 2017 Sheshansh Agrawal (scientific intern), Bartosz Bednarczyk immunization Team Members 2017 Melinda Abas (senior laboratory technician), Rashed Abualia intern), Oskar Elek (academic visitor), Egor Gladin (ISTern), Ruslan Guseinov (ISTern), Bhavya Choudhary (scientific intern), Amir Goharshady (PhD student), Team Members 2017 Ernesto Bonadies (ISTern), Barbara Casillas Perez (PhD student), Christina Artner (PhD student), Nivola Cavallari (postdoc), (PhD student), Emmanuel Iarussi (postdoc), Eder Miguel Villalba (postdoc), Christian Hilbe (ISTFELLOW postdoc), Rasmus Ibsen-Jensen (postdoc), (PhD student), Eva Flechl (laboratory technician), Anna Franschitz (PhD student), Michelle Gallei (scientific intern), Marcas Gallemi Rovira (postdoc), Karla Huljev Kazutaka Nakashima (scientific intern), Jesus Perez Rodriguez (predoctoral Joost Katoen (visiting professor), Petr Novotny (ISTFELLOW postdoc), Matthias Fürst (Lise Meitner FWF postdoc), Anna Grasse (senior laboratory techni- (PhD student), Andrej Hurny (PhD student), Mamoona Khan-Djamei (ISTFELLOW visiting scientist), Charles Rajan (ISTern), Denis Sumin (academic visitor), Andreas Pavlogiannis (PhD student), Josef Tkadlec (PhD student), Viktor Toman cian), Megan Kutzer (ISTFELLOW postdoc), Barbara Leyrer (laboratory technician), postdoc), Karolina Kubiasova (academic visitor), Juan Montesinos López (postdoc), Ran Zhang (PhD student) (PhD student) Sina Metzler (PhD student), Barbara Milutinović (postdoc), Elisabeth Naderlinger Krisztina Ötvös (postdoc), Zlata Pavlovicova (scientific intern), Thomas Rauter (project technician), Christopher Pull (PhD student), Florian Wiesenhofer (laboratory (ISTern), Hana Semeradova (PhD student), Kaori Tabata (academic visitor), Career Selected Distinctions Career Selected Distinctions technician) Petr Valosek (laboratory technician) • since 2015 Assistant Professor, • 2017 ACM SIGGRAPH Significant • since 2014 Professor, IST Austria • 2011 Microsoft Research Faculty IST Austria New Researcher Award • 2009 – 2014 Assistant Professor, Fellowship Career Selected Distinctions Career • 2012 – 2014 Research Scientist • 2016 ERC Starting Grant IST Austria • 2011 ERC Starting Grant • since 2015 Professor, IST Austria • 2017 ERC Consolidator Grant • since 2016 Professor, IST Austria • 1998 – 2001 Postdoc, Max Planck and Research Group Leader, • 2015 Microsoft Visual Computing • 2008 – 2009 Postdoc, University of • 2008 Ackerman Award, best thesis • 2010 – 2015 Assistant Professor, • 2015 Elisabeth Lutz Prize, Austrian • 2013 – 2016 Assistant Professor, Institute for Plant Breeding, Cologne, Disney Research Zurich, Switzerland Award California, Santa Cruz, USA worldwide in Computer Science IST Austria Academy of Sciences (ÖAW) IST Austria Germany • 2011 – 2012 Visiting Professor, TU • 2012 EUROGRAPHICS Best • 2007 PhD, University of California, Logic • 2010 Habilitation, University of • 2013 Walther Arndt Prize of the • 2011 – 2013 Group Leader, Central • 1998 PhD, Institute of Biophysics of Berlin, Germany PhD Thesis Berkeley, USA • 2007 David J. Sakrison Prize, Regensburg, Germany German Zoological Society (DZG) European Institute of Technology the Academy of Sciences of the • 2011 – 2012 Postdoc, Disney • 2011 ETH Medal for outstanding best thesis in EECS, University of • 2006 – 2010 Group Leader, • 2012 Research Award Lower Austria: (CEITEC), Brno, Czech Republic Czech Republic, Brno, Research Zurich, Switzerland dissertation California, Berkeley, USA University of Regensburg, Germany Anerkennungspreis des Landes • 2007 – 2013 Group Leader, Flanders Czech Republic • 2010 PhD, ETH Zurich, Switzerland • 2001 President of India Gold Medal, • 2006 Junior Fellow, Institute of Niederösterreich Institute for Biotechnology, Ghent, best IIT student of the year Advanced Studies, Berlin, Germany • 2011 Elected Member of the Young Belgium Selected Distinctions • 2002 – 2006 Postdoc, University of Academy of the Austrian Academy of • 2003 – 2007 Habilitation position, • 2017 Member, EMBO Copenhagen, Denmark Sciences (ÖAW) University of Tübingen, Germany • 2014 FWF-ANR Bilateral Grant • 2002 PhD, University of • 2009 ERC Starting Grant • 2001 – 2003 Postdoc, Centre for • 2011 FWO Grants Regensburg, Germany • 2008 Member of the Young Academy Plant Molecular Biology, Tübingen, • 2008 ERC Starting Grant of the German National Academy of Germany • 2003 – 2007 Margarete von Sciences Leopoldina and the Berlin- Wrangell Habilitation Program Brandenburg Academy of Sciences and Humanities; Alumna since 2013

Plants in the plant growth A self-transforming structure: Poison spraying in ants. chamber. fabricated as a flat object, One worker (left) spraying once released it deforms into its antimicrobial poison onto a predefined surface through another. Poison spraying is a process controlled locally displayed both in fights and by the assemblage of small- as hygienic measure. Picture scale structures. by Roland Ferrigato and Sina Metzler.

66 67 Jozsef Johann Herbert László Csicsvari Danzl Edelsbrunner Erdős High-Resolution Optical Algorithms, Computational Geometry, Mathematics of Disordered Systems Neuroscience Imaging for Biology and Computational Topology Quantum Systems and Matrices

Memory formation is crucial for learning new facts and skills. This How can we decode the molecular architecture of biological sys- Understanding the world in terms of patterns and relations is the How do energy levels of large quantum systems behave? What do process of encoding, storing, and ultimately recalling memories tems? How can we analyze living cells and tissues at the required undercurrent in computational geometry and topology, the broad the eigenvalues of a typical large matrix look like? Surprisingly, these involves complex interactions between various brain regions and nanoscale spatial resolution? The central aim of the Danzl lab, an research area of the Edelsbrunner group. two very different questions have the same answer! neurons in embedded circuits that form complex code to encode interdisciplinary team of physicists, biologist, and neuroscientists, is these memory traces. The Csicsvari group studies how learning is to shed light on problems of biological and ultimately also medical While geometry measures shapes, topology focuses its attention Large complex systems tend to develop universal patterns that implemented in the brain. relevance by developing and using a set of advanced light micros- on how the shapes are connected. These shapes may be three- often represent their essential characteristics. A pioneering vision copy tools. dimensional (an artistic sculpture or a cave in a mountain), it may be of Eugene Wigner was that the distribution of the gaps between During learning, new memories are acquired and subsequently con- four-dimensional (a galloping horse or a flexing protein), or it may energy levels of complicated quantum systems depends only on the solidated to ensure their successful later recall. The Csicsvari group In conventional light microscopy, spatial resolution is limited by even have many more than four dimensions (the configuration space basic symmetry of the model and is otherwise independent of the focuses on understanding how learning leads to memory formation diffraction of light waves to about half the wavelength of light, or of a robot or the expression pattern of a cancer). The Edels­brunner physical details. This thesis has never been rigorously proved for in neuronal circuits by investigating the neuronal system mecha- 200 nm. The Danzl group thus explores and extends the possibilities group approaches the two related subjects of geometry and topol- any realistic physical system but experimental data and extensive nisms of memory formation and stabilization. They also investigate of diffraction-unlimited methods. These enable resolution of tens ogy from a computational point of view. The computer aids in this numerics leave no doubt as to its correctness. Erdős’ group took up the mnemonic role of neuronal populations and their interactions of nanometers, allowing them to capture a wealth of details of bio- study and it is used to make the insights useful in applications and the challenge to verify Wigner’s vision with full mathematical rigor as in brain areas involved in spatial memory processing. The group logical specimens. Analyzing living cells and tissues at high spatial workable for non-specialists. The group believes in a broad well as to understand the underlying mechanism. Starting from the seeks to understand how neuronal circuits process information and and temporal resolution in a minimally perturbative way poses approach that does not sacrifice depth, including the development simplest model, a large random matrix with independent identically form spatial memories by recording the activity of many neurons additional challenges. To this end, the group works toward the of new mathematics, the design of new algorithms and software, distributed entries, they are now able to deal with arbitrary distribu- in different brain regions during spatial learning tasks and sleep. In development of novel imaging approaches, building on their exper- and the application in industry and other areas of science. tions and even matrices with correlated entries. The mathematical their research, the group uses optogenetic methods to selectively tise both in fundamental physics and in high-resolution imaging. Candidate areas for fruitful collaborations include 3D printing, ideas and tools developed along the way will extend the scope of manipulate neuronal activity in different brain areas. They integrate the imaging with state-of-the-art technologies structural molecular biology, neuroscience, and, more generally, random matrix theory and are likely to be used in its many applica- to manipulate cells and tissues, and also to label them. data analysis. tions beyond quantum physics such as wireless communications Current Projects Oscillatory interactions in working memory | Role of and statistics. hippocampal formation in spatial learning | Activation of brain structures using Current Projects Deep-tissue nanoscale imaging | Minimally perturbing Current Projects Discretization in geometry and dynamics | Topological data light sensitive channels to study memory formation high-resolution imaging | Decoding of synapse nano-architecture analysis in information space Team Members 2017 Yosman Bapatdhar (PhD student), Peter Baracskay Current Projects Self-consistent resolvent equation and application in Team Members 2017 Giulio Abagnale (postdoc), Tanja Fritz (scientific intern), Team Members 2017 Arseniy Akopyan (postdoc), Jose Carlos Gomez Larranaga random matrices | Next order correction in the form factor for Wigner matrices | (postdoc), Karel Blahna (postdoc), Igor Gridchyn (PhD student), Agnes Hermann Wiebke Jahr (postdoc), Caroline Kreuzinger (laboratory technician), (academic visitor), Mabel Iglesias Ham (PhD student), Grzegorz Jablonski (post- (scientific intern), Karola Käfer (PhD student), Kristof Klein (scientific intern), Local spectral universality for random band matrices | Spectral statistics of random Jakob Vorlaufer (ISTern, predoctoral visiting scientist), Anna Wang (ISTern) doc), Mirko Klukas (postdoc), Zuzana Masárová (PhD student), Anton Nikitenko matrices with correlated entries | Quantum spin glasses Anna Levina (ISTFELLOW postdoc), Michele Nardin (PhD student), (PhD student), Katharina Ölsböck (PhD student), Georg Osang (PhD student), Joseph O’Neill (postdoc), Dámaris Rangel Guerrero (PhD student), Team Members 2017 Johannes Alt (PhD student), Torben Krüger (postdoc), Career Selected Distinctions Elizabeth Stephenson (academic visitor), Ziga Virk (postdoc), Hubert Wagner Dangzheng Liu (postdoc), Balazs Maga (ISTern), Peter Mühlbacher (scientific Mariia Seleznova (ISTern), Federico Stella (postdoc), Jago Wallenschus • since 2017 Assistant Professor, • 2012 – 2014 Marie Curie (postdoc) (senior laboratory technician), Haibing Xu (postdoc) intern), Peter Nejjar (postdoc), Yuriy Nemish (postdoc), David Renfrew (postdoc), IST Austria Intra-European Fellowship Dominik Schröder (PhD student), Daniel Viosztek (ISTFELLOW postdoc), • 2012 – 2016 Postdoc, Department • 2011 PhD Thesis selected as one Career Selected Distinctions Ben Wallace (postdoc) Career • 1999 – 2001 Postdoctoral Fellow, of NanoBiophotonics, Max Planck of the four best in the years 2009 • since 2009 Professor, IST Austria • ISI Highly Cited Researcher • since 2011 Professor, IST Austria Center for Behavioral and Molecular Institute for Biophysical Chemistry, and 2010 by the AMO (Atomic, • 2004 – 2012 Professor of Mathemat- • 2014 Fellow of the European Career Selected Distinctions • 2008 – 2011 MRC Senior Scientist Neuroscience, Rutgers University, Göttingen, Germany Molecular, Optical) section of the ics, Duke University, Durham, USA Association for Theoretical (tenured), MRC Anatomical New Brunswick, USA • since 2013 Professor, IST Austria • ISI Highly Cited Researcher • 2010 – 2011 Postdoc, Institute for German Physical Society • 1999 – 2012 Arts and Sciences Computer Science • 2003 – 2013 Chair of Applied • 2017 Leonard Eisenbud Prize Neuropharmacology Unit, University • 1999 PhD, Rutgers University, Experimental Physics, University of • 2009 Liechtenstein Prize Professor for Computer Science, • 2014 Member, Austrian Academy of of Oxford, UK New Brunswick, USA Mathematics (C4/W3), Ludwig • 2016 Foreign Member, Hungarian Innsbruck, Austria • 2006 Scholarship for Intellectually Duke University, Durham, USA Sciences (ÖAW) Maximilian University of Munich, Academy of Sciences • 2003 – 2008 MRC Senior • 2010 PhD, University of Innsbruck, Highly Gifted Persons, Rotary Club • 1996 – 2013 Founder, Principal, and • 2012 Corresponding Member of the Scientist (tenure-track), MRC Selected Distinctions Germany • 2015 Corresponding Member, Austria Innsbruck Director, Raindrop Geomagic Austrian Academy of Sciences • 1998 – 2003 Assistant, Associate, Austrian Academy of Sciences (ÖAW) Anatomical Neuropharmacology • 2011 ERC Starting Grant • 2005 MD, Medical University of • 1985 – 1999 Assistant, Associate, • 2008 Member, German Academy of Unit, University of Oxford, UK • 2010 Title of Ad Hominem Professor Full Professor, Georgia Institute of • 2015 Member, Academia Europaea Innsbruck, Austria and Full Professor, University of Sciences Leopoldina Technology, Atlanta, USA • 2014 Invited Speaker, ICM • 2001 – 2002 Research Associate, in Neuroscience at the University of Illinois, Urbana-Champaign, USA • 2006 Honorary Doctorate, Graz Center for Behavioral and Molecular Oxford • 1995 – 1998 Courant Instructor/ • 2013 ERC Advanced Grant • 1981 – 1985 Assistant, Graz University of Technology Assistant Professor, Courant • 2007 – 2016 Participant of SFB Neuroscience, Rutgers University, University of Technology, Austria • 2005 Member, American Academy New Brunswick, USA Institute, New York University, USA TR12, Symmetries and Universality • 1982 PhD, Graz University of of Arts and Sciences • 1994 – 1995 Postdoc, ETH Zurich, • 1999 – 2005 NSF Grants Technology, Austria • 1991 Alan T. Waterman Award, Switzerland • 1993 – 1994 Alfred P. Sloan National Science Foundation • 1994 PhD, Princeton University, USA Foundation Dissertation Fellowship

Ultra slow exposure image of 3D rendering of a portion of The three nested barycenter Variance profile of an inho- a learning experiment on the a living neuron recorded with polytopes in three dimen- mogeneous random matrix H “cheeseboard” maze. diffraction-unlimited resolu- sions. (top). Eigenvalue distribution tion in all spatial directions. of H and its limiting density Scale bar: 1 μm. Image taken (bottom). from Nature Photonics 10, 122 (2016).

68 69 Johannes Julian Jiří Călin Fink Fischer Friml Guet Theory of Partial Differential Equations, Developmental and Systems and Synthetic Quantum Integrated Devices Applied and Numerical Analysis Cell Biology of Plants Biology of Genetic Networks

The Fink group’s research is positioned between quantum optics and Diverse phenomena such as the motion of fluids or elastic objects, When conditions get tough, animals typically fight or flee, but plants Living systems are characterized by connections and interactions mesoscopic condensed matter physics. The team studies quantum the evolution of interfaces, or the physics of quantum-mechanical are rooted in their environment, and, as a result, have become across many scales—from genes, to organelles, to cells, to organs, effects in electrical, mechanical, and optical chip-based devices with particles are described accurately by partial differential equations. remarkably adaptable. The Friml group investigates the mechanisms to ecologies—as parts of networks. Which basic rules, if any, do the goal to advance and integrate quantum technology for simulation, The Fischer group works on the mathematical analysis of partial underlying plants’ adaptability during embryonic and postembryonic these networks follow? The Guet group studies the molecular communication, metrology, and sensing. differential equations that arise in the sciences, connecting also to development. biology and evolution of gene regulatory networks by analyzing areas like numerical analysis or probability. both natural and synthetic networks. One of Fink’s goals is to develop a microchip-based router that will Plants and animals have different life strategies. Plants are highly be able to convert a microwave signal to an optical signal with near Partial differential equations are a fundamental tool for the descrip- adaptive, and able to modify development and physiology to en- Genes and proteins constitute themselves into bio-molecular unity efficiency. With such devices, the Fink group seeks to perform tion of many phenomena in the sciences, ranging from the physics vironmental changes; they can easily regulate growth, initiate new networks in cells. These genetic networks are engaged in a constant quantum communication with superconducting circuits and telecom of continua like fluids or elastic solids over quantum mechanics to organs or regenerate tissues. Many of these developmental events process of decision-making and computation over time scales of wavelength photons. In one project, the group uses a qubit to create population biology. Julian Fischer and his group work on the mathe­ are mediated by the plant hormone auxin. The Friml group investi- a few seconds to the time it takes a cell to divide, and beyond. By a single photon state. With the router, this microwave photon is con- matical aspects of partial differential equations. One of the group’s gates the unique properties of auxin signaling, which can integrate studying existing networks and constructing synthetic networks in verted into an optical photon, which can then be transmitted over main themes is the mathematical justification of model simplifica- both environmental and endogenous signals. Employing methods living cells, the group works to understand how molecular mecha- long distances using low-loss optical fiber. The Fink group will also tions: For example, an elastic material with a highly heterogeneous spanning molecular physiology, developmental and cell biology, nisms interact with evolutionary forces that ultimately shape each use this technique to entangle microwave and optical photons— small-scale structure may in many cases be approximated as a genetics, biochemistry, and mathematical modeling, the group other. They use a variety of classical and modern experimental an important step toward realizing worldwide quantum networks. homogeneous material. Likewise, a fluid with low compressibility focuses on auxin transport, cell polarity, endocytic recycling, as techniques that together enable them to construct any imaginable Another direction is to develop higher quality qubits by using new may in many cases be approximated as ideally incompressible. well as non-transcriptional mechanisms of signaling. In their work, network in living bacteria and thus to study the network dynamics electrical circuit elements called geometric superinductors which To justify such approximations, the group derives rigorous estimates the Friml group gains insights into the mechanisms governing plant from the single-cell level all the way to the level of small ecologies, help suppress charge fluctuations that can wash out the quantum for the approximation error. The techniques they employ connect development, and have shown how signals from the environment in which bacteria interact with bacteriophages. information stored on-chip. the analysis of PDEs with adjacent mathematical areas like numerical are integrated into plant signaling and result in changes to plant analysis and probability. growth and development. Current Projects Information processing and evolution of complex promoters | Current Projects Quantum electro-mechanics | Quantum microwave photonics | Single-cell biology of multi-drug resistance | Biology, ecology, and evolutionary dynamics of restriction-modification systems Ultra-high impedance physics for hardware protected qubits | Quantum phononics Current Projects Effective behavior of random materials | Evolution of interfaces Current Projects Polar auxin transport | Cell polarity and polar targeting | | Multi-qubit quantum electrodynamics Team Members 2017 Remy Chait (postdoc, shared with Tkačik group), Rok Grah in fluid mechanics | Structure of fluctuations in stochastic homogenization | Endocytosis and recycling | Non-transcriptional mechanisms of signaling (PhD student, shared with Tkačik group), Claudia Igler (PhD student), Kirti Jain Team Members 2017 Georg Arnold (scientific intern), Shabir Barzanjeh Entropy-dissipative PDEs Team Members 2017 Matyas Fendrych (postdoc), Matous Glanc (predoctoral (postdoc), William Hughes (ISTern), Nikolaj Kuntner (laboratory technician), (ISTFELLOW postdoc), Mato Lagator (postdoc), Moritz Lang (postdoc), Anny Team Members 2017 Sanchit Chaturvedi (scientific intern) visiting scientist), Huibin Han (PhD student), Alexander Johnson (postdoc), Nagy-Staron (postdoc), Nela Nikolic (ISTFELLOW postdoc), Magdalena Steinrück Dylan Lewis (scientific intern), Matilda Peruzzo (PhD student), Elena Redchenko Ivan Kulik (scientific intern), Lanxin Li (PhD student), Gergely Molnar (postdoc), (PhD student), Alfredo Rueda Sanchez (predoctoral visiting scientist), (PhD student), Isabella Tomanek (PhD student), Kathrin Tomasek (PhD student, Career Selected Distinctions Madhumitha Narasimhan (PhD student), Jana Riederer (ISTern), Yuliya Salanenka shared with Sixt group) Donald Swen (ISTern), Andrea Trioni (scientific intern), Matthias Wulf (postdoc), • since 2017 Assistant Professor, • 2015 Dr. Körper Prize, PhD Award (postdoc), Lesia Solovey (ISTFELLOW postdoc), Shutang Tan (ISTFELLOW Martin Zemlicka (postdoc) IST Austria of the GAMM postdoc), Mina Vasileva (PhD student), Inge Verstaeten (postdoc), Daniel von Career Selected Distinctions • 2014 – 2016 Postdoc, Max Planck Wangenheim (ISTFELLOW postdoc), XiXi Zhang (predoctoral visiting scientist), • since 2011 Assistant Professor, • 2017 ESPCI Chair, Paris Career Selected Distinctions Institute for Mathematics in the Yuzhou Zhang (postdoc) • since 2016 Assistant Professor, • 2017 ERC Starting Grant IST Austria • 2015 ETAPS EASST Best Paper Sciences, Leipzig, Germany • 2009 Postdoc, Harvard University, Award IST Austria • 2012 IQIM Postdoctoral Prize • 2013 – 2014 Postdoc, University Career Selected Distinctions • 2015 – 2016 Senior Staff Scientist, Fellowship USA • 2011 HFSP Young Investigator Grant of Zurich, Switzerland • since 2013 Professor, IST Austria • 2017 ERC Advanced Grant • 2005 – 2008 Postdoc, The University • 2005 Yen Fellow, The University California Institute of Technology, • 2010 ETH Medal for Outstanding • 2013 PhD, University of • 2007 – 2012 Full Professor, • 2016 Charles Albert Shull Award, Pasadena, USA Dissertation of Chicago, USA of Chicago Erlangen-Nürnberg, Germany University of Ghent, Belgium ASPB • 2004 PhD, Princeton University, USA • 2012 – 2015 IQIM Postdoctoral • 2009 CSF Award at the QSIT • 2006 Full Professor, University of • 2015 Selected to 2015 World’s Most Research Scholar, California Conference on Quantum Göttingen, Germany Influential Scientific Minds Institute of Technology, Pasadena, Engineering • 2002 – 2005 Group Leader, • 2015 Erwin Schrödinger Prize, USA Habilitation, University of Tübingen, Austrian Academy of Science (ÖAW) • 2011 – 2012 Postdoctoral Research Germany • 2014 Běhounek Prize, Fellow, ETH Zurich, Switzerland • 2002 PhD, Masaryk University, Brno, Czech Ministry of Education • 2010 PhD, ETH Zurich, Switzerland Czech Republic • 2012 EMBO Gold Medal • 2000 PhD, University of Cologne, • 2011 Elected Elected Fellow Germany of the American Association for the Advancement of Science (AAAS) • 2010 Member, EMBO • 2010 Körber European Science Mechanical microwave circu- A schematic picture of Polarity in Arabidopsis cells. Award Fluorescent microscopy lator. Three lumped element upscaling for a material with • 2010 Olchemim Scientific Award images of Escherichia coli microwave resonators (thin a heterogeneous small-scale • 2005 Heinz Maier-Leibnitz Prize cells grown in a ‘mother- film aluminum spirals on the structure. machine’, express AcrB-GFP left) are capacitively coupled • 2004 EMBO Young Investigator to visualize the AcrAB-TolC to a silicon micro-machined Award trans-membrane complex, nanostring mechanical oscil- • 2000 Max Planck Society Award: the main multi-drug resis- lator (top left). In the presence The Otto Hahn Medal tance determinant of Gram of appropriate pump fields negative bacteria, which un- this microchip device (yellow dergoes biased partitioning at scale bar corresponds to 0.1 cell division (Bergmiller et al mm) breaks time-reversal Science 356, 311-15, 2017). symmetry and acts like a roundabout for microwave photons.

70 71 Edouard Tamás Carl-Philipp Thomas A. Hannezo Hausel Heisenberg Henzinger Physical Principles Design and Analysis of in Biological Systems Geometry and Its Interfaces Morphogenesis in Development Concurrent and Embedded Systems

During embryo development, cells must “know” how to behave at How can we understand spaces too large for traditional analysis? The most elaborate shapes of multicellular organisms—the Humans and computers are surprisingly similar: while the interaction the right place and at the right time. The Hannezo group applies Combining ideas from representation theory and combinatorics, the elephant’s trunk, the orchid blossom, the lobster’s claw—all start between two actors may be simple, every additional actor compli- methods from theoretical physics to understand how these robust Hausel group develops tools to study the topology of spaces arising off from a simple bunch of cells. This transformation of a seemingly cates matters. The Henzinger group builds the mathematical founda- choices occur. from string theory and quantum field theory. unstructured cluster of cells into highly elaborate shapes is a tions for designing complex hardware and software systems. common and fundamental principle in cell and developmental The Hannezo group is particularly interested in design principles and Suppose you have many particles, and consider the space made biology and the focus of the Heisenberg group’s work. Over 90% of today’s worldwide computing power is found in unex- processes of self-organization in biology, at various scales, in close up of all the ways each particle can move between two points. pected places like cell phones or kitchen appliances. Software has collaboration with cell and developmental biologists. Their methods Now, play the same game with more complicated objects, such as To gain insights into critical processes by which the developing become one of the most complicated man-made artifacts, making include tools from solid and fluid mechanics, statistical physics vector fields. The resulting spaces are too large to analyze, but it is organism takes shape, the Heisenberg group focuses on gastrula- software bugs unavoidable. The Henzinger group addresses the as well as soft matter approaches. Examples of problems that the possible to simplify them along structural symmetries, giving rise to tion in zebrafish and ascidians, a highly conserved process in which challenge of reducing software bugs in concurrent and embedded group is working on—at three different scales—include: moduli spaces that are finite-dimensional, but non-compact—again, a seemingly unstructured blastula is transformed into an organized systems. The former consist of parallel processes that interact 1) how do cytoskeletal elements, which generate forces within cells, defying traditional methods. The Hausel group studies the topology, embryo. The group has chosen a transdisciplinary approach, with one another, whether in a global network or on a tiny chip. self-organize to produce complex spatio-temporal patterns? geometry, and arithmetic of these moduli spaces, which include employing a combination of genetic, cell biological, biochemical, Because of the large number of possible interactions between 2) how do cells concomitantly acquire identities and shape a tissue the moduli spaces of Yang-Mills instantons in four dimensions, and and biophysical tools. Using these tools, the group is addressing parallel processes, concurrent software is particularly error-prone, during development? and 3) how does complex tissue architecture Higgs bundles in two dimensions, among others. One question is how the interplay between the physical processes driving cell and and sometimes bugs show up after years of flawless operation. derive from simple self-organizing principles, for instance during the number of high-dimensional holes of the spaces. Using methods tissue morphogenesis and the gene regulatory pathways determin- Embedded systems interact with the physical world; an additional branching morphogenesis (in organs such as the kidneys, mammary from representation theory and combinatorics, Hausel and his team ing cell fate specification control gastrulation. Insights derived from challenge for this kind of safety-critical software is to react suffi- glands, pancreas, and prostate) as a prototypical example. are able to give results and conjectures that have previously been this work may ultimately have implications for the study of wound ciently quickly. The Henzinger group invents mathematical methods described by physicists and number theorists in other terms— healing and cancer biology, as immune and cancer cells share many and develops computational tools for improving the reliability of Current Projects Stochastic branching in mammalian organs | Active fluids and connecting a wide variety of fields and ideas. morphogenetic properties of embryonic cells. software in concurrent and embedded systems. cell cytoskeleton | Models of fate choices of stem cells during homeostasis and embryo development Current Projects Geometry, topology, and arithmetic of moduli spaces arising Current Projects Cell adhesion | Actomyosin contraction | Cell and tissue Current Projects Analysis and synthesis of concurrent software | Quantitative Career Selected Distinctions in supersymmetric quantum field theories | Representation theory of quivers, finite morphogenesis | Cell polarization and migration modeling and verification of reactive systems | Predictability and robustness for • since 2017 Assistant Professor, • 2015 Wellcome Trust Fellowship groups, Lie and Hecke algebras Team Members 2017 Feyza Arslan (PhD student), Vanessa Barone (postdoc), real-time and embedded systems | Model checking biochemical reaction networks IST Austria • 2014 Young Researcher Prize of the Team Members 2017 Iordan Ganev (postdoc), Quoc Ho (postdoc), Emmanuel Silvia Caballero Mancebo (PhD student), Daniel Capek (PhD student), Benoit Go- Team Members 2017 Guy Avni (postdoc), Duc Hiep Chu (postdoc), Przemyslaw • 2015 – 2017 Sir Henry Wellcome Bettencourt-Schuller Foundation Letellier (visiting professor), Penghui Li (postdoc), Anton Mellit (postdoc), Martin dard (postdoc), Roland Kardos (ISTFELLOW postdoc), Yuuta Moriyama (academic Daca (PhD student), Thomas Ferrere (postdoc), Mirco Giacobbe (PhD student), Postdoctoral Fellow, Gurdon • 2014 Trinity College Junior Research Mereb (postdoc), András Sándor (PhD student), Mikhail Shkolnikov (ISTFELLOW visitor), Diana Nunes Pinheiro (postdoc), Nicoletta Petridou (postdoc), Saurabh Bharat Khandelwal (scientific intern), Hui Kong (postdoc), Bernhard Kragl (PhD Institute, Cambridge, UK Fellowship postdoc), Dimitri Wyss (predoctoral visiting scientist), Yaping Yang (postdoc), Pradhan (visiting scientist), Kornelija Pranjic-Ferscha (laboratory technician), student), Andrey Kupriyanov (postdoc), Ege Sarac (ISTern) • 2015 – 2017 Junior Research Fellow, • 2010 PhD grant from the French Gufang Zhao (postdoc) Alexandra Schauer (PhD student), Thomas Schultheiss (academic visitor), Cornelia Trinity College, University of Ministry of Research Schwayer (PhD student), Mateusz Sikora (postdoc), Jana Slovakova (ISTFELLOW Career Selected Distinctions Cambridge, UK Career • 1999 – 2002 Miller Research Fellow, postdoc), Zoltan Spiro (ISTFELLOW postdoc), Peng Xia (postdoc) • since 2009 Professor, IST Austria • ISI Highly Cited Researcher • 2014 Postdoc, Institut Curie, Paris, • since 2016 Professor, IST Austria Miller Institute for Basic Research • 2004 – 2009 Professor, EPFL, • 2015 Royal Society Milner Award France • 2012 – 2016 Professor and Chair of in Science, University of California, Career Selected Distinctions Lausanne, Switzerland • 2015 EATCS Fellow • 2014 PhD, Institut Curie and Geometry, EPFL, Lausanne, Berkeley, USA • since 2010 Professor, IST Austria • 2017 ERC Advanced Grant • 1999 – 2000 Director, Max Planck • 2015 Honorary Doctorate, Masaryk Université Pierre et Marie Curie, Switzerland • 1998 – 1999 Member, Institute for • 2001 – 2010 Group Leader, • 2017 Lower Austrian Science Award Institute for Computer Science, University, Brno, Czech Republic Paris, France • 2007 – 2012 Tutorial Fellow, Advanced Study, Princeton, USA Max Planck Institute of Molecular • 2015 Member, EMBO Saarbrücken, Germany • 2014 Most Influential 2004 POPL Wadham College, Oxford, UK • 1998 PhD, Trinity College, Cell Biology and Genetics, Dresden, • 2015 Member, German Academy of • 1998 – 2004 Professor, University of Paper Award • 2007 – 2012 University Lecturer, University of Cambridge, UK Germany Sciences Leopoldina California, Berkeley, USA • 2013 AAAS Fellow University of Oxford, UK • 1997 – 2000 Postdoc, University • 2000 Emmy Noether Junior • 1997 – 1998 Associate Professor, • 2012 Wittgenstein Award • 2005 – 2012 Royal Society Selected Distinctions College London, UK Professorship University of California, Berkeley, • 2012 Honorary Doctorate, University University Research Fellow, • 2013 ERC Advanced Grant • 1996 PhD, Max Planck Institute of USA Joseph Fourier, Grenoble, France University of Oxford, UK • 2009 EPSRC First Grant Developmental Biology, Tübingen, • 1996 – 1997 Assistant Professor, • 2012 Logic in Computer Science • 2002 – 2010 Assistant, Associate • 2008 Whitehead Prize Germany University of California, Berkeley, Test-of-Time Award Professor, University of Texas, • 2005 Sloan Research Fellow USA • 2011 Member, Austrian Academy of Austin, USA • 1992 – 1995 Assistant Professor, Sciences (ÖAW) Cornell University, Ithaca, USA • 2011 ACM SIGSOFT Impact Paper • 1991 Postdoc, University Joseph Award Fourier, Grenoble, France • 2010 ERC Advanced Grant • 1991 PhD, Stanford University, • 2006 ACM Fellow Palo Alto, USA • 2006 IEEE Fellow • 2006 Member, Academia Europaea Successive snapshots from Hitchin fibration on the real Zebrafish embryo at the • 2005 Member, German Academy of a numerical simulation of points of the toy model Higgs onset of gastrulation, stained branching morphogenesis in moduli space. for nuclei (blue), microtubules Sciences Leopoldina the mouse kidney. (red) and microtubule orga- • 1995 ONR Young Investigator Award nizing centers (white). • 1995 NSF Faculty Early Career Development Award

72 73 Simon Björn Harald Peter Hippenmeyer Hof Janovjak Jonas Genetic Dissection of Nonlinear Dynamics Synaptic Communication Cerebral Cortex Development and Turbulence Synthetic Physiology in Hippocampal Microcircuits

The human cerebral cortex, the seat of our cognitive abilities, is Most fluid flows of practical interest are turbulent, yet our under- When first faced with a new machine, an engineer’s instinct is to Synapses enable communication between neurons in the brain. composed of an enormous number and diversity of neurons and glia standing of this phenomenon is very limited. The Hof group seeks disassemble it to understand its inner workings. The Janovjak group The Jonas group investigates how signals pass through these vital cells. How the cortex arises from neural stem cells is an unsolved but to gain insight into the nature of turbulence and the dynamics of applies engineering principles to take apart the cell’s signaling interfaces—a major undertaking in the field of neuroscience. fundamental question in neuroscience. In the pursuit of mechanistic complex fluids. machinery and gain a better insight into how it orchestrates virtually insights, the Hippenmeyer group genetically dissects corticogenesis all physiological functions. Understanding the function of the brain is a major challenge in the at unprecedented single cell resolution using the unique MADM Flows in oceans, around vehicles, and through pipelines are all 21st century. The human brain comprises ~10 billion neurons, which (Mosaic Analysis with Double Markers) technology. highly turbulent. Turbulence governs friction losses and transport The receptors on the surfaces of cells are the antennas that receive communicate through ~10000 synapses per cell. Excitatory syn- and mixing properties. Despite its ubiquity, insights into the nature chemical signals and pass them on to the inside of the cell, causing apses use glutamate as a transmitter, whereas inhibitory synapses The Hippenmeyer group’s current objectives are 1) to establish of turbulence are very limited. To obtain a fundamental understand- specific and tightly controlled responses of multifaceted signaling release Gamma-Aminobutyric acid (GABA). The group addresses a definitive quantitative and mechanistic model of cortical neural ing of the origin and the principles underlying this phenomenon, the pathways. The Janovjak group seeks to understand cellular signals two major questions. First, what are the biophysical signaling and stem cell lineage progression; 2) to dissect the cellular and molecu- Hof group investigates turbulence when it first arises from smooth, and takes a unique synthetic biology approach to actively manipu- plasticity mechanisms at glutamatergic and GABAergic synapses lar mechanisms generating cell-type diversity; 3) to determine the laminar flow. The group combines detailed laboratory experiments late this process. Receptors are engineered to respond to new in the cortex? Second, how do specific synaptic properties gener- role of genomic imprinting, an epigenetic phenomenon, in cortex with highly resolved computer simulations, and applies methods physical stimuli, such as light or ultrasound, rather than to their ate higher network functions? In their work, the group combines development. In a broader context, the group’s research has the from nonlinear dynamics and statistical physics, enabling them to native chemical signals. The artificial stimuli are then used to study nanophysiology, presynaptic patch-clamp and multi-cell recording, ultimate goal to advance the general understanding of brain function decipher key aspects of the transition from smooth to turbulent flow, circuits and networks by activating or inactivating them at any given two-photon Ca2+ imaging, optogenetics, in vivo recording, and mod- and why human brain development is so sensitive to disruption of and identify universal features shared with disordered systems in point, as well as to synthetically create or restore aberrant signaling eling. One focus is hippocampal mossy fiber synapses and output particular signaling pathways in pathological neurodevelopmental other areas of physics. Some of these insights can be used to con- in health and disease. synapses of parvalbumin-expressing GABAergic interneurons. diseases and psychiatric disorders. trol turbulent flow, and the group actively develops such methods. In addition, the group investigates instabilities in fluids with more Current Projects Synthetic control of receptors and signaling pathways | Current Projects Nanophysiology of fast-spiking, parvalbumin-expressing Current Projects Determine neuronal lineages by clonal analysis | Mechanisms complex properties, such as dense suspensions of particles and Remote restoration of cell and animal behavior GABAergic interneurons | Biophysics and circuit function of hippocampal mossy Team Members 2017 Eva Gschaider-Reichhart (PhD student), Raimund Huf fiber synapses | Analysis of neuronal coding in vivo and in realistic network models generating cell-type diversity | Probing genomic imprinting in cortex development polymer solutions. Team Members 2017 Nicole Amberg (postdoc), Robert Beattie (postdoc), (scientific intern), Álvaro Inglés Prieto (postdoc), Stephanie Kainrath (PhD student) Team Members 2017 Christina Altmutter (laboratory technician), Yoav Ben Ximena Contreras Paniagua (PhD student), Andi Hansen (PhD student), Susanne Kristian Kolev (laboratory technician), Christina Manner (scientific intern), Catherine Simon (ISTFELLOW postdoc), Carolina Borges-Merjane (Marie Curie postdoctoral Laukoter (PhD student), Sona Mikovicova (laboratory technician), Florian Pauler Current Projects Transition from laminar to turbulent flow | Dynamics of complex Mckenzie (PhD student), Laura Rodriguez Hernandez (ISTFELLOW postdoc), fellow), Chong Chen (PhD student), Claudia Espinoza Martinez (PhD student), Jian (senior laboratory technician), Julio Rodarte (laboratory technician), Lena Schwarz fluids | Control of fully turbulent flows | Cytoplasmic streaming | Instabilities in Inma Sanchez Romero (postdoc), Miroslava Spanova (laboratory technician), Gan (postdoc), Xiaoqi Geng (postdoc), José Guzmán (postdoc), Olena Kim (PhD (ISTern), Olivia Slepecka (scientific intern), Aysan Cerag Yahya (scientific intern), cardiovascular flows Lucie Studena (ISTern), Alexandra-Madelaine Tichy (PhD student) student), Florian Marr (senior laboratory technician), Rajiv Mishra (postdoc), Mag- Johanna Sonntag (laboratory technician), Carmen Streicher (laboratory technician) Team Members 2017 Nishchal Agrawal (PhD student), Sebastian Altmeyer (post- dalena Picher (postdoc), Alois Schlögl (software engineer), Benjamin Suter (Marie doc), Nazmi Budanur (postdoc), George Choueiri (ISTFELLOW postdoc), Akshunna Career Selected Distinctions Curie postdoctoral fellow), David Vandael (postdoc), Victor Vargas Barroso (ISTplus Career Selected Distinctions Dogra (ISTern), Lukasz Klotz (ISTplus postdoc), Grégoire Lemoult (postdoc), José • since 2011 Assistant Professor, • 2011 HFSP Young Investigator Grant postdoc), Xiaomin Zhang (ISTFELLOW postdoc) • since 2012 Assistant Professor, • 2016 ERC Consolidator Grant Lopez Alonso (ISTFELLOW postdoc), Xingyu Ma (postdoc), Philipp Maier (techni- IST Austria • 2011 EU FP7 Career Integration IST Austria • 2014 HFSP Program Grant cian), Chaitanya Paranjape (PhD student), Davide Scarselli (PhD student), Shayan • 2010 – 2011 Postdoc, University of Grant Career • 2011 – 2012 Research Associate, • 2013 Marie Curie Career Integration Shamipour (PhD student), Atul Varshney (ISTplus postdoc), Mukund Vasudevan Munich, Germany • 2007 – 2009 EMBO Long-term • since 2010 Professor, IST Austria • 2011 ERC Advanced Grant Stanford University, Palo Alto, USA Grant (postdoc) • 2006 – 2010 Postdoc, University of Fellowship • 1995 – 2010 Professor of Physiology NANOPHYS • 2006 – 2011 Postdoctoral Fellow, • 2009 – 2011 Fellowship for California, Berkeley, USA • 2005 PhD with highest honors and Department Head, University of • 2009 Adolf Fick Award, Physical- Stanford University, Palo Alto, USA Advanced Researchers, Swiss Career Selected Distinctions • 2005 PhD, University of Dresden, (summa cum laude) Freiburg, Germany Medical Society, Würzburg, Germany • 2004 – 2006 Postdoctoral National Science Foundation, Bern, • since 2013 Professor, IST Austria • 2012 ERC Consolidator Grant Germany • 1994 – 1995 Associate Professor, • 2008 Member, Academy of Associate, University of Basel and Switzerland • 2007 – 2013 Research Group • 2011 Dr. Meyer Struckmann Technical University of Munich, Sciences, Heidelberg, Germany Friedrich Miescher Institute for • 2007 – 2009 HFSP Long-term Leader, Max Planck Institute for Science Prize Germany • 2007 Member of the Board of Biomedical Research, Basel, Fellowship Dynamics and Self-Organization, • 2005 RCUK Fellowship • 1990 – 1994 Research Assistant, Reviewing Editors, Science Switzerland • 2006 EMBO Long-term Fellowship Göttingen, Germany Max Planck Institute for Medical • 2007 Tsungming Tu Award, National • 2004 PhD, University of Basel, • 2005 Natural Sciences Faculty Prize • 2005 – 2007 Lecturer, University of Research, Heidelberg, Germany Science Council Taiwan Switzerland for the best PhD thesis of the year Manchester, UK • 1988 – 1989 Postdoc, University of • 2006 DFG Gottfried Wilhelm Leibniz 2004, University of Basel, • 2003 – 2005 Research Associate, Giessen, Germany Award Switzerland Delft University of Technology, • 1987 MD / PhD, University of • 2002 Member, German Academy of • 2005 Edmond H. Fischer Prize The Netherlands Giessen, Germany Sciences Leopoldina • 2001 PhD, University of Manchester, • 1998 Max Planck Research Award UK Selected Distinctions • 1997 Medinfar European Prize in • 2016 FWF Wittgenstein Award Physiology, President of Portugal • 2016 ERC Advanced Grant • 1994 BMBF Heinz Maier Leibnitz GIANTSYN Award • 2016 Elected Member Editorial • 1992 DFG Heisenberg Fellowship Board, Neuron MADM-labeled clonally Using optogenetics to • 2015 Member, Academia Europaea related neurons and glia cells manipulate the cell signaling distributed across the six lay- machinery. ers in the cerebral cortex.

Ensemble of eight recon- structed pyramidal neurons in the hippocampal CA3 region. The synapses between these neurons are believed to store information through synaptic plasticity.

74 75 Maximilian Georgios Anna Vladimir Jösch Katsaros Kicheva Kolmogorov Tissue Growth and Neuroethology Nanoelectronics Developmental Pattern Formation Discrete Optimization

Maximilian Jösch and his team study the neuronal basis of innate Computers are becoming ever more powerful due to the continuous Individuals of the same species can differ widely in size, but their As we step out into the street, we automatically judge the distance behaviors, i.e. the processes implemented by neuronal circuits miniaturization of transistors. In his research, Georgios Katsaros uses organs have reproducible proportions and patterns of cell types. and speed of cars. For computers, estimating the depth of objects to transform sensory information into motor commands. Using semiconductor nano-transistors with a height of just 15-20 atoms. This requires the coordination of tissue growth with the generation in an image requires complex computations. A popular approach for a combination of molecular and physiological approaches, they With these nano-devices, the solid-state physicist investigates the of diverse cell types during development. The Kicheva group studies tackling this problem is to use discrete optimization algorithms—the monitor brain activity during animal behavior to reveal the principles fundamental physical concepts on which quantum computing could how this coordination is achieved in the vertebrate neural tube, the research focus of the Kolmogorov group. and motifs of neuronal computation. be based in the future. embryonic precursor of the spinal cord and brain. The work of Vladimir Kolmogorov’s group can be divided into three Two different model organisms, the mouse and the fruit fly Georgios Katsaros develops semiconductor nanodevices and stud- Neural tube development is controlled by signaling molecules called topics. The first is the development of efficient algorithms for infer- (Drosophila melanogaster), are being used in parallel to take ies the quantum effects that appear when these nano-transistors morphogens. Morphogens determine what type of neuron a neural ence in graphical models and combinatorial optimization problems. advantage of their unique strengths and gather a general, cross- are cooled down. One quantum mechanical property of a charge progenitor cell will become. They also control tissue growth by Some of their techniques are widely used in computer vision and phyla understanding of computational principles. Experiments in carrier is its spin. Katsaros investigates such quantum bits or qubits influencing the decisions of cells to divide or exit the cell cycle. The other areas, for example the “Boykov-Kolmogorov” maximum flow the mouse will allow the group to study the mechanisms used by by manipulating them with microwaves. In classic computers, a bit goal of the Kicheva group is to better understand how morphogen algorithm and the “TRW-S” algorithm for MAP inference in pairwise the nervous system to send behaviorally relevant information from can be in only one of two states, ON or OFF. In quantum computers, signaling is controlled and interpreted by cells to determine cell fate graphical models. Kolmogorov’s “Blossom V” algorithm is currently the eye to the brain, e.g., to easily detect a red apple in the green a qubit can be both ON and OFF at the same time. By combining and cell cycle progression. One of the main projects in the lab inves- the fastest technique in practice for computing a minimum cost foliage. By conducting experiments in the fly, the group intends to semiconductor nanodevices with superconductors, the Katsaros tigates the role of the morphogen sonic hedgehog in controlling the perfect matching in a graph. Their second focus is theoretical in- obtain comprehensive understanding of the molecular, anatomical, group is aiming to study Majorana fermions. These have been sug- size of the mouse neural tube. The group uses diverse quantitative vestigations of the complexity of discrete optimization, in particular and physiological instructions conveyed by a highly defined circuit gested as building blocks for a topological quantum computer in experimental approaches. This includes collection of high-resolution using the framework of valued constraint satisfaction problems and involved in course control. This is possible because neuronal which quantum information would be protected from environmental spatiotemporal datasets of signaling and gene expression in mouse their variants. Finally, the Kolmogorov group has worked on applica- circuits in the fly brain are highly stereotyped, allowing high- perturbations. and chick neural tube development, imaging, and ex vivo assays. tions of discrete optimization in computer vision, such as image throughput screenings of the behavioral role of identified cells. The group collaborates with biophysicists to relate their experiments segmentation and stereo reconstruction. Current Projects Towards hole spin qubits and Majorana fermions in Germanium | Hybrid semiconductor-superconductor quantum devices | to theoretical frameworks. Current Projects Comprehensive mapping of the behavioral repertoire instructed Hole spin orbit qubits in Ge quantum wells Current Projects Inference in graphical models | Combinatorial optimization by defined neuronal circuitries | Role of electrical synapses in sensory transforma- Team Members 2017 Matthias Brauns (postdoc), Jason Jung (laboratory Current Projects Integration of opposing morphogen gradients | Morphogen problems | Theory of discrete optimization tions | Mechanisms of visual saliency and attention | State dependent modulation technician), Josip Kukucka (PhD student), Lada Vukušić (PhD student), control of tissue growth | Morphogen gradient formation Team Members 2017 Senanayak Karri (postdoc), Alexandr Kazda (postdoc), of sensory information | Sensorimotor transformation in the superior colliculus Hannes Watzinger (PhD student) Team Members 2017 Martina Greunz (laboratory technician), Laura Bocanegra Michal Rolinek (PhD student), Paul Swoboda (postdoc) Team Members 2017 Laura Burnett (PhD student), Mia Juracic (scientific intern), (PhD student), Katarzyna Kuzmicz (PhD student), Stefanie Rus (scientific intern), José Maria Martinez de Paz (ISTern), Victoria Pokusaeva (PhD student), Career Marcin Zagórski (postdoc) Career Selected Distinctions Anton Sumser (postdoc) • since 2016 Assistant Professor, • 2006 PhD, Max Planck Institute • since 2014 Professor, IST Austria • 2013 ERC Consolidator Grant IST Austria for Solid State Research, Stuttgart, Career Selected Distinctions • 2011 – 2014 Assistant Professor, • 2012 Koenderink Prize at the Career Selected Distinctions • 2012 – 2016 Group Leader, Germany • since 2015 Assistant Professor, • 2015 ERC Starting Grant IST Austria European Conference on Computer • since 2017 Assistant Professor, • 2017 ERC Starting Grant Johannes Kepler University, Linz, • 2001 – 2002 Research Assistant, IST Austria • 2009 Marie-Curie Intra-European • 2005 – 2011 Lecturer, University Vision for fundamental contributions IST Austria • 2016 Article Recommendation Austria National Center for Scientific • 2008 – 2015 Postdoc, National Fellowship College London, UK to computer vision • 2010 – 2016 Postdoc and Research by F1000 • 2011 – 2012 Group Leader, Leibniz Research “Demokritos”, Athens, Institute for Medical Research • 2008 FEBS Long-term Fellowship • 2003 – 2005 Assistant Researcher, • 2007 Honorable mention, Associate, Harvard University, • 2014 Best Poster Award, Institute for Solid State and Materials Greece (The Francis Crick Institute), UK Microsoft Research, Cambridge, UK outstanding student paper award Cambridge, USA Retina FASEB Meeting Research, Dresden, Germany • 2008 PhD, University of Geneva, • 2003 PhD, Cornell University, Ithaca, (to M. Pawan Kumar) at Neural • 2009 Postdoc, Max Planck Institute • 2011 Otto Hahn Medal, • 2006 – 2010 Postdoc, CEA, Selected Distinctions Switzerland and Max Planck Institute USA Information Processing Systems of Neurobiology, Martinsried, Max Planck Society Grenoble, France • 2015 Elected member of the Young of Cell Biology and Genetics, Conference Germany • 2011 Best Neuroscience Article, Academy of the Austrian Academy Dresden, Germany • 2006 – 2011 Royal Academy of Engi- • 2009 PhD, Max Planck Institute of Neuroforum of Sciences (ÖAW) neering/EPSRC Research Fellowship Neurobiology, Martinsried, Germany • 2010 HFSP Long-term Fellowship • 2013 ERC Starting Grant • 2005 Best paper honorable mention and Ludwig Maximilian University, • 2009 Summa Cum Laude, • 2013 FWF START Award award at IEEE Conference on Com- Munich, Germany PhD thesis • 2012 FWF Lise Meitner Fellowship puter Vision and Pattern Recognition • 2011 Marie Curie Carrier Integration • 2002 Best paper award at the (a) Scanning transmission Grant European Conference on Computer electron microscope image along a hut wire embed- Vision ded in epitaxial silicon. (b) Wire cross section at higher resolution. (c) Atomic force microscopy image of uncapped Ge HWs. (d) Scan- ning electron micrograph of a HW contacted by Pd On the left, a fly brain show- source and drain electrodes. The opposing Shh (green) Example of the “Grabcut” ing a randomized expression (e) COMSOL simulations of and BMP (red) morphogen interactive image segmenta- of different genetic tools the out-of-plane (top) and signaling gradients (left) and tion algorithm based on (green and red) in neurons the in-plane (bottom) strain the striped pattern of target graph cuts, which has been involved in course control. On distribution of a capped HW. gene expression (right) in the incorporated in Microsoft the right, a close-up to neu- (f) Schematic representation mouse neural tube. Office 2010. rons in a circuit of the mouse of a processed three-terminal brain that are known to device studied in this work. modulate innate visualdriven (g)-(j) Magnetotransport mea- behaviors. surements around a charge degeneracy points taken for magnetic fields applied at different directions.

76 77 Fyodor Christoph Mikhail Martin Kondrashov Lampert Lemeshko Loose Computer Vision and Theoretical Atomic, Evolutionary Genomics Machine Learning Molecular, and Optical Physics Self-Organization of the Cell

How did living organisms become the way we know them today? Today’s computer programs are “idiots savant”: software that is ex- “The whole is greater than the sum of its parts.” Aristotle’s saying How are nanometer-sized proteins able to perform complex func- The Kondrashov lab is focused on understanding the natural world tremely good at a certain task, such as playing chess, is completely also holds true in many systems studied in quantum physics. Mikhail tions on a cellular scale? The Loose group studies the molecular in an evolutionary context, typically focusing on studying genetic useless for most other tasks like searching a database, and vice Lemeshko investigates how macroscopic quantum phenomena mechanisms of intracellular self-organization by using purified information due the abundance of DNA and protein sequence data. versa. The Lampert group works on methods for computers to break emerge in ensembles of atoms and molecules. components and advanced fluorescence in a bottom-up approach. out of this limitation by sharing information between different tasks. Kondrashov and his group do not restrict themselves to studying Most polyatomic systems in physics, chemistry, and biology are Although most individual players required for specific cellular pro- specific functions or phenotypes, instead, a staple feature of their Modern computer software adapts to its users, e.g. voice recogni- strongly correlated: their complex behavior cannot be deduced from cesses have been identified, how they act together to accomplish research is a focus on how functions and phenotypes change tion software learns to understand its speaker better over time, and the properties of their individual components. Despite considerable their specific function is not yet understood. Instead of looking over time. Therefore, their research is inherently interdisciplinary, email programs learn which of all incoming emails are spam and effort, understanding strongly correlated, many-body systems still at complex phenomena in an intact cell, the Loose group aims to grounded in classical evolutionary fields of population genetics and should therefore be suppressed. However, this learning process presents a formidable challenge. For instance, given a single atom rebuild cellular functions from purified components. This bottom-up molecular evolution while drawing from other fields, such as cell happens independently for each task that the computer is meant of a certain kind, it is hard to predict whether the resulting bulk approach allows for better control of the experimental conditions and molecular biology, bioinformatics, and biophysics. Recently, to solve. The Lampert group develops and analyzes algorithms that material will be solid, gaseous, or liquid, crystalline or amorphous, and a quantitative characterization of the underlying molecular the group has become increasingly interested in the experimental allow computers to learn new tasks while making use of the knowl- magnetic or non-magnetic, conductive or insulating. The Lemeshko processes. Ultimately, this helps to identify the mechanistic prin- assay of fitness landscapes. Combining experiments, theory, and edge acquired from previous tasks. A particular application area is group studies how many-particle quantum phenomena emerge in ciples that allow to give rise to living systems. The interdisciplinary computational biology, they query how changes in the genotype automatic image understanding, whereby the goal of the software is ensembles of atoms and molecules, and in so doing, answers ques- approach of the Loose group combines biochemical reconstitution affect fitness or specific phenotypes. In the near future, they hope to analyze the contents of a natural image and automatically answer tions such as: How many particles are sufficient for a given property experiments with advanced fluorescence microscopy, biomimetic to expand their experimental capabilities in order to query a wider questions such as: What objects are visible in the image? Where are to emerge? How does an external environment modify the proper- membrane systems, and micro-patterning techniques. They cur- range of interesting phenotypes in a high-throughput manner. they located? How do they interact? ties of quantum systems? Their theoretical efforts aim to explain rently focus on the protein machinery behind bacterial cell division experiments on cold molecules and ultra-cold quantum gases, as and the emergent properties of small GTPase networks involved in Current Projects Empirical fitness landscapes | Protein evolution in the context Current Projects Life-long visual learning | Transfer learning | Image well as predict novel, previously unobserved phenomena. membrane identity formation and cell polarization. of epistasis | Population genomics of the spoon-billed sandpiper understanding with weak supervision | Structured prediction and learning Team Members 2017 Pilar Baldominos Flores (laboratory technician), Team Members 2017 Phuong Bui Thi Mai (PhD student), Alexander Kolesnikov Louisa Gonzalez Somermeyer (laboratory technician), Dmitrii Ivankov (postdoc), (PhD student), Ilja Kuzborskij (academic visitor), Georg Martius (ISTFELLOW Current Projects Understanding angular momentum properties of quantum Current Projects Identifying biochemical networks that determine intracellular Nasia Lyulina (laboratory technician), Katya Putintseva (postdoc), postdoc), Anastasia Pentina (postdoc), Amélie Royer (PhD student), Remy Sun many-particle systems | Studying open quantum systems and understanding organization | Studying the mechanism of polarity establishment and cell division Karen Sarkisyan (postdoc), Petr Vlasov (postdoc) (academic visitor), Alexander Zimin (PhD student) how dissipation acts at the microscopic scale | Many-body physics of ultra-cold Team Members 2017 Albert Auer (scientific intern), Natalia Baranova (postdoc), quantum gases | Developing techniques to manipulate atoms, molecules, and Urban Bezeljak (PhD student), Paulo Dos Santos Caldas (PhD student), Christian Career Selected Distinctions Career Selected Distinctions interactions between them with electromagnetic fields Düllberg (postdoc), Katrin Loibl (laboratory technician), Maria Lopez Pelegrin (labo- • since 2017 Professor, IST Austria • 2017 ERC Consolidator Grant • since 2015 Professor, IST Austria • since 2015 Associate Editor in Chief Team Members 2017 Giacomo Bighin (postdoc), Igor Cherepanov (PhD student), ratory technician), Christine Mieck (postdoc), Daria Petrova (ISTern), Philipp Radler • since 2012 Scientific Director of the • 2016 Plan Estatal, Spanish Ministry • 2010 – 2015 Assistant Professor, of the IEEE Transactions on Pattern Xiang Li (PhD student), Pawel Matus (ISTern), Bikashkali Midya (ISTFELLOW (scientific intern) School of Molecular and Theoretical of Economics and Competitiveness IST Austria Analysis and Machine Intelligence postdoc), Laleh Safari (ISTFELLOW postdoc), Enderalp Yakaboylu (ISTFELLOW Biology • 2016 Zimin Foundation Grant for • 2007 – 2010 Senior Research (T-PAMI) postdoc) Career Selected Distinctions • 2011 – 2017 ICREA Research School of Molecular and Theoretical Scientist, Max Planck Institute for • 2012 ERC Starting Grant • since 2015 Assistant Professor, • 2015 HFSP Young Investigator Grant Professor, Centre for Genomic Biology Biological Cybernetics, Tübingen, • 2008 Best Paper Award, IEEE Career Selected Distinctions IST Austria • 2015 ERC Starting Grant Regulation, Barcelona, Spain • 2014 ERC Starting Grant Germany Conference for Computer Vision • since 2014 Assistant Professor, • 2017 Ludwig Boltzmann Prize, • 2011 – 2014 Departmental Fellow, • 2012 – 2014 HSFP Long-term • 2008 – 2017 Junior Group Leader, • 2013 Plan Nacional Grant, • 2004 – 2007 Senior Researcher, and Pattern Recognition (CVPR) IST Austria Austrian Physical Society Harvard Medical School, Boston, fellowship Centre for Genomic Regulation, Spanish Ministry of Economics and German Research Center for • 2008 Best Student Paper Award, • 2011 – 2014 ITAMP Postdoctoral • 2012 One of four finalists, worldwide USA • 2011 – 2012 EMBO Long-term Barcelona, Spain Competitiveness Artificial Intelligence, Kaiserslautern, European Conference for Computer Fellow, Harvard University, Thesis Prize competition, AMO • 2010 – 2011 Postdoc, TU Dresden fellowship • 2008 PhD, University of California, • 2012 Howard Hughes Medical Germany Vision (ECCV) Cambridge, USA division of the American Physical and Max Planck Institute of • 2010 Dr. Walter Seipp Award for best San Diego, USA Institute International Early Career • 2003 PhD, University of Bonn, • 2008 Main Prize, German Society • 2011 PhD, Fritz Haber Institute of the Society Molecular Cell Biology and Genetics, dissertation at TU Dresden Scientist Award Germany for Pattern Recognition (DAGM) Max Planck Society, Berlin, • 2011 ITAMP Postdoctoral Fellowship Dresden, Germany • 2001 – 2009 Student and PhD • 2011 EMBO Young Investigator Germany • 2010 PhD, TU Dresden and Max Fellowship of the German National Award Planck Institute of Molecular Cell Scholarship Foundation • 2010 Theodosius Dobzhansky Prize Biology and Genetics, Dresden, from Society for the Study of Evolution Germany • 2010 Plan Nacional Grant, Spanish Ministry of Science and Innovation • 2005 National Science Foundation Graduate Research Fellow

Lowland coastal tundra in Schematic illustration of Fine structure appearing Using in vitro reconstitution of the Chukotka region, seen multi-task learning: informa- in the rotational spectrum minimal biochemical systems here from a helicopter, is tion is transferred between of a molecule due to the to understand self-organized the breeding habitat of the different learning tasks interaction with a quantum processes in the living cell. spoon-billed sandpiper, a through a suitably weighted many-body environment. model species of migrating sharing of annotated training waders. examples. As a consequence, the number of necessary training examples per task is reduced and the prediction quality improved.

78 79 Jan Gaia Krzysztof Leonid Maas Novarino Pietrzak Sazanov Genetic and Molecular Basis Structural Biology of Stochastic Analysis of Neurodevelopmental Disorders Cryptography Membrane Protein Complexes

Airplane turbulence, stock rate fluctuations, and epidemic spread- Gaia Novarino’s research aims to study genes underlying inherited Cryptography, the science of information security, is often relegated Membrane proteins are responsible for many fundamental cellular ing are examples of highly irregular real-world phenomena subject forms of neurodevelopmental disorders such as epilepsy, intellectual to the realm of spies and secret agents. However, we all rely on processes including the transport of ions and metabolites, energy to randomness, noise, or uncertainty. Mathematician Jan Maas disability, and autism. Neurodevelopmental disorders affect millions cryptography on a daily basis, for example when using internet conversion, and signal transduction. They are the target of about two develops new methods for the study of such random processes in of people and are often refractory to treatments. Her group employs banking or a wireless car key. thirds of modern drugs. However, membrane proteins, especially science and engineering. many different techniques, from molecular biology to behavior, to large complexes, are challenging for structural studies and so are identify common pathophysiological mechanisms underlying this The cryptography group at IST Austria works on theoretical and underrepresented in structural databases. Random processes are often so irregular that existing mathemati- group of disorders. practical aspects of cryptography, including: cal methods are insufficient to describe them accurately. The Maas Crypto for light-weight devices. The team works towards provably The Sazanov group has long been interested in the structural group combines ideas from probability theory, mathematical analy- Neurodevelopmental disorders are caused by mutations in a secure cryptographic schemes for light-weight devices such as biology of membrane proteins. The main emphasis has been on sis, and geometry to gain new insights into the complex behavior of plethora of genes, whose role in the brain is mostly unknown. Iden- RFID tags, which are too constrained to run existing cryptographic complex I of the respiratory chain, a huge (~1 MDa) enzyme central these processes. Their recent work has been inspired by ideas from tifying the molecular mechanisms underlying these genetic forms of schemes. to cellular energy production. So far, they have determined all the optimal transport, a subject originating in economics and engineer- seizure, autism syndromes, and intellectual disability may retain the Leakage-resilient cryptography. This project aims to construct first atomic structures of complex I, from bacterial to the more ing that deals with the optimal allocation of resources. The Maas key to develop therapeutic strategies for this group of conditions. schemes that are provably secure against “side-channel attacks”. elaborate mammalian version. The structures suggest a unique group applies these techniques to diverse problems involving com- The Novarino group studies the function of epilepsy, intellectual These are attacks in which an attacker exploits information leaked mechanism of proton translocation, which they are studying using plex networks, chemical reaction systems, and quantum mechanics. disability, and autism-causing genes at the system, cellular, and mo- during computation from a cryptographic device like a smart card. both X-ray crystallography and cryo-electron microscopy. They are Another research focus is stochastic partial differential equations. lecular levels with the goal of providing a framework for the develop- Sustainable Cryptocurrencies. Bitcoin is the first successful digital also investigating other related membrane protein complexes, such These equations are commonly used to model high-dimensional ment of effective pharmacological therapies and the background for currency. Its popularity comes from the fact that it is decentralized, as antiporters. Their studies will help to understand the molecular random systems in science and engineering, ranging from bacteria the identification of new pathological genetic variants. Their work in so no central authority controls it. To achieve security despite design of some of the most intricate biological machines. Medical colony growth to weather forecasting. The Maas group develops understanding the underlying mechanisms will moreover advance decentralization, a huge amount of computing power is constantly implications are multifaceted and the Sazanov group is interested robust mathematical methods to study these equations, which is the overall understanding of the human brain. wasted towards generating “proofs of work”. This is economically in developing potential drug candidates. expected to lead to new insights into the underlying models. and ecologically problematic. The Pietrzak group works towards Current Projects Molecular mechanisms underlying autism spectrum disorders | more sustainable cryptocurrencies. Current Projects Mechanism of coupling between electron transfer and proton Current Projects Structure-preserving discretization of gradient flow dynamics | SETD5 gene in intellectual disability | Modeling epileptic encephalopathies in translocation in complex I | Structure and function of mitochondrial respiratory Curvature-dimension criteria for Markov processes | Optimal transport metrics for human brain organoids | Role of the autism-associated gene CHD8 in cortical supercomplexes | Structure and function of other membrane protein complexes development Current Projects Leakage-resilient cryptography | Cryptosystems for light-weight relevant to bioenergetics dissipative quantum systems devices | Computational entropy | Memory-hard functions | Cryptocurrencies Team Members 2017 Dominik Forkert (PhD student), Mate Gerencser Team Members 2017 Ilaria Chiaradia (academic visitor), Alberto Coll Manzano Team Members 2017 Alexej Charnagalov (laboratory technician), James Letts (laboratory technician), Federica Danti (PhD student), Elena Deliu (postdoc), Team Members 2017 Hamza Abusalah (PhD student), Joël Alwen (postdoc), (postdoc), Javier Gutiérrez-Fernandez (postdoc), Karol Kaszuba (postdoc), (ISTFELLOW postdoc), Balazs Maga (ISTern), Peter Nejjar (postdoc), Hana Dlouha (ISTern), Peter Gaži (postdoc), Chethan Kamath Hosdurg (PhD Giovanni Zanco (postdoc) Christoph Dotter (PhD student), Lisa Knaus (scientific intern), Jasmin Morandell Long Zhou (postdoc), Domen Kampjut (PhD student), Julia Steiner (PhD student), (PhD student), Eva Reinthaler (postdoc), Roberto Sacco (postdoc), student), Karen Klein (PhD student), Anastasiia Kucherenko (ISTern), Michal Rybar Kristina Lukic (PhD student), Gergely Pinke (scientific intern) (PhD student), Maciej Skorski (predoctoral visiting scientist) Career Selected Distinctions Katalin Szagati (postdoc), Dora-Clara Tarlungeanu (PhD student) Career • since 2014 Assistant Professor, • 2016 ERC Starting Grant Career Selected Distinctions IST Austria • 2013 – 2014 Project Leader in Career Selected Distinctions • since 2015 Professor, IST Austria • 1990 – 1992 Postdoc, Belozersky • since 2014 Assistant Professor, • 2017 Knight Grand Cross, • since 2016 Professor, IST Austria • 2015 ERC Consolidator Grant • 2006 – 2015 Program Leader, MRC Institute of Physico-Chemical • 2009 – 2014 Postdoc, University of Collaborative Research Centre “The • 2011 – 2016 Assistant Professor, • 2010 ERC Starting Grant Bonn, Germany mathematics of emergent effects” IST Austria Order of Merit of the Italian Republic Mitochondrial Biology Unit, Biology, Moscow State University, • 2010 – 2013 Postdoc, UCSD • 2016 Simons Foundation Autism IST Austria Cambridge, UK Russia • 2009 Postdoc, University of • 2009 – 2011 NWO Rubicon • 2005 – 2011 Scientific Staff Member, Warwick, UK Fellowship (Joseph Gleeson Lab), La Jolla, USA Research Initiative (SFARI) • 2000 – 2006 Group Leader, MRC • 1990 PhD, Moscow State University, • 2006 – 2010 Postdoc, Center for Investigator Centrum Wiskunde & Informatica, Mitochondrial Biology Unit, Russia • 2009 PhD, Delft University of Amsterdam, The Netherlands Technology, The Netherlands Molecular Neurobiology, Hamburg, • 2016 ERC Starting Grant Cambridge, UK Germany and MDC/FMP (Thomas • 2016 FENS-Kavli Scholar • 2006 Postdoc, École Normale • 1997 – 2000 Research Associate, Selected Distinctions Jentsch Lab) Berlin, Germany • 2015 Boehringer Ingelheim FENS Supérieure, Paris, France MRC Laboratory of Molecular • 2016 Academic Editor, Cell Stress • 2006 PhD, University “La Sapienza”, Research Award 2016 • 2005 PhD, ETH Zurich, Switzerland Biology, Cambridge, UK • 2013 Member of Faculty of 1000 Rome, Italy • 2014 Citizens United for Research in • 1994 – 1997 Research Fellow, • 2012 EMBO Grant Epilepsy (CURE) Taking Flight Award Imperial College, London, UK • 2004 Royal Society Grant • 2012 Citizens United for Research • 1992 – 1994 Postdoc, University of • 2002 Royal Society Grant in Epilepsy (CURE) Young Birmingham, UK • 1992 Wellcome Trust Fellowship Investigator Travel Award • 2011 DFG 2-year Fellowship

Gradient flow discretization GABAergic synaptic boutons Light-weight devices require Structure of the entire mito- of a fourth-order diffusion of a control (left) and an simple and efficient crypto- chondrial respiratory complex equation. autism spectrum disorder graphic schemes. I (mammalian enzyme mouse model (right). from Ovis aries, solved by cryo-EM). Each of 45 protein subunits is colored differently. Approximate location of the mitochondrial membrane is indicated in grey.

80 81 Florian Robert Maksym Ryuichi Schur Seiringer Serbyn Shigemoto Structural Biology of Condensed Matter Cell Migration and Viral Infection Mathematical Physics Theory and Quantum Dynamics Molecular Neuroscience

Structural plasticity and movement play fundamental roles in life, The Seiringer group develops new mathematical tools for the How do isolated quantum systems behave when prepared in a highly Information transmission, the formation of memory, and plasticity from the level of whole organisms down to cells, viruses and indi- rigorous analysis of many-particle systems in quantum mechanics, non-equilibrium state? How can such quantum systems avoid the are all controlled by various molecules at work in the brain. Focusing vidual molecules. The Schur group uses advanced cryo-electron with a special focus on exotic phenomena in quantum gases, like ubiquitous relaxation to a thermal equilibrium? How can we gain on the localization and distribution of molecules in brain cells, the microscopy and image processing methods to study the structure Bose-Einstein condensation and superfluidity. novel insights into properties of quantum matter using modern non- Shigemoto group investigates their functional roles in higher brain and function of protein complexes in situ, where they can adopt equilibrium probes? These and other open questions in the field of functions. different conformations or are continuously remodeled. A basic problem in statistical mechanics is to understand how the quantum non-equilibrium matter are the focus of the Serbyn group. same equations on a microscopic level lead to a variety of very The release of neurotransmitters from a nerve cell into the synapse, The Schur group focuses on the dynamic actin cytoskeleton, the different manifestations on a macroscopic level. Due to the intrinsic The majority of isolated quantum systems thermalize—i.e. they where they act on receptors on the connecting nerve cell, is the key player in the ability of cells to move. Actin-mediated cell migra- mathematical complexity of this problem, one typically has to resort reach thermal equilibrium when starting from non-equilibrium states. primary process of information transmission and computation in tion is important in physiological events as embryonic development to perturbation theory or other uncontrolled approximations, whose The first research direction of the Serbyn group is to understand the brain. The Shigemoto group studies the localization of single or wound healing, but deregulation of these processes leads to justification remains open. It therefore remains a challenge to derive mechanisms of thermalization breakdown. Many-body localized sys- neurotransmitter receptors, ion channels, and other functional pathologies including tumor cell metastasis and pathogen infec- non-perturbative results and to obtain precise conditions under tems present one generic example of thermalization breakdown due molecules to understand the molecular basis of neuronal information tion. The team thus aims to understand the underlying structural which the various approximations can or cannot be justified. For to the presence of strong disorder. The Serbyn group is studying processing. The group has pioneered several methods for study- principles that control these complex mechanisms. In addition, they this purpose it is necessary to develop new mathematical tech- properties of many-body localized phase and phase transition into ing the localization of functional molecules at an unprecedented are studying complex and irregular viruses, including retroviruses niques and methods. These new methods lead to different points thermalizing phase. Kinetically constrained models present another sensitivity, detecting and visualizing even single membrane proteins and selected DNA-viruses, where the latter are also important model of view and thus increase their understanding of physical systems. class of systems with some signatures of thermalization breakdown. in nerve cells using SDS-digested freeze-fracture replica labeling. organisms to understand actin-mediated pathogen propulsion. Concrete problems under current investigation include the spin- The Serbyn group is actively working on non-equilibrium properties They apply these methods to investigate the mechanisms of signal- Viruses are useful tools for electron microscopy method develop- wave approximation in magnetism, the validity of the Bogoliubov of quantum models with constrained dynamics. A second area of ing and plasticity in the brain, with questions ranging from neuro- ment, but deciphering their structure is also crucial for understand- approximation for the excitation spectrum of dilute Bose gases, interest to the Serbyn group is related to non-equilibrium probes in transmission to learning. ing features of the viral lifecycle, as assembly and infection. and pattern formation in Ising models with competing interactions. condensed matter systems. Current Projects Ultrastructural localization and function of receptors and ion Current Projects In situ structural biology of actin-mediated processes in cell Current Projects Stability of many-body systems with point interactions | The Current Projects Many-body localization | Quantum ergodicity breaking | channels in the brain | Mechanisms of long-term memory formation | Left-right migration | Structural characterization of pleomorphic viruses | Small retroviral Heisenberg ferromagnet at low temperature and the spin-wave approximation | Non-equilibrium probes of solids | Spin-orbit coupled materials asymmetry of hippocampal circuitry co-assembly molecules Excitation spectrum and superfluidity for weakly interacting Bose gases Team Members 2017 Anya Goremykina (academic visitor), Alexios Michailidis Team Members 2017 Catarina Alcarva (PhD student), Pradeep Bhandari (PhD Team Members 2017 Andreas Thader (project technician) Team Members 2017 Niels Benedikter (postdoc), Chiara Boccato (postdoc), (postdoc), Peng Rao (scientific intern) student), Matthew Case (PhD student), Kohgaku Eguchi (postdoc), Felipe Fredes Andreas Deuchert (postdoc), Nikolai Leopold (predoctoral visiting scientist), Tolorza (postdoc), Harumi Harada (postdoc), Elena Hollergschwandtner (labora- Career Selected Distinctions Simon Mayer (PhD student), Thomas Moser (PhD student) Career Selected Distinctions tory technician), Meet Jariwala (scientific intern), Marijo Jevtic (PhD student), David • since 2017 Assistant Professor, • 2016 Paper of the Year Award, • since 2017 Assistant Professor, • 2013 Andrew Locket III Memorial Kleindienst (PhD student), Peter Koppensteiner (postdoc), Elodie Le Monnier (labo- IST Austria Journal of Structural Biology Career Selected Distinctions IST Austria Fund Award, Massachusetts Institute ratory technician), Jacqueline-Claire Montanaro-Punzengruber (senior laboratory • 2016 – 2017 Postdoc, European • 2011 Poster Prize, 26th Annual • since 2013 Professor, IST Austria • 2016 ERC Advanced Grant • 2014 – 2017 Gordon and Betty of Technology technician), Yuliia Nikonishyna (ISTern), Maria Silva Sifuentes (laboratory techni- Molecular Biology Laboratory, European Cytoskeleton Forum • 2010 – 2013 Associate Professor, • 2012 – 2017 William Dawson Moore Postdoctoral Fellow, • 2009 – 2010 Praecis Presidential cian), Shigekazu Tabata (postdoc), Manuel Weninger (scientific intern) Heidelberg, Germany McGill University, Montreal, Canada Scholarship University of California, Berkeley, Graduate Fellowship, Massachusetts • 2016 PhD, European Molecular • 2005 Habilitation, University of • 2012 – 2014 NSERC E.W.R. Steacie USA Institute of Technology Career Selected Distinctions Biology Laboratory, Heidelberg and Vienna, Austria Memorial Fellowship • 2014 PhD, Massachusetts Institute • 2005 – 2006 Enrico Fermi Junior • since 2013 Professor, IST Austria • ISI Highly Cited Researcher University of Heidelberg, Germany • 2003 – 2010 Assistant Professor, • 2009 – 2010 U.S. National Science of Technology, Cambridge, USA Grant • 1998 – 2014 Professor, National • 2017 Member, Academia Europaea Princeton University, USA Foundation CAREER Grant Institute for Physiological Sciences, • 2016 ERC Advanced Grant • 2001 – 2003 Postdoc, Princeton • 2009 Henri Poincaré Prize of the Okazaki, Japan • 2000 ISI Citation Laureate Award University, USA International Association of • 1990 – 1998 Assistant Professor, • 2000 – 2001 Assistant, University of Mathematical Physics Kyoto University Faculty of Medicine, Vienna, Austria • 2004 – 2006 Alfred P. Sloan Fellow Kyoto, Japan • 2000 PhD, University of Vienna, • 2001 – 2003 Erwin Schrödinger • 1994 PhD, Kyoto University, Japan Austria Fellow • 1985 MD, Kyoto University Faculty of Medicine, Japan

Near-atomic resolution struc- Phase diagram of a dilute (a) Local constraint disallows Clustering of P/Q-type ture of retroviral assemblies Bose gas. two occupied sites next to voltage-dependent calcium by cryo-electron tomography each other, defining a kine- channels (red) in the pre- reveals important features in matically constrained model; synaptic active zone (blue) viral assembly and matura- (b) The Hilbert space and of parallel fiber-Purkinje tion. Hamiltonian of a kinematically cell synapses in the rat constrained model with cerebellum. 6 sites can be conveniently represented as a graph.

82 83 Sandra Daria Michael Gašper Siegert Siekhaus Sixt Tkačik Neuroimmunology in Morphodynamics of Theoretical Biophysics Health and Disease Invasive Migration Immune Cells and Neuroscience

Identifying the brain function has primarily focused on how environ- The ability of cells to migrate is crucial for their function in the im- Immune cells zip through our bodies at high speeds to fight off How do networks built out of biological components—neurons, sig- mental signals are encoded within a complex neuronal network— mune system, the formation of the body, and the spread of cancer. infections and diseases. The Sixt group works at the interface of cell naling molecules, genes, or even cooperating organisms—process the impact of the immune system was mostly overseen. The Siegert The Siekhaus group investigates how cells move within the complex biology and immunology to investigate how cells are able to migrate information? In contrast to engineered systems, biological networks group focuses on how neurons and microglia interact with each environment of an organism, using the genetic power of the fruit fly through tissues. operate under strong constraints due to noise, limited energy, or other and how malfunctions within this relationship impact neuronal to interrogate this process and identify ways in which it is regulated. specificity, yet nevertheless perform their functions reliably. The circuit formation and function in health and disease. Most cells in our bodies are stationary, forming solid tissues and group uses biophysics and information theory to understand the Vertebrate immune and cancer cells need to squeeze between encapsulated organs. One exception are leukocytes, immune cells principles and mechanisms behind this remarkable phenomenon. Microglia are the CNS-resident macrophages and continually sense closely connected cells to disseminate in the body. Daria Siekhaus essential for both the innate and adaptive immune responses to their neuronal environment. They switch between functional states and her group study how cells penetrate such tissue barriers, infections. Leukocytes migrate with extraordinary speed and are How can cells in a multicellular organism reproducibly decide what that either promote or counteract removal of circuit elements. But using the developmental movement of macrophages in the fruit fly used by the Sixt group as a model to study cell migration. The group tissue they are going to become? How do neurons in the retina how microglia decide when to alter circuit elements without inducing Drosophila melanogaster as a model. The Siekhaus group uses a works at the interface of cell biology, immunology, and biophysics, cooperate to best encode visual information into neural spikes? circuit malfunction is not known. Activated microglia are a feature of combination of imaging, genetics, cell biology, and biophysics to and aims to identify basic mechanistic principles that are equally im- How does the physics at the microscopic scale, which dictates how CNS pathologies such as glaucoma and Alzheimer’s disease. Thus, identify the strategies that underlie tissue invasion. The group has portant for developmental processes and cancer cells. One research individual regulatory molecules interact with each other, constrain it is important to study the contribution of these cells and to develop recently found that a cytokine conserved in vertebrates facilitates focus is how the cell’s internal skeleton generates and transduces the kinds of regulatory networks that are observed in real organisms strategies for manipulating them in a beneficial manner. The Siegert macrophage invasion by reducing tension in surrounding tissues, the force to move the cell forward. The group also investigates how today, and how can such networks evolve? These are some of the lab addresses this using the mammalian retina, which consists of acting through a previously unidentified pathway. The group is cells navigate along guidance cues, specifically how they orient their questions addressed by the Tkačik group. About half of their time is morphologically well-defined cell types that are precisely mapped in also focusing on studying the functions of novel genes required in polarity axis in response to chemotactic gradients. In their work, the dedicated to data-driven projects performed in close collaboration their connection and functional properties. They combine molecular Drosophila macrophages for tissue penetration that are conserved members of the Sixt group combine genetics, pharmacology, micro- with experimentalists, and half on purely theoretical projects. biology, virology, genomics, computational, and functional imaging in vertebrates, and studies their roles in immune function and engineering, surface chemistry, and advanced imaging approaches, Their goal is to develop theoretical ideas about biological network as well as iPS technology to translate their observations to a cancer metastasis. as well as in vivo imaging techniques. function and connect them to high-precision data. human-relevant perspective. Current Projects The role of tissue tension in regulating invasive migration | Current Projects Environmental control of leukocyte migration | Cellular force Current Projects Visual encoding in the retina | Genetic regulation during early Current Projects Functional and genetic fundamentals of microglia responses A novel transporter and its effect on glycosylation, immune function and generation and transduction | Interpretation of chemo-attractive gradients embryogenesis | Collective dynamics | Evolution of gene regulation during postnatal neuronal circuit formation | Modeling and manipulating microglial metastasis | The role of transcriptional control to tune a subpopulation of Team Members 2017 Jonna Alanko (postdoc), Frank Assen (PhD student), Team Members 2017 Anna Andersson (postdoc), Katarina Bodova (postdoc), dynamics | Impact of microglial disease genes in the human 3D-organoid system macrophages to facilitate invasion Alessandra Casano (postdoc), Ingrid de Vries (senior laboratory technician), Sarah Cepeda Humerez (PhD student), Remy Chait (postdoc, shared with Guet Team Members 2017 Katarina Bartalska (laboratory technician), Paulo Bastos Team Members 2017 Maria Akhmanova (laboratory technician), Vera Belyaeva Florian Gärtner (postdoc), Alba Juanes Garcia (postdoc), Aglaja Kopf (PhD student), group), Matthew Chalk (postdoc), Daniele De Martino (ISTFELLOW postdoc), (scientific intern), Gloria Colombo (PhD student), Tanja Himmel (scientific intern), (PhD student), Julia Biebl (laboratory technician), Shamsi Emtenani (PhD Alexander Leithner (PhD student), Maria Nemethova (laboratory technician), Jörg Tamar Friedlander (ISTFELLOW postdoc), Mantas Gabrielaitis (ISTFELLOW post- Verena Hübschmann (master’s student), Teresa Lassacher (scientific intern), student), Attila György (laboratory technician), Aparna Ratheesh (postdoc), Renkawitz (postdoc), Anne Reversat (postdoc), Julian Stopp (PhD student), Saren doc), Rok Grah (PhD student, shared with Guet group), Jan Humplik (PhD student), Margaret Maes (ISTFELLOW postdoc), Mansi Maheta (scientific intern), Justine Renno (project technician), Marko Roblek (postdoc), Katarina Valosková Tasciyan (PhD student), Kathrin Tomasek (PhD student, shared with Guet group) Bor Kavčič (PhD student), Moritz Lang (ISTFELLOW postdoc), Anna Levina (IST- Rajeshwari Meli (FWF-funded postdoc), Antonija Mravak (scientific intern), (PhD student), Stephanie Wachner (PhD student) FELLOW postdoc), Georg Martius (ISTFELLOW postdoc), Sreyas Mohan (ISTern), Bálint Nagy (predoctoral visiting scientist), Francis Belen Pacheco Fiallos Career Selected Distinctions Roshan Prizak (PhD student), Thomas Sokolowski (postdoc) (ISTern), Rouven Schulz (PhD student), Iris Soliman (master’s student), Career Selected Distinctions • since 2013 Professor, IST Austria • 2016 ERC Consolidator Grant Alessandro Venturino (laboratory technician) • since 2012 Assistant Professor, • 2016 FWF Grant • 2010 – 2013 Assistant Professor, • 2014 EMBO Member Career Selected Distinctions IST Austria • 2012 Marie Curie Career Integration IST Austria • 2013 European Biophysical • since 2017 Professor, IST Austria • 2012 HFSP Grant Career Selected Distinctions • 2003 – 2011 Research Scientist, Grant • 2008 – 2010 Endowed Professor, Societies Association (EBSA) Young • 2011 – 2016 Assistant Professor, • 2003 Burroughs-Wellcome • since 2015 Assistant Professor, • 2017 Liese Prokop Award Skirball Institute, New York • 2003 – 2005 NIH Fellowship Peter Hans Hofschneider Foundation Investigator Medal IST Austria Fellowship, Princeton University IST Austria • 2016 ERC Starting Grant University Medical Center, USA for Experimental Biomedicine • 2013 Elected member of the Young • 2008 – 2010 Postdoc, University of • 2002 Golden Sign of the University • 2011 – 2015 Postdoctoral Associate, • 2013 SWISS OphthAWARD • 1999 – 2003 Postdoctoral Fellow, • 2005 – 2010 Group Leader, Max Academy of the Austrian Academy of Pennsylvania, Philadelphia, USA of Ljubljana Massachusetts Institute of • 2012 HFSP Long-term Fellowship University of California, Berkeley, Planck Institute of Biochemistry, Sciences (ÖAW) • 2007 Postdoc, Princeton University, Technology, Cambridge, USA • 2011 EMBO Long-term Fellowship USA Martinsried, Germany • 2012 Ignaz L. Lieben Award USA • 2010 PhD, Friedrich Miescher • 2011 SNSF Fellowship for • 1998 PhD, Stanford University, USA • 2003 – 2005 Postdoc, Institute for • 2011 ERC Starting Grant • 2007 PhD, Princeton University, USA Institute for Biomedical Research, prospective researchers Experimental Pathology, Lund, • 2011 FWF START Award Basel, Switzerland Sweden • 2008 Endowed Professor of the • 2003 MD, University of Erlangen, Peter Hans Hofschneider Foundation Germany • 2003 Novartis dissertation prize • 2002 Approbation in human medicine

Left column: top-view of a Immune cells (red) of the fruit Cells entering a lymph vessel. Analyzing positional informa- microglia in a healthy, adult fly Drosophila melanogas- tion during fruit fly develop- neuronal environment. Bottom, ter before and after tissue ment. activated microglia engulfing entry; images are tracings of an apoptotic cell (magenta). primary data. Middle column: Immunostaining of an activated microglia (green) containing a lysosomal marker (cyan) and engulfing apoptotic cells (magenta). Right column: Surface rendering of one of the engulfments. Scale bar: 20 μm.

84 85 Beatriz Uli Chris Vicoso Wagner Wojtan Sex-Chromosome Discrete and Computational Computer Graphics and Biology and Evolution Geometry and Topology Physics Simulation

Sex chromosomes, such as the X and Y of mammals, are involved How and when can a geometric shape be embedded in n-dimen- Computer simulations of natural phenomena are indispensable for in sex-determination in many animal and plant species. Their sex- sional space without self-intersections? What restrictions does this modern scientific discoveries, modern engineering, and the digital specificity leads them to evolve differently from other chromosomes, place on the shape? These and other questions in combinatorial arts. The Wojtan group uses techniques from physics, geometry, and acquire distinctive biological properties. The Vicoso group and computational geometry and topology are central to the Wagner and computer science to create efficient simulations and detailed investigates how sex chromosomes evolve over time, and what group’s research program. computer animations. biological forces are driving their patterns of differentiation. A simplicial complex is a description of how to represent a geo- Natural phenomena like flowing fluids and shattering solids are The Vicoso group is interested in understanding several aspects of metric shape by gluing together points, edges, triangles, and their both beautifully chaotic and overwhelmingly complex. This com- the biology of sex chromosomes, and the evolutionary processes n-dimensional counterparts in a “nice” way. Simplicial complexes plexity makes them extremely difficult to compute without the aid that shape their peculiar features. By combining the use of next- are a natural way to represent shapes for the purposes of computa- of a supercomputer. The Wojtan group overcomes this complexity generation sequencing technologies with studies in several model tion and algorithm design, and the Wagner group explores both their by combining laws of motion from physics, geometric theories from and non-model organisms, they can address a variety of standing topological properties, such as embeddability, as well as what can mathematics, and algorithmic optimizations from computer science questions, such as: Why do some Y chromosomes degenerate while be proved about their combinatorics—e.g. bounds on the number to efficiently compute highly complicated natural phenomena on others remain homomorphic, and how does this relate to the extent of simplices—given a particular geometric or topological constraint. consumer-grade computing hardware. Their research achieves of sexual dimorphism of the species? What forces drive some More generally, they take classically topological questions and some of the world’s fastest and most detailed simulations through species to acquire global dosage compensation of the X, while consider them from a combinatorial point of view, and conversely, a deeper understanding of the underlying mathematical models and others only compensate specific genes? What are the frequency they use techniques and ideas from topology to approach questions inventing novel computational techniques. and molecular dynamics of sex-chromosome turnover? in combinatorics. They are moreover interested in the computational aspects of such problems, in particular questions of decidability Current Projects Efficient simulation of fluid and fracture dynamics | Numerical Current Projects Sex chromosome turnover and conservation | Dosage (does an algorithm exist?) and complexity (if so, what are the costs and geometric algorithms for solving partial differential equations | Algorithms for re-using simulation data compensation in female-heterogametic species | Gene expression evolution in in terms of time or space?). sexual and asexual species Team Members 2017 Patrick Blies (postdoc), Ewa Gajda-Zagórska (postdoc), Team Members 2017 Claire Fourcade (PhD student), Christelle Fraisse (ISTFEL- David Hahn (PhD student), Hikaru Ibayashi (scientific intern), Krystof Kolar LOW postdoc), Ann Kathrin Huylmans (postdoc), Réka Kelemen (PhD student), Current Projects Higher-dimensional embeddings (generalizations of graph (ISTern), Klint Qinami (academic visitor), Camille Schreck (postdoc), Tomas Ariana Macon (laboratory technician), Marion Picard (postdoc), Melissa Toups planarity) | Topological Tverberg-type problems and multiple self-intersections of Skrivan (PhD student), Georg Sperl (PhD student), Peter Synak (PhD student) (postdoc) maps | Discrete isoperimetric inequalities and higher-dimensional expanders Team Members 2017 Sergey Avvakumov (PhD student), Marek Filakovský Career Selected Distinctions Career Selected Distinctions (postdoc), Peter Franek (FWF-supported postdoc), Radoslav Fulek (ISTFELLOW • since 2015 Professor, IST Austria • 2016 ACM SIGGRAPH Significant • since 2015 Assistant Professor, • 2016 ERC Starting Grant postdoc), Georg Hofstätter (scientific intern), Kristóf Huszár (PhD student), Zuzana • 2011 – 2014 Assistant Professor, New Researcher Award IST Austria • 2016 FWF Standalone Grant Masárová (PhD student), Pavel Paták (postdoc), Zuzana Patáková (ISTFELLOW IST Austria • 2015 Eurographics Young • 2009 – 2014 Postdoc, University of • 2011 DeLill Nasser Travel Award postdoc), David Pires Tavares Martins (ISTern), Souktik Roy (ISTern), Pascal Wild • 2010 PhD, Georgia Institute of Researcher Award California, Berkeley, USA from the Genetics Society of (PhD student), Stephan Zhechev (PhD student) Technology, Atlanta, USA • 2015 Eurographics Günter Enderle • 2010 PhD, University of Edinburgh, America Best Paper Award Scotland, UK Career Selected Distinctions • 2014 ERC Starting Grant • since 2013 Assistant Professor, • 2014 Best Paper Award at the • 2013 Microsoft Visual Computing IST Austria Symposium on Computational Award • 2012 – 2013 SNSF Research Geometry (SoCG) • 2011 Georgia Institute of Technology Assistant Professor, Institut de • 2012 Research Assistant Sigma Chi Best PhD Thesis Award Mathématiques de Géométrie et Professorship Grant of Swiss • 2005 National Science Foundation Applications, EPFL, Lausanne, National Science Foundation (SNSF) Graduate Research Fellowship Switzerland • 2012 Best Paper Award at • 2008 – 2012 Senior Research Symposium of Discrete Algorithms Associate, Institute of Theoretical (SODA) Computer Science, ETH Zurich, • 2004 Richard Rado Prize Switzerland • 2006 – 2008 Postdoctoral Researcher, Institute of Theoretical Computer Science, ETH Zurich, Switzerland • 2004 – 2006 Postdoc, Einstein Institute for Mathematics, The Sex is determined early in Hebrew University of Jerusalem, Simulation of highly detailed embryogenesis. Israel surface tension phenomena • 2004 Postdoc, Univerzita Karlova, such as the formation of Prague, Czech Republic water droplets using mesh- • 2003 Postdoc, Mathematical based surface tracking. Sciences Research Institute, Berkeley, USA • 2003 PhD, ETH Zurich, Switzerland

86 87 PhD Students at IST Austria 2017 Graduates Postdocs at IST Austria IST Austria Alumni (Data as of December 31, 2017) (Data as of December 31, 2017) (Data as of December 31, 2017; data are self-reported, actual counts may be higher)

Total Number of PhD Students: 155 This year, 15 students completed their PhDs, bringing the total Total Number of Postdocs: 134 Total Number of Alumni: 206

number of graduates to 42. These students, with the names of their PhD Graduates 42 groups and dissertation titles, are listed below. Postdocs (at least one year spent at IST Austria) 164

Gender Among PhD Students Gender Among Postdocs Maciek Adamowski, Friml group, “Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana”

Vanessa Barone, Heisenberg group, “Cell adhesion and cell fate:

An effective feedback loop during zebrafish gastrulation” Przemek Daca, Henzinger group, “Statistical and logical methods 29.9% for property checking” David Hahn, Wojtan group, “Brittle fracture simulation with

55.5% 44.5% boundary elements for computer graphics”

70.1% Fabienne Jesse, Bollback group, “The lac operon in the wild” Karin Mitosch, Bollenbach group, “Timing, variability

and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics” Anton Nikitenko, Edelsbrunner group, “Discrete Morse theory Country of Nationality for random complexes” Country of Nationality Country of Nationality Pavel Payne, Bollback and Barton groups, “Bacterial herd Austria 24.5% and social immunity to phages” Germany 12.9% Germany 14.6% Slovakia 7.1% Andreas Pavlogiannis, Chatterjee group, “Algorithmic advances China 7.6% Austria 9.3% Germany 6.5% in program analysis and their applications” Italy 6.1% China 7.8% Italy 6.5% Maros Pleska, Guet group, “Biology of restriction-modification Poland 6.1% Czech Republic 6.3% Russia 5.8% systems at the single-cell and population level” France 5.3% Spain 5.4% India 4.5% Tomas Prat, Friml group, “Identification of novel regulators of Hungary 5.3% France 4.9% Other (29*) 45.1% PIN polarity and development of novel auxin sensor” Spain 5.3% Other (36**) 51.7% Other (33*) 51.4% Christopher Pull, Cremer group, “Disease defense in garden ants”

Michal Rolinek, Kolmogorov group, “Complexity of constraint satisfaction” Country of Previous (BS or MA) Institution Michal Rybar, Pietrzak group, “(The exact security of) Message authentication codes” Country of Previous Institution Current Country of Employment Austria 27.1% Haibing Xu, Csicsvari group, “Reactivation of the hippocampal Germany 8.4% cognitive map in goal-directed spatial tasks” Germany 15.7% Austria 14.6% UK 7.7% USA 12.7% USA 13.7% Czech Republic 5.8% France 9.0% Germany 12.7% Italy 5.8% Spain 9.0% UK 7.8% Russia 5.2% Austria 6.7% France 5.9% Other (25*) 40.0% Switzerland 5.2% Switzerland 5.9% Other (21*) 41.7% Other (25**) 39.4%

Field of Research Field of Research Alumni by Employment Sector Biology 29.7% Computer Science 14.2% Biology 42.6% Academia 69.3% Mathematics 5.2% Computer Science 11.9% I/P Sector*** 20.0% Neuroscience 15.5% Mathematics 11.9% Public Sector 2.0% Physics 11.6% Neuroscience 15.7% Unknown 8.7% Unaffiliated ** 23.8% Physics 17.9%

* Number of countries ** Number of countries/Unknown ** Pre-qualifying exam * Number of countries *** Industry/Private Sector

88 89 Interns at IST Austria Scientific Service Units Administration (Data for the entirety of 2017) at IST Austria at IST Austria

ISTerns Other Interns at IST Austria Scientific Service Units currently operational at IST Austria: Administration at IST Austria comprises the following areas: • Bioimaging Facility • Academic Affairs • Electron Microscopy Facility • Graduate School Total Number of ISTerns: 38 Total Number of Other Interns: 45 • Nanofabrication Facility • Campus IT Services • Library • Communications & Events • Life Science Facility • Construction & Maintenance • Miba Machine Shop • Campus Services Gender Among ISTerns Gender Among Other Interns • Preclinical Facility • Environment, Health & Safety • Scientific Computing • Executive Affairs

• Office of the President

• People & Financial Services • Grant Office • People Services 34.2% 42.2% Staff Scientists at IST Austria • Technology Transfer Office

65.8% 57.8% Robert Hauschild, Bioimaging Facility

Walter Kaufmann, Electron Microscopy Facility

Jack Merrin, Nanofabrication Facility

Christoph Sommer, Bioimaging Facility Country of Nationality Country of Nationality

India 18.4% Austria 44.6% Technical Support at IST Austria Administrative Staff at IST Austria Russia 15.9% India 13.4% (Comprises Scientific Service Units and (Data as of December 31, 2017) Ukraine 10.6% Hungary 9.0% laboratory technicians; data as of December 31, 2017) Czech Republic 7.9% Croatia 4.4%

UK 7.9% Germany 4.4% Austria 5.3% Italy 4.4% Total Number of Technical Support Staff: 102 Total Number of Administrative Staff: 109 Germany 5.3% Japan 4.4%

Poland 5.3% UK 4.4%

Other (9*) 23.4% Other (5*) 11.0%

Gender Among Technical Support Staff Gender Among Administrative Staff

Country of Current Institution Country of Current Institution

UK 23.7% Austria 46.8%

Russia 21.1% UK 13.4% 40.2% 51.4% 48.6% India 13.2% India 6.8% Austria 10.5% Croatia 4.4% 59.8% Poland 5.3% Hungary 4.4%

Ukraine 5.3% Japan 4.4%

USA 5.3% Lithuania 4.4%

Other (6*) 15.6% USA 4.4% Other (5*) 11.0% Country of Nationality Country of Nationality

Austria 47.8% Austria 73.8% Field of Research at IST Austria Field of Research at IST Austria Germany 10.6% Germany 4.2% Hungary 6.2% USA 3.0% Biology 34.1% Biology 37.8% Czech Republic 3.5% Romania 1.8% Computer Science 21.1% Computer Science 13.3% Poland 3.5% UK 1.8% Mathematics 7.9% Mathematics 6.7% Spain 3.5% Other (20*) 15.4% Neuroscience 15.8% Neuroscience 33.3% Other (20*) 24.9% Physics 21.1% Physics 8.9%

* Number of countries * Number of countries

90 91 Grants Active or Acquired in 2017

Alistarh Group Chatterjee Group Fink Group Hausel Group Hippenmeyer Group Jösch Group Lampert Group Novarino Group • NSERC CA Postdoctoral Fellowship, • Microsoft Research Faculty Fellow- • Microwave-to-optical quantum link: • Arithmetic quantization of character • Molecular mechanisms of cerebral • Circuits of visual attention, • Lifelong learning of visual scene • Transmembrane transporters €61'000, 10/2017-10/2019 ship, Microsoft Research Studio quantum teleportation and quantum and quiver varieties, SNF Professor- cortex development, FP7 People H2020 ERC Starting Grant, understanding, FP7 ERC Starting in health and disease, FWF SFB, Award, €143'000, 4/2011-3/2021 illumination with cavity optomechan- ships, €42'000, 9/2016-7/2017 MC-CIG, €100'000, 9/2013-8/2017 €1'447'000, 12/2017-11/2022 Grant, €1'465'000, 1/2013-6/2018 €353'000, 2/2015-9/2018 Barton Group Game theory, FWF NFN, €370'000, ics SUPEREOM, H2020 MSCA IF, • Arithmetic and physics of Higgs • Quantitative structure-function • Connecting sensory with motor • Molecular drug targets, FWF DK, • Mating system and the evolutionary 3/2015-2/2019 €178'000, 4/2016-3/2018 moduli spaces, FP7 ERC Advanced analysis of cerebral cortex assembly processing in the superior colliculus, Lemeshko Group €223'000, 3/2015-2/2019 dynamics of hybrid zones, FP7 Peo- • Efficient algorithms for computer- • Hybrid optomechanical technologies, Grant, €760'000, 9/2016-8/2018 at clonal level, HFSP Program grant, EMBO LTF, €78'000, 1/2018-12/2019 • Quantum rotations in the presence • Probing the development and ple MC-IIF, €179'000, 5/2014-9/2017 aided verification, WWTF Coop. H2020 Cooperation FET-Proactive, €327'000, 9/2014-12/2017 of a many-body environment, reversibility of autism-related • Rate of adaptation in changing project, €82'000, 3/2016-3/2020 €548'000, 1/2017-12/2020 Heisenberg Group • Mapping cell-type specificity of the Katsaros Group FWF Stand-alone, €318'000, phenotypes in SETD5 conditional environment, H2020 MSCA IF, • Hybrid semiconductor - super- • Nano-analytics of cellular systems, genomic imprintome in the brain, • Towards spin qubits and Majorana 2/2017-1/2020 knockout mice, Simons Foundation €166'000, 1/2017-2/2020 Cremer Group conductor quantum devices, FWF DK, €147'000, 3/2014-2/2018 NFB Life Science, €245'000, fermions in Germanium self- Pilot, €267'000, 9/2016-8/2019 • Selected Topics in Evolutionary • Individual function and social role NOMIS Research Grants, €700'000, • Cell segregation in gastrulation: 3/2015-2/2018 assembled hut-wires, FP7 ERC Loose Group • Improving brain distribution of drugs Biology (STEB), ESEB Outreach of oxytocin-like neuropeptides in 9/2017-8/2021 the role of cell fate specification, • Molecular mechanisms of radial Starting Grant, €1'388'000, • The biochemical basis of PAR targeted to the brain, NFB Life initiative, €2'000, 5/2017-5/2018 ants, WWTF Coop. project, €163'000, • A fiber-optic transceiver for super- FWF International program, neuronal migration, OEAW DOC, 2/2016-12/2018 polarization, FWF Firnberg, €96'000, Science, €23'000, 12/2016-11/2019 1/2014-12/2017 conducting qubits, H2020 ERC €315'000, 10/2014-9/2017 €116'000, 8/2017-7/2020 • Loch spin-qubits and Majorana 1/2016-4/2017 • Probing the reversibility of autism Benková Group • Viral pathogens and social immunity Starting Grant, €1'500'000, • Role of chromatin organizer SATB2 in • Principles of neural stem cell lineage fermions in Germanium, FWF START, • Self-organization of the bacterial cell, spectrum disorders by employing in • Hormone cross-talk drives nutrient in ants, FWF Meitner, €164'000, 2/2018-1/2023 gastrulation in danio rerio, OEAD progression in cerebral cortex €200'000, 7/2016-4/2021 H2020 ERC Starting Grant, vivo and in vitro models, H2020 dependent plant development, 7/2016-2/2018 WTZ, €4'000, 6/2015-5/2017 development, H2020 ERC • Hybrid semiconductor - super €1'497'000, 4/2016-3/2021 ERC Starting Grant, €1'498'000, FWF International program, • Epidemics in ant societies on a Friml Group • The generation and function of Consolidator Grant, €1'996'000, conductor quantum devices, NOMIS • Reconstitution of bacterial cell wall 10/2017-9/2022 €353'000, 1/2015-12/2017 chip, H2020 ERC Consolidator Grant, • Polarity and subcellular dynamics anisotropic tissue tension in zebrafish 12/2017-11/2022 Research Grants, €700'000, synthesis, HFSP LTF, €157'000, • Molecular mechanism of auxin-driven €1'992'000, 4/2018-3/2023 in plants, FP7 ERC Starting Grant, epiboly, EMBO LTF, €79'000, • Molecular mechanisms regulating 9/2017-8/2021 6/2016-5/2019 Pietrzak Group formative divisions delineating lateral €1'269'000, 4/2013-1/2017 7/2016-6/2018 gliogenesis in the cerebral cortex, • Hole spin orbit qubits in Ge quantum • Reconstitution of cell polarity and • Teaching old crypto new tricks, root organogenesis in plants, Csicsvari Group • Körber Stiftung Körber Prize, • Control of epithelial cell layer spread- FWF Meitner, €166'000, wells, FWF Stand-alone, €400'000, axis determination in a cell-free H2020 ERC Consolidator Grant, EMBO LTF, €75'000, 7/2016-7/2018 • Inter- and intracellular signaling in €41'000, 4/2015-3/2018 ing in zebrafish, FWF International 3/2018-2/2020 2/2018-1/2022 system, HFSP Young investigators’ €1'882'000, 4/2016-3/2021 • Auxin perception, FFG Femtech, schizophrenia, FP7 People MC-ITN, • EMBO Long Term Fellowship, program, €350'000, 2/2017-1/2020 grant, €300'000, 10/2016-9/2019 €8'000, 7/2017-12/2017 €234'000, 10/2013-9/2017 €79'000, 2/2016-2/2018 • Interaction and feedback between Hof Group Kicheva Group • Reconstitution of bacterial cell Sazanov Group • Molecular mechanisms of the • Interneuron plasticity during spatial • Molecular basis of root growth cell mechanics and fate specification • Decoding the complexity of • Coordination of patterning and division using purified components, • The crystallization and co-crystal cytokinin-regulated endomembrane learning, FWF International program, inhibition by auxin, FWF Meitner, in vertebrate gastrulation, H2020 turbulence at its origin, FP7 ERC growth in the spinal cord, H2020 BIF PhD fellowship, €46'000, structure determination of bacterial trafficking to coordinate plant €260'000, 1/2015-12/2017 €98'000, 11/2016-11/2017 ERC Advanced Grant, €2'307'000, Starting Grant, €1'397'000, ERC Starting Grant, €1'499'000, 9/2017-8/2019 mitochondrial complex I with organo­genesis, OEAW DOC, • Interneuron plasticity during spatial • Cell surface receptor complexes for 7/2017-6/2022 6/2013-12/2017 7/2016-6/2021 proprietary inhibitors, BAYER, €116'000, 8/2017-7/2020 learning, FWF International program, auxin signaling in plants, EMBO LTF, • Coordination of mesendoderm cell • Eliminating turbulence in oil • Kinetics of DNA repair in neural Maas Group €150'000, 5/2015-4/2017 • Plant endocytosis, FFG Femtech, €299'000, 2/2018-1/2021 €75'000, 6/2017-5/2019 fate specification and internalization pipelines, H2020 ERC Proof of differentiation of embryonic stem • Optimal transport and stochastic • Atomic-resolution structures of €8'000, 10/2017-3/2018 • RNA-directed DNA methylation in during zebrafish gastrulation, EMBO Concept, €150'000, 7/2017-12/2018 cells, OEAD WTZ, €7'000, dynamics, H2020 ERC Starting mitochondrial respiratory chain Edelsbrunner Group plant development, FWF Stand- LTF, €78'000, 2/2018-1/2020 7/2017-6/2019 Grant, €1'075'000, 2/2017-1/2022 supercomplexes, H2020 MSCA IF, Bickel Group • Persistence and stability of geometric alone, €352'000, 7/2017-6/2020 • Control of embryonic cleavage Janovjak Group • Dissipation and dispersion in €178'000, 9/2016-8/2018 • Distributed 3D object design, H2020 complexes, FWF International • Tracing evolution of auxin transport pattern, FWF International program, • Molecular drug targets, FWF DK, Kolmogorov Group nonlinear partial differential • Deciphering the proton-translocation MSCA ITN, €256'000, 1/2015-12/2018 program, €154'000, 9/2016-8/2020 and polarity in plants, H2020 ERC €229'000, 5/2018-4/2021 €210'000, 3/2015-2/2019 • Discrete optimization in computer equations, FWF DK, €161'000, mechanism of complex I, FWF • Soft-bodied intelligence for • Toward computational information Advanced Grant, €2'410'000, • Light-regulated ligand traps for vision: theory and practice, FP7 3/2017-2/2021 Meitner, €162'000, 6/2017-5/2019 Manipulation, H2020 Cooperation topology, Office of Naval Research 1/2018-12/2022 Henzinger Group spatio-temporal inhibition of cell ERC Consolidator Grant, €1'642'000, • Taming complexity in partial • Revealing the functional mechanism ICT, €261'000, 5/2015-4/2019 Grant, €326'000, 11/2017-10/2020 • Molecular mechanisms of endocytic • Automated tutoring system for signaling, OEAW DOC, €116'000, 6/2014-5/2019 differential systems, FWF SFB, of Mrp antiporter, an ancestor of • MATERIALIZABLE: Intelligent • Topological data analysis for a faster cargo recognition in plants, FWF automata theory, Microsoft 8/2017-7/2020 €328'000, 3/2017-2/2021 complex I, OEAW DOC, €116'000, fabrication-oriented computational discovery of new materials, Royal International program, €339'000, Research Studio Award, €7'000, Kondrashov Group 8/2017-7/2020 design and modeling, H2020 ERC Society International Exchanges 2/2018-1/2022 1/2011-12/2021 Jonas Group • Experimental exploration of global Starting Grant, €1'498'000, Scheme, €11'000, 12/2017-12/2019 • The Wittgenstein Prize, FWF, • Nanophysiology of fast-spiking, fitness landscape of a protein family, Seiringer Group 2/2017-1/2022 Guet Group €1'502'000, 1/2014-12/2018 parvalbumin-expressing GABAergic EMBO LTF, €36'000, 9/2017-7/2018 • Structure of the excitation spectrum Erdős Group • The systems biology of transcrip- • Modern concurrency paradigms, interneurons, FP7 ERC Advanced • Systematic investigation of epistasis for many-body quantum systems, Bollback Group • Random matrices, universality tional read-through in bacteria: from FWF NFN, €492'000, 3/2015-2/2019 Grant, €2'496'000, 6/2011-2/2017 in molecular evolution, FP7 ERC FWF Stand-alone, €317'000, • Selective barriers to horizontal gene and disordered quantum systems, Synthetic Networks to Genomic • Formal methods meets algorithmic • Is the hippocampal mossy fiber Starting Grant, €304'000, 4/2015-9/2018 transfer, H2020 ERC Consolidator FP7 ERC Advanced Grant, Studies, FP7 People MC-IEF, game theory, FWF Meitner, synapse a detonator in vivo?, H2020 10/2017-12/2018 • Analysis of quantum many-body Grant, €303'000, 6/2015-5/2020 €1'755'000, 3/2014-2/2019 €187'000, 3/2014-3/2017 €153'000, 2/2018-1/2020 MSCA IF, €166'000, 4/2016-3/2018 • Characterizing the fitness landscape systems, H2020 ERC Advanced • Structured non-Hermitian random • Effects of stochasticity on the • Presynaptic calcium channels on population and global scales, Grant, €1'498'000, 10/2016-9/2021 Bollenbach Group matrices, FWF Meitner, function of restriction-modification distribution and impact on coupling H2020 ERC Consolidator Grant, • Optimality principles in responses €161'000, 1/2017-4/2019 systems at the single-cell level, at the hippocampal mossy fiber €1'998'000, 1/2019-12/2023 to antibiotics, FP7 People MC-CIG, OEAW DOC, €107'000, synapse, H2020 MSCA IF, €166'000, €100'000, 2/2013-1/2017 1/2015-12/2017 1/2017-12/2018 • Revealing the mechanisms under­- • Design principles underlying • Biophysics and circuit function lying drug interactions, FWF Stand- genetic switch architecture, OEAW of a giant cortical glutamatergic alone, €281'000, 1/2015-9/2017 DOC, €113'000, 1/2016-12/2018 synapse, H2020 ERC Advanced • Sigma switches, FFG Femtech, Grant, €2'678'000, 3/2017-2/2022 €8'000, 8/2016-1/2017 • Cell Communication in Health and • Bioinformatics of transcriptional Disease (CCHD), FWF DK, €143'000, termination, FFG Praktika für Schüler, 1/2016-6/2020 €1'000, 7/2017-8/2017 • CONACyT Postdoc fellowship, • TransTerm, FFG Femtech, €8'000, €20'000, 10/2017-9/2018 9/2017-2/2018 • Mechanisms of transmitter release at GABAergic synapses, FWF Stand-alone, €510'000, 10/2012-9/2017 • The Wittgenstein Prize, FWF, €1'500'000, 10/2017-9/2022

92 93 Publications in 2017 Publications by IST Austria members that were published in 2017; joint publications involving several groups are listed multiple times.

Shigemoto Group Sixt Group Vicoso Group Alistarh Group Barton Group • Paixão T, Pérez JH 2017. An ap- Benková Group • Mechanism of formation and • Cytoskeletal force generation • Sex chromosome evolution under • Alistarh D, Aspnes J, Eisenstat • Barton NH. 2017. How does epistasis plication of stochastic differential • Dobisova T, Hrdinova V, Cuesta maintenance of input side-dependent and force transduction of migrating male- and female-heterogamety, D, Rivest RL, Gelashvili R. 2017. influence the response to selection?. equations to evolutionary algorithms. Moliner C, Michlickova S, asymmetry in the hippocampus, leukocytes, FP7 ERC Starting Grant, FWF Stand-alone, €224'000, Time-space trade-offs in population Heredity. 118, 96-109. In Igel C, Sudholt D, Witt C, Eds., Urbankova I, Hejatkova R, Žádníková OEAW DOC, €113'000, 1/2016- €1'458'000, 4/2012-3/2017 1/2016-12/2018 protocols. In Klein P, Ed., ACM-SIAM • Barton NH, Etheridge AM, Véber Proceedings of the 14th ACM/SI- P, Pernisová M, Benková E, Hejátko 12/2018 • Nano-analytics of cellular systems, • Prevalence and influence of sexual Symposium on Discrete Algorithms A. 2017. The infinitesimal model: GEVO Conference on Foundations J. 2017. Light regulated expression of • Human Brain Project Specific Grant FWF DK, €147'000, 3/2014-2/2018 antagonism on genome evolution, (SODA 2017), ACM-SIAM, 2560- Definition derivation and implications. of Genetic Algorithms (FOGA 2017), sensor histidine kinase CKI1 controls Agreement 1 (HBP SGA 1), H2020 • Modeling of polarization and motility H2020 ERC Starting Grant, 2579. Theoretical Population Biology. 118, ACM, 3-11. cytokinin-related development. Cooperation FET-Flagships, of leukocytes in three-dimensional €1'444'000, 3/2017-2/2022 • Alistarh D, Dudek B, Kosowski A, 50-73. • Paixão T, Pérez JH, Sudholt D, Plant Physiology. 174(1), 387-404. €274'000, 4/2016-3/2018 environments, WWTF Coop. project, Soloveichik D, Uznański P. 2017. • Bradley D, Xu P, Mohorianu I, Whibley Trubenová B. 2017. Towards a • Von Wangenheim D, Hauschild R, • In situ analysis of single channel €160'000, 3/2014-2/2018 Wagner Group Robust detection in leak-prone popu- A, Field D, Tavares H, Couchman M, runtime comparison of natural and Fendrych M, Barone V, Benková E, subunit composition in neurons: • Molecular and system level view • Robust invariants of nonlinear lation protocols. In Brijder R, Qian L, Copsey L, Carpenter R, Li M, Li Q, artificial evolution. Algorithmica. Friml J. 2017. Live tracking of moving physiological implication in of immune cell migration, EMBO LTF, systems, FWF Meitner, €167'000, Eds., DNA Computing and Molecular Xue Y, Dalmay T, Coen E. 2017. Evo- 78(2), 681-713. samples in confocal microscopy for synaptic plasticity and behavior, €101'000, 3/2015-2/2017 2/2016-1/2018 Programming (DNA 2017). Springer lution of flower color pattern through • Priklopil T, Chatterjee K, Nowak MA. vertically grown roots. eLife. 6, H202ERC Advanced Grant, • Mechanical adaptation of lamellipo-­ • Eliminating intersections in drawings Lecture Notes in Computer Science, selection on regulatory small RNAs. 2017. Optional interactions and sus- Article number: e26792. €2'481'000, 7/2016-6/2021 dial actin, FWF Stand-alone, of graphs, FWF Meitner, €162'000, vol 10467, 155-171. Science. 358(6365), 925-928. picious behaviour facilitates trustful • Ötvös K, Benková E. 2017. Spati- • Anatomical and functional properties €387'000, 3/2017-2/2020 7/2017-6/2019 • Alistarh D, Grubic D, Li J, Tomioka R, • Charlesworth D, Barton NH, cooperation in prisoner’s dilemma. otemporal mechanisms of root of auditory nerve synapses, NIH, • Mechanical adaptation of lamellipo- Vojnovic M. 2017. QSGD: Commu- Charlesworth B. 2017. The sources Journal of Theoretical Biology. 433, branching. Current Opinion in €13'000, 3/2017-2/2018 dial actin networks in migrating cells, Wojtan Group nication-efficient SGD via gradient of adaptive evolution. Proceedings 64-72. Genetics & Development. 45, 82-89. • Human Brain Project Specific Grant H2020 MSCA IF, €178'000, • Efficient simulation of natural quantization and encoding. In Guyon of the Royal Society B. 284, Article • Redondo RA, Vladar HP, Włodarski Agreement 2 (HBP SGA 2), H2020 3/2017-2/2019 phenomena at extremely large I, Luxburg UV, Bengio S, Wallach H, number: 20162864. T, Bollback JP. 2017. Evolutionary Bickel Group Cooperation FET-Flagships, • Cellular navigation along spatial scales, H2020 ERC Starting Grant, Fergus R, Vishwanathan S, Garnett • Fraisse C, Picard MA, Vicoso B. interplay between structure, energy • Elek O, Sumin D, Zhang R, Weyrich €225'000, 4/2018-3/2020 gradients, H2020 ERC Consolidator €1'500'000, 3/2015-2/2020 R, Eds., Advances in Neural Process- 2017. The deep conservation of the and epistasis in the coat protein of T, Myszkowski K, Bickel B, Wilkie A, Grant, €1'985'000, 4/2017-3/2022 ing Systems (NIPS 2017), Curran Lepidoptera Z chromosome suggests the fX174 phage family. Journal of Krivanek J. 2017. Scattering-aware Siegert Group • Quantitative understanding of a Associates, Inc., 1709-1720. a non-canonical origin of the W. the Royal Society Interface. 14(126), texture reproduction for 3D printing. • Microglia action towards neuronal cell-autonomous component in • Alistarh D, Kopinsky J, Li J, Nadiradze Nature Communications. 8(1), Article number: 20160139. ACM Transactions on Graphics. circuit formation and function in chemotaxis, EMBO LTF, €76'000, G. 2017. The power of choice in pri- Article number: 1486. • Ringbauer H, Coop G, Barton NH. 36(6), Article number: a241. health and disease, H2020 ERC 7/2017-6/2019 ority scheduling. In Schiller EM, Ed., • Friedlander T, Prizak R, Barton NH, 2017. Inferring recent demography • Guseinov R, Miguel E, Bickel B. Starting Grant, €1'500'000, • Spatiotemporal regulation of ACM Symposium on Principles of Tkačik G. 2017. Evolution of new from isolation by distance of long 2017. CurveUps: Shaping objects 5/2017-4/2022 chemokine-induced signaling in Distributed Computing (PODC 2017), regulatory functions on biophysically shared sequence blocks. Genetics. from flat plates with tension-actuated • The role of microglia in neuronal leukocyte chemotaxis, Finnish ACM, Part F129314, 283-292. realistic fitness landscapes. Nature 205(3), 1335-1351. curvature. SIGGRAPH: Special ceroid lipofuscionosis, FWF Firnberg, Found PD Pool postdoctoral • Alistarh D, Leiserson WM, Matveev A, Communications. 8, Article number: • Sachdeva H, Barton NH. 2017. Diver­ Interest Group on Computer €230'000, 8/2017-7/2020 fellowship, €102'000, 7/2017-7/2019 Shavit NN. 2017. Forkscan: Conser- 216. gence and evolution of assortative Graphics and Interactive Techniques. vative memory reclamation for mo- • Giacobbe M, Guet CC, Gupta AK, mating in a polygenic trait model of ACM Transactions on Graphics, Siekhaus Group Tkačik Group dern operating systems. In European Henzinger TA, Paixão T, Petrov TP. speciation with gene flow. Evolution; vol. 36. Article number: 64. • Investigating the role of transporters • Sensitivity to higher-order statistics Conference on Computer Systems 2017. Model checking the evolution International Journal of Organic • Zhang R, Auzinger T, Ceylan D, in invasive migration through in natural scenes, FWF Stand-alone, (EuroSys 2017), ACM, 483-498. of gene regulatory networks. Acta Evolution. 71(6), 1478-1493. Li W, Bickel B. 2017. Functionality- junctions, FP7 People MC-CIG, €356'000, 9/2013-8/2017 • Baig G, Radunovic B, Alistarh D, Informatica. 54(8), 765-787. • Schmidt TL, Barton NH, Rasic G, aware retargeting of mechanisms to €100'000, 4/2013-3/2017 • Biophysics of information processing Balkwill M, Karagiannis T, Qiu L. • Pérez JH, Trubenová B, Sudholt D, Turley AP, Montgomery BL, Iturbe- 3D shapes. SIGGRAPH: Computer • Examination of the role of a MFS in gene regulation, FWF Stand-alone, 2017. Towards unlicensed cellular Paixão T. 2017. Selection limits to Ormaetxe I, Cook PE, Ryan PA, Graphics and Interactive Techniques. transporter in the migration of €345'000, 1/2016-12/2018 networks in TV white spaces. In adaptive walks on correlated lands- Ritchie SA, Hoffmann AA, O’Neill ACM Transactions on Graphics, Drosophila immune cells, OEAW Conference on emerging Network- capes. Genetics. 205(2), 803-825. S, Turelli M. 2017. Successful local vol. 36. Article number: 81. DOC, €74'000, 7/2015-6/2017 Uhler Group ing EXperiments and Technologies • Lagator M, Paixão T, Barton NH, introduction and heterogeneous spa- • Drosophila TNFa’s Funktion in • Gaussian graphical models: (CoNEXT 2017), ACM, 2-14. Bollback JP, Guet CC. 2017. On the tial spread of dengue-suppressing Bollback Group Immunzellen, FWF Stand-alone, theory and applications, FWF START, • Kara K, Alistarh D, Alonso G, Mutlu O, mechanistic nature of epistasis in Wolbachia through an urban populati- • Lagator M, Paixão T, Barton NH, €346'000, 11/2016-10/2019 €987'000, 7/2015-6/2018 Zhang C. 2017. FPGA-accelerated a canonical cis-regulatory element. on of Aedes aegypti. PLoS Biology. Bollback JP, Guet CC. 2017. On the • Invasive migration, FFG Femtech, dense linear machine learning: A eLife. 6, Article number: e25192. 15(5), Article number: e2001894. mechanistic nature of epistasis in €6'000, 1/2017-4/2017 precision-convergence trade-off. • Lagator M, Sarikas S, Acar H, • Turelli M, Barton NH. 2017. Deploying a canonical cis-regulatory element. • Investigating the role of the novel In Field-Programmable Custom Bollback JP, Guet CC. 2017. Regu- dengue-suppressing Wolbachia: eLife. 6, Article number: e25192. major superfamily facilitator Computing Machines (FCCM 2017), latory network structure determines Robust models predict slow but • Lagator M, Sarikas S, Acar H, transporter family member MFSD1 160-167. patterns of intermolecular epistasis. effective spatial spread in Aedes Bollback JP, Guet CC. 2017. Regu- in metastasis, NFB Life Science, • Zhang H, Li J, Kara K, Alistarh D, eLife. 6, Article number: e28921. aegypti. Theoretical Population latory network structure determines €251'000, 8/2017-7/2020 Liu J, Zhang C. 2017. ZipML: Training • Lukačišinová M, Novak S, Paixão Biology. 115, 45-60. patterns of intermolecular epistasis. • Tissue barrier penetration is crucial linear models with end-to-end low T. 2017. Stress induced mutagene- • Uecker H. 2017. Evolutionary rescue eLife. 6, Article number: e28921. for immunity and metastasis, OEAW precision, and a little bit of deep sis: Stress diversity facilitates the in randomly mating, selfing, and • Redondo RA, Vladar HP, Włodarski DOC, €116'000, 8/2017-7/2020 learning. In Precup D, Teh YW, Eds., persistence of mutator genes. PLoS clonal populations. Evolution. 71(4), T, Bollback JP. 2017. Evolutionary • Modeling epithelial tissue mechanics International Conference on Machine Computational Biology. 13(7), Article 845-858. interplay between structure, energy during cell invasion, FWF Meitner, Learning (ICML 2017), vol 70, number: e1005609. and epistasis in the coat protein of €153'000, 1/2018-12/2019 4035-4043. • Mitosch K, Rieckh G, Bollenbach T. the fX174 phage family. Journal of 2017. Noisy response to antibiotic the Royal Society Interface. 14(126), stress predicts subsequent single Article number: 20160139. cell survival in an acidic environment. Cell Systems. 4(4), 393-403. • Novak S, Barton NH. 2017. When does frequency-independent se- lection maintain genetic variation?. Genetics. 207(2), 653-668. • Novak S, Kollár R. 2017. Spatial gene frequency waves under genotype de- pendent dispersal. Genetics. 205(1), 367-374.

94 95 Bollenbach Group Chatterjee Group • Chatterjee K, Henzinger TA, Otop J. • Chatterjee K, Piterman N. 2017. Cremer Group Csicsvari Group • Edelsbrunner H, Wagner H. 2017. To- Erdős Group • De Vos MG, Zagorski M, McNally A, • Ashok P, Chatterjee K, Daca P, 2017. Nested weighted automata. Obligation blackwell games and • Di Giglio MG, Muttenthaler M, • Gan J, Weng S, Pernía-Andrade AJ, pological data analysis with Bregman • Ajanki O, Krüger T, Erdős L. 2017. Bollenbach T. 2017. Interaction Křetínský J, Meggendorfer T. 2017. ACM Transactions on Computational p-automata. Journal of Symbolic Harpsøe K, Liutkeviciute Z, Keov Csicsvári J, Jonas P. 2017. Phase- divergences. In Aronov B, Katz MJ, Singularities of solutions to quadratic networks, ecological stability, and Value iteration for long run average Logic (TOCL). 18(4), Article number: Logic. 82(2), 420-452. P, Eder T, Rattei T, Arrowsmith S, locked inhibition, but not excitation, Eds., 33rd International Symposium vector equations on the complex collective antibiotic tolerance in reward in Markov decision processes. 31. • Chatterjee K, Velner Y. 2017. Hyper- Wray S, Marek A, Elbert T, Alewood underlies hippocampal ripple oscilla- on Computational Geometry (SoCG upper half plane. Communications on polymicrobial infections. PNAS. In Majumdar R, Kunčak V, Eds., Com- • Chatterjee K, Henzinger TA, Otop J. plane separation technique for PF, Gloriam DE, Gruber CW. 2017. tions in awake mice in vivo. Neuron. 2017), Leibniz International Proceed- Pure and Applied Mathematics. 70(9), 114(40), 10666-10671. puter Aided Verification (CAV 2017), 2017. Bidirectional nested weighted multidimensional mean-payoff Development of a human vasopressin 93(2), 308-314. ings in Informatics, vol 77, Article 1672-1705. • Du W, Angermayr AS, Jongbloets Springer Lecture Notes in Computer automata. In Meyer R, Nestmann U, games. Journal of Computer and V1a-receptor antagonist from an • Levina A, Priesemann V. 2017. number: 39. • Ajanki O, Erdős L, Krüger T. 2017. JA, Molenaar D, Bachmann H, Science, vol 10426, 201-221. Eds., Conference on Concurrency System Sciences. 88, 236-259. evolutionary-related insect neuro­ Subsampling scaling. Nature • Ethier M, Jablonski G, Mrozek M. Universality for general Wigner-type Hellingwerf KJ, Branco Dos Santos F. • Brázdil T, Chatterjee K, Forejt V, Theory (CONCUR 2017), Leibniz • Chatterjee K, Velner Y. 2017. peptide. Scientific Reports. 7, Communications. 8, Article number: 2017. Finding eigenvalues of self- matrices. Probability Theory and 2017. Nonhierarchical flux regu- Kučera A. 2017. Trading performance International Proceedings in Informa- The complexity of mean-payoff push- Article number: 41002. 15140. maps with the Kronecker canonical Related Fields. 169(3-4), 667-727. lation exposes the fitness burden for stability in Markov decision tics, vol 85, Article number: 5. down games. Journal of the ACM. • Franke F, Armitage SA, Kutzer • O’Neill J, Boccara CN, Stella F, form. In Kotsireas I, Martínez-Moro E, • Alt J. 2017. Singularities of the associated with lactate production processes. Journal of Computer • Chatterjee K, Henzinger TA, Otop J, 64(5), Article number: 34. MA, Kurtz J, Scharsack JP. 2017. Schönenberger P, Csicsvári J. 2017. Eds., Applications of Computer density of states of random Gram in Synechocystis sp. PCC6803. ACS and System Sciences. 84, 144-170. Velner Y. 2017. Quantitative fair • Hilbe C, Martinez Vaquero LA, Environmental temperature variation Superficial layers of the medial Algebra (ACA 2015). Springer matrices. Electronic Communications Synthetic Biology. 6(3), 395-401. • Chatterjee K, Doyen L, Filiot E, simulation games. Information and Chatterjee K, Nowak MA. 2017. influences fitness trade-offs in a entorhinal cortex replay indepen- Proceedings in Mathematics & in Probability. 22, Article number: 63. • Lukacisin M, Landon M, Jajoo R. Raskin JF. 2017. Doomsday equilibria Computation. 254(2), 143-166. Memory-n strategies of direct reci- fish-tapeworm association. Parasites dently of the hippocampus. Science. Statistics, vol 198, 119-136. • Alt J, Erdős L, Krüger T. 2017. Local 2017. Sequence-specific thermo- for omega-regular games. Information • Chatterjee K, Ibsen-Jensen R, Nowak procity. PNAS. 114(18), 4715-4720. & Vectors. 10(252). 355(6321), 184-188. • Heiss T, Wagner H. 2017. Streaming law for random Gram matrices. dynamic properties of nucleic acids and Computation. 254, 296-315. MA. 2017. Faster Monte Carlo algo- • Makohon-Moore AP, Zhang M, • Futo M, Sell MP, Kutzer MA, Kurtz J. • Simonnet J, Nassar M, Stella F, algorithm for Euler characteristic Electronic Journal of Probability. 22, influence both transcriptional pausing • Chatterjee K, Doyen L, Henzinger TA. rithms for fixation probability of the Reiter JG, Božić I, Allen B, Kundu D, 2017. Specificity of oral immune pri- Cohen I, Mathon B, Boccara CN, curves of multidimensional images. Article Number: 25. and backtracking in yeast. PLoS One. 2017. The cost of exactness in quan- Moran process on undirected graphs. Chatterjee K, Wong F, Jiao Y, ming in the red flour beetle Tribolium Miles R, Fricker D. 2017. Activ- In Felsberg M, Heyden A, Eds., • Bao Z, Erdős L. 2017. Delocalization 12(3), e0174066. titative reachability. In Aceto L, Bacci In Larsen K, Bodlaender H, Raskin Kohutek ZA, Hong J, Attiyeh M, castaneum. Biology Letters. 13(12), ity dependent feedback inhibition Computer Analysis of Images and for a class of random block band • Lukačišinová M, Bollenbach T. 2017. G, Bacci G, Ingólfsdóttir A, Legay A, JF, Eds., Mathematical Foundations Javier B, Wood LD, Hruban RH, Article number: 20170632. may maintain head direction signals Patterns - 17th International Confer- matrices. Probability Theory and Toward a quantitative understanding Mardare R, Eds. Models, Algorithms, of Computer Science (MFCS 2017), Nowak MA, Papadopoulos N, Kinzler • Giehr J, Grasse AV, Cremer S, Heinze in mouse presubiculum. Nature ence (CAIP 2017), Springer Lecture Related Fields. 167(3), 673-776. of antibiotic resistance evolution. Logics and Tools. Springer Lecture Leibniz International Proceedings in KW, Vogelstein B, Iacobuzio-Donahue J, Schrempf A. 2017. Ant queens in- Communications. 8, Article number: Notes in Computer Science, • Bao Z, Erdős L, Schnelli K. 2017. Current Opinion in Biotechnology. Notes in Computer Science, vol Informatics, vol 83, Article number: CA. 2017. Limited heterogeneity of crease their reproductive efforts after 16032. vol 10424, 397-409. Convergence rate for spectral 46, 90-97. 10460, 367-381. 61. known driver gene mutations among pathogen infection. Royal Society • Lubiw A, Masárová Z, Wagner U. distribution of addition of random • Lukačišinová M, Novak S, Paixão T. • Chatterjee K, Ehlers R. 2017. Special • Chatterjee K, Kafshdar Goharshady the metastases of individual patients Open Science. 4, Article number: Edelsbrunner Group 2017. A proof of the orbit conjecture matrices. Advances in Mathematics. 2017. Stress induced mutagenesis: issue: Synthesis and SYNT 2014. A, Pavlogiannis A. 2017. JTDec: A with pancreatic cancer. Nature 170547. • Akopyan A, Bárány I, Robins S. 2017. for flipping edge labelled triangula- 319, 251-291. Stress diversity facilitates the Acta Informatica. 54(6), 543-544. tool for tree decompositions in soot. Genetics. 49(3), 358-366. • Greenwood J, Milutinović B, Peuß Algebraic vertices of non-convex tions. In Aronov B, Katz MJ, Eds., • Bao Z, Erdős L, Schnelli K. 2017. persistence of mutator genes. • Chatterjee K, Fu H, Goharshady AK. D’Souza D, Kumar KN, Eds., Auto- • Pavlogiannis A, Tkadlec J, Chatterjee R, Behrens S, Essar D, Rosenstiel P, polyhedra. Advances in Mathematics. 33rd International Symposium on Local law of addition of random PLoS Computational Biology. 13(7), 2017. Non-polynomial worst case mated Technology for Verification K, Nowak MA. 2017. Amplification on Schulenburg H, Kurtz J. 2017. Oral 308, 627-644. Computational Geometry (SoCG matrices on optimal scale. Com- Article number: e1005609. analysis of recursive programs. In and Analysis (ATVA 2017), Springer undirected population structures: immune priming with Bacillus thurin­ • Akopyan A, Karasev R. 2017. A tight 2017), Leibniz International Proceed- munications in Mathematical Physics. • Mitosch K, Rieckh G, Bollenbach T. Majumdar R, Kunčak V, Eds., Lecture Notes in Computer Science, Comets beat stars. Scientific Reports. giensis induces a shift in the gene estimate for the waist of the ball. ings in Informatics, vol 77, Article 349(4), 947-990. 2017. Noisy response to antibiotic Computer Aided Verification (CAV vol 10482, 59-66. 7(1), Article number: 82. expression of Tribolium castaneum Bulletin of the London Mathematical number: 49. • Betea D, Bouttier J, Nejjar P, Vuletić stress predicts subsequent single 2017), Springer Lecture Notes in • Chatterjee K, Kragl B, Mishra S, • Priklopil T, Chatterjee K, Nowak MA. larvae. BMC Genomics. 18(329). Society. 49(4), 690-693. • Pranav P, Edelsbrunner H, van de M. 2017. The Free Boundary Schur cell survival in an acidic environment. Computer Science, vol 10427, 41-63. Pavlogiannis A. 2017. Faster 2017. Optional interactions and sus- • Kennedy P, Baron G, Qiu B, Freitak • Akopyan A, Vysotsky V. 2017. On the Weygaert R, Vegter G, Kerber M, Process and Applications. Séminaire Cell Systems. 4(4), 393-403. • Chatterjee K, Fu H, Murhekar A. algorithms for weighted recursive picious behaviour facilitates trustful D, Helantera H, Hunt ER, Manfredini lengths of curves passing through Jones BJ, Wintraecken MH. 2017. Lotharingien de Combinatoire 78B, • Schwarz J, Bierbaum V, Vaahtomeri 2017. Automated recurrence analysis state machines. In Yang H, Ed., cooperation in prisoner’s dilemma. F, O’Shea-Wheller T, Patalano S, Pull boundary points of a planar convex The topology of the cosmic web in Article number: 44. K, Hauschild R, Brown M, de Vries for almost linear expected runtime European Symposium on Program- Journal of Theoretical Biology. 433, CD, Sasaki T, Taylor D, Wyatt CD, shape. The American Mathematical terms of persistent Betti numbers. • Bourgade P, Erdős L, Yau H, Yin I, Leithner A, Reversat A, Merrin J, bounds. In Majumdar R, Kunčak V, ming: Programming Languages 64-72. Sumner S. 2017. Deconstructing Monthly. 124(7), 588-596. Monthly Notices of the Royal Astro- J. 2017. Universality for a class of Tarrant T, Bollenbach T, Sixt M. 2017. Eds., Computer Aided Verification and Systems (ESOP 2017), Springer • Reiter JG, Makohon-Moore AP, superorganisms and societies to • Austin K, Virk Ž. 2017. Higson com- nomical Society. 465(4), 4281-4310. random band matrices. Advances Dendritic cells interpret haptotactic (CAV 2017), Springer Lecture Notes Lecture Notes in Computer Science, Gerold JM, Božić I, Chatterjee K, address big questions in biology. pactification and dimension raising. • Virk Ž, Zastrow A. 2017. A new in Theoretical and Mathematical chemokine gradients in a manner in Computer Science, vol 10426, vol 10201, 287-313. Iacobuzio-Donahue CA, Vogelstein B, Trends in Ecology and Evolution. Topology and its Applications. 215, topology on the universal path space. Physics. 21(3), 739-800. governed by signal to noise ratio 118-139. • Chatterjee K, Křetínská Z, Křetínský Nowak MA. 2017. Reconstructing me- 32(11), 861-872. 45-57. Topology and its Applications. 231, • Erdős L, Schnelli K. 2017. Univer- and dependent on GRK6. Current • Chatterjee K, Hansen KA, Ibsen- J. 2017. Unifying two views on multi- tastatic seeding patterns of human • Pull CD, Cremer S. 2017. Co-founding • Bauer U, Edelsbrunner H. 2017. The 186-196. sality for random matrix flows with Biology. 27(9), 1314-1325. Jensen R. 2017. Strategy complexity ple mean-payoff objectives in Markov cancers. Nature Communications. 8, ant queens prevent disease by Morse theory of Čech and Delaunay time dependent density. Annales de • Veetil VP, Angermayr A, Hellingwerf of concurrent safety games. In Larsen decision processes. Logical Methods Article number: 14114. performing prophylactic undertaking complexes. Transactions of the l’institut Henri Poincare (B) Probability KJ. 2017. Ethylene production with K, Bodlaender H, Raskin JF, Eds., in Computer Science. 13(2), Article • Svoreňová M, Křetínský J, Chmelík behaviour. BMC Evolutionary Biology. American Mathematical Society. and Statistics. 53(4), 1606-1656. engineered Synechocystis sp PCC Mathematical Foundations of number: lmcs: 3757. M, Chatterjee K, Cěrná I, Belta CA. 17, Article number: 219. 369(5), 3741-3762. • Erdős L, Schröder D. 2017. Fluctua- 6803 strains. Microbial Cell Factories. Computer Science (MFCS 2017), • Chatterjee K, Novotný P, Pérez GA, 2017. Temporal logic control for • Cremer S. 2017. Invasive Ameisen • Bauer U, Kerber M, Reininghaus J, tions of rectangular young diagrams 16(1), Article number 34. Leibniz International Proceedings in Raskin J, Zikelic D. 2017. Optimi- stochastic linear systems using in Europa: Wie sie sich ausbreiten Wagner H. 2017. Phat - Persistent of interlacing Wigner eigenvalues. • Zagorski M, Tabata Y, Brandenberg Informatics, vol 83, Article number: 55. zing expectation with guarantees abstraction refinement of probabilis- und die heimische Fauna verändern. homology algorithms toolbox. International Mathematics Research N, Lutolf MP, Tkačik G, Bollenbach T, • Chatterjee K, Henzinger M, in POMDPs. Singh SP, Markovitch tic games. Nonlinear Analysis: Hybrid Rundgespräche Forum Ökologie. 46, Journal of Symbolic Computation. Notices., Article number: rnw330. Briscoe J, Kicheva A. 2017. Decoding Loitzenbauer V. 2017. Improved S, Eds., Artificial Intelligence (AAAI Systems. 23, 230-253. 105-116. 78, 76-90. • Erdős L, Yau H. 2017. Courant of position in the developing neural algorithms for parity and Streett 2017), AAAI Press, vol 5, 3725-3732. • Veller C, Hayward LK, Hilbe C, • Chatterjee K, Osang G. 2017. Lecture Notes, vol 28: A dynamical tube from antiparallel morphogen objectives. Logical Methods in • Chatterjee K, Novotný P, Zikelic D. Nowak MA. 2017. The red queen Pushdown reachability with constant approach to random matrix theory. gradients. Science. 356(6345), Computer Science. 13(3), Article 2017. Stochastic invariants for proba- and king in finite populations. PNAS. treewidth. Information Processing AMS. 1379-1383. number: lmcs: 3953. bilistic termination. In Castagna G, 114(27), E5396-E5405. Letters. 122, 25-29. • Ferrari, P. L., Nejjar, P. 2017. Fluctua- • Chatterjee K, Henzinger M, Svozil Gordon A, Eds., Principles of Pro- • Edelsbrunner H, Glazyrin A, Musin tions of the competition interface A. 2017. Faster algorithms for mean gramming Languages (POPL 2017), OR, Nikitenko A. 2017. The Voronoi in presence of shocks. ALEA. Latin payoff parity games. In Larsen K, ACM, vol 52, 145-160. functional is maximized by the American Journal of Probability and Bodlaender H, Raskin JF, Eds., • Chatterjee K, Osang G. 2017. Delaunay triangulation in the plane. Mathematical Statistics 14(1), 299- Mathematical Foundations of Pushdown reachability with constant Combinatorica. 37(5), 887-910. 325. Computer Science (MFCS 2017), treewidth. Information Processing • Edelsbrunner H, Nikitenko A, Reitzner • Nemish Y. 2017. Local law for the Leibniz International Proceedings in Letters. 122, 25-29. M. 2017. Expected sizes of poisson product of independent non-Hermi- Informatics, vol 83, Article number: 39. • Chatterjee K, Pavlogiannis A, Kößler Delaunay mosaics and their discrete tian random matrices with indepen- • Chatterjee K, Henzinger TA, Ibsen- A, Schmid U. 2017. Automated Morse functions. Advances in dent entries. Electronic Journal of Jensen R, Otop J. 2017. Edit competitive analysis of real time Applied Probability. 49(3), 745-767. Probability. 22, Article number: 22. distance for pushdown automata. scheduling with graph games. Logical Methods in Computer Real-Time Systems. 54(1), 166-207. Science. 13(3).

96 97 Fink Group Friml Group • Von Wangenheim D, Goh T, Dietrich • Lang M, Sontag E. 2017. Zeros of Hausel Group Henzinger Group • Cerný P, Clarke EM, Henzinger TA, • Le XD, Chu D, Lo D, Le Goues C, • Barzanjeh S, Salari V, Tuszynski JA, • Kitakura S, Adamowski M, Matsuura D, Bennett MJ. 2017. Plant biology: nonlinear systems with input invari- • Davison B. 2017. The critical CoHA • Ashok P, Chatterjee K, Daca P, Radhakrishna A, Ryzhyk L, Samanta Visser W. 2017. S3: Syntax- and Cifra M, Simon C. 2017. Optome- Yuki, Santuari Luca, Kouno Hirotaka, Building barriers…in roots. Current ances. Automatica. 81C, 46-55. of a quiver with potential. Quarterly Křetínský J, Meggendorfer T. 2017. R, Tarrach T. 2017. From non- semantic-guided repair synthesis chanical proposal for monitoring Arima Kohei, Hardtke Christian S, Biology. 27(5), R172-R174. • Nikolic N, Didara Z, Moll I. 2017. Journal of Mathematics. 68(2), Value iteration for long-run average preemptive to preemptive schedul- via programming by examples. In microtubule mechanical vibrations. Friml J, Kakimoto T, Tanaka H. 2017. • Von Wangenheim D, Hauschild R, MazF activation promotes 635-703. reward in Markov decision processes. ing using synchronization synthesis. Bodden E, Schäfer W, van Deursen Physical Review E Statistical Non­ BEN3/BIG2 ARF GEF is involved in Fendrych M, Barone V, Benková E, translational heterogeneity of the In Majumdar R, Kunčak V, Eds., Com- Formal Methods in System Design. A, Zisman A, Eds., Foundations of linear and Soft Matter Physics. 96(1), Brefeldin A-Sensitive Trafficking at Friml J. 2017. Live tracking of moving grcA mRNA in Escherichia coli Heisenberg Group puter-Aided Verification (CAV 2017), 50(2-3), 97-139. Software Engineering (FSE 2017), Article number: ea012404. the trans-Golgi Network/Early Endo- samples in confocal microscopy for populations. PeerJ. 2017(9), Article • Barone V, Lang M, Krens G, Pradhan Springer Lecture Notes in Computer • Chatterjee K, Doyen L, Henzinger TA. ACM, 593-604. • Barzanjeh S, Wulf M, Peruzzo M, some in Arabidopsis thaliana. Plant vertically grown roots. eLife. 6, Article number: 3830. SJ, Shami Pour S, Sako K, Sikora M, Science, vol 10426, 201-221. 2017. The cost of exactness in quan- • Trinh M, Chu D, Jaffar J. 2017 Model Kalaee M, Dieterle PB, Painter O, and Cell Physiology. Article number: number: e26792. • Nikolic N, Schreiber Frank, Dal Co Guet CC, Heisenberg C. 2017. An • Avni G, Goel S, Henzinger TA, titative reachability. In Aceto L, Bacci counting for recursively-defined Fink J. 2017. Mechanical on-chip pcx118. • Von Wangenheim D, Hauschild R, Alma, Kiviet Daniel J, Bergmiller T, effective feedback loop between cell- Rodríguez-Navas G. 2017. Comput- G, Bacci G, Ingólfsdóttir A, Legay A, strings. In Majumdar R, Kunčak V, Eds., microwave circulator. Nature • Kuhn BM, Nodzyński T, Errafi S, Friml J. 2017. Light sheet fluores- Littmann Sten, Kuypers MM, cell contact duration and morphogen ing scores of forwarding schemes in Mardare R, Eds. Models, Algorithms, Computer-Aided Verification (CAV Communications. 8(1), Article Bucher R, Gupta S, Aryal B, Dobrev cence microscopy of plant roots Ackermann M. 2017. Cell-to-cell signaling determines cell fate. switched networks with probabilistic Logics, and Tools. Springer Lecture 2017), Springer Lecture Notes in Com- number: 953. P, Bigler L, Geisler M, Zažímalová growing on the surface of a gel. Jour- variation and specialization in sugar Developmental Cell. 43(2), 198-211. faults. In Legay A, Margaria T, Eds., Notes in Computer Science, vol puter Science, vol 10427, 399-418. • Caixeiro S, Peruzzo M, Onelli OD, E, Friml J, Ringli C. 2017. Flavonol- nal of visualized experiments JoVE. metabolism in clonal bacterial • Chan CJ, Heisenberg C, Hiiragi T. Tools and Algorithms for the Con- 10460, 367-381. Vignolini S, Sapienza R. 2017. Disor- induced changes in PIN2 polarity and 2017(119), Article number: e55044. populations. PLoS Genetics. 13(12), 2017. Coordination of morphogen- struction and Analysis of Systems • Chatterjee K, Henzinger TA, Ibsen- Hippenmeyer Group dered cellulose based nanostructures auxin transport in the Arabidopsis Article number: e1007122. esis and cell fate specification in (TACAS 2017), Springer Lecture Jensen R, Otop J. 2017. Edit distance • Andergassen D, Dotter CP, Wenzel D, for enhanced light scattering. ACS thaliana rol1-2 mutant require phos- Guet Group • Pleska M, Guet CC. 2017. Effects development. Current Biology. 27(18), Notes in Computer Science, vol for pushdown automata. Logical Sigl V, Bammer PC, Muckenhuber M, Applied Materials and Interfaces. 9(9), phatase activity. Scientific Reports. 7, • Barone V, Lang M, Krens G, Pradhan of mutations in phage restriction R1024-R1035. 10206, 169-187. Methods in Computer Science. 13(3). Mayer D, Kulinski TM, Theussl H, 7885-7890. Article number: 41906. SJ, Shami Pour S, Sako K, Sikora M, sites during escape from restriction- • Heisenberg C. 2017. Cell biology: • Avni G, Guha S, Kupferman O. 2017. • Chatterjee K, Henzinger TA, Otop J. Penninger JM, Bock C, Barlow DP, • Fink J. 2017. Photonenblockade auf- • Mazur E, Friml J. 2017. Vascular Guet CC, Heisenberg C. 2017. An modification. Biology Letters. 13(12), Stretched divisions. Nature. An abstraction-refinement method- 2017. Bidirectional nested weighted Pauler FM, Hudson QJ. 2017. Mapping gelöst. Physik in unserer Zeit. 48(3), tissue development and regeneration effective feedback loop between cell- Article number: 2017064. 543(7643), 43-44. ology for reasoning about network automata. In Meyer R, Nestmann U, the mouse Allelome reveals tissue 111-113. in the model plant Arabidopsis. cell contact duration and morphogen • Renault TT, Abraham AO, Bergmiller • Heisenberg C. 2017. D’Arcy Thomp- games. In Sierra C, Ed., International Eds., Concurrency Theory (CONCUR specific regulation of allelic expression. • Fink J. 2017. Viewpoint: Microwave Plant Engineering. Agricultural and signaling determines cell fate. Devel- T, Paradis G, Rainville S, Charpentier son’s ʻon growth and form’: From Joint Conference on Artificial Intel- 2017), Leibniz International Proceed- eLife. 6, Article number: e25125. quantum states beat the heat. Biological Sciences, 113-140. opmental Cell. 43(2), 198-211. E, Guet CC, Tu Y, Namba K, Keener soap bubbles to tissue self-organi- ligence (IJCAI 2017), 70-76. ings in Informatics, vol 85, Article • Beattie R, Hippenmeyer S. 2017. Physics. 10(32). • Morris EC, Griffiths M, Golebiowska • Bergmiller T, Andersson AM, JP, Minamino T, Erhardt M. 2017. zation. Mechanisms of Development. • Avni G, Guha S, Kupferman O. 2017. number: 5. Mechanisms of radial glia progenitor • Fink J, Dombi A, Vukics A, Wallraff A, A, Mairhofer S, Burr Hersey J, Goh Tomasek K, Balleza E, Kiviet Daniel Bacterial flagella grow through an 145, 32-37. Timed network games. In Larsen K, • Chatterjee K, Henzinger TA, Otop J. cell lineage progression. FEBS Domokos P. 2017. Observation of the T, von Wangenheim D, Atkinson B, J, Hauschild R, Tkačik G, Guet CC. injection diffusion mechanism. eLife. • Krens G, Veldhuis JH, Barone V, Bodlaender H, Raskin JF, Eds., Math- 2017. Nested weighted automata. Letters. 591, 3993-4008. photon blockade breakdown phase Sturrock CJ, Lynch JP, Vissenberg 2017. Biased partitioning of the 6, Article number: e23136. Čapek D, Maître J, Brodland W, ematical Foundations of Computer ACM Transactions on Computational • Beattie R, Postiglione MP, Burnett LE, transition. Physical Review X. 7(1), K, Ritz K, Wells DM, Mooney SJ, multidrug efflux pump AcrAB TolC • Steinrück M, Guet CC. 2017. Heisenberg C. 2017. Interstitial fluid Science (MFCS 2017), Leibniz Inter- Logic. 18(4), Article number: 31. Laukoter S, Streicher C, Pauler FM, Article number: 011012. Bennett MJ. 2017. Shaping 3D root underlies long lived phenotypic Complex chromosomal neighbor- osmolarity modulates the action of national Proceedings in Informatics, • Chatterjee K, Henzinger TA, Otop Xiao G, Klezovitch Olga, Vasioukhin • Keller A J, Dieterle PB, Fang M, system architecture. Current Biology. heterogeneity. Science. 356(6335), hood effects determine the adaptive differential tissue surface tension in vol 83, Article number: 37. J, Velner Y. 2017. Quantitative fair V, Ghashghaei TH, Hippenmeyer S. Berger B, Fink J, Painter O. 2017. 27(17), R919-R930. 311-315. potential of a gene under selection. progenitor cell segregation during • Avni G, Henzinger TA, Chonev V. simulation games. Information and 2017. Mosaic analysis with double Al transmon qubits on silicon-on- • Möller BK, Ten Hove CA, Xiang D, • Chait R, Ruess J, Bergmiller T, Tkačik eLife. 6, Article number: e25100. gastrulation. Development. 144(10), 2017. Infinite-duration bidding Computation. 254(2), 143-166. markers reveals distinct sequential insulator for quantum device integra- Williams N, López LG, Yoshida S, G, Guet CC. 2017. Shaping bacterial 1798-1806. games. . In Meyer R, Nestmann U, • Chatterjee K, Kragl B, Mishra S, functions of Lgl1 in neural stem cells. tion. Applied Physics Letters. 111(4), Smit M, Datla R, Weijers D. 2017. population behavior through com- Hannezo Group • Morita H, Grigolon S, Bock M, Krens Eds., Concurrency Theory (CONCUR Pavlogiannis A. 2017. Faster algo- Neuron. 94(3), 517-533. Article Number: 042603. Auxin response cell autonomously puter interfaced control of individual • Hannezo E, Scheele CL, Moad M, G, Salbreux G, Heisenberg C. 2017. 2017), Leibniz International Proceed- rithms for weighted recursive state • Breuss MW, Hansen AH, Landler L, • Rueda A, Sedlmeir F, Collodo MC, controls ground tissue initiation in cells. Nature Communications. 8(1), Drogo N, Heer R, Sampogna RV, The physical basis of coordinated ings in Informatics, vol 85, Article machines. In Yang H, Ed., European Keays DA. 2017. Brain specific knockin Vogl U, Stiller B, Schunk G, Strekalov the early Arabidopsis embryo. PNAS. Article number: 1535. Van Rheenen J, Simons BD. 2017. tissue spreading in zebrafish gas- number: 21. Symposium on Programming (ESOP of the pathogenic Tubb5 E401K allele DV, Marquardt C, Fink JM, Painter 114(12), E2533-E2539. • Daca P, Henzinger TA, Křetínský A unifying theory of branching mor- trulation. Developmental Cell. 40(4), • Bak S, Bogomolov S, Henzinger TA, 2017), Springer Lecture Notes in causes defects in motor coordination O, Leuchs G, Schwefel HG. 2017. • Olatunji D, Geelen D, Verstraeten I. J, Petrov T. 2017. Faster statisti- phogenesis. Cell. 171(1), 242-255. 354-366. Kumar A. 2017. Challenges and tool Computer Science, vol 10201, and prepulse inhibition. Behavioural Single sideband microwave to optical 2017. Control of endogenous auxin cal model checking for unbounded • Pinheiro D, Hannezo E, Herszterg S, • Petridou NI, Spiró Z, Heisenberg C. implementation of hybrid rapidly 287-313. Brain Research. 323, 47-55. photon conversion – an electro- levels in plant root development. temporal properties. ACM Transac- Bosveld F, Gaugué I, Balakireva 2017. Multiscale force sensing in exploring random trees. In Abate A, • Daca P, Henzinger TA, Křetínský J, • Breuss MW, Leca I, Gstrein T, Hansen optic-realization. In Nonlinear Optics International Journal of Molecular tions on Computational Logic (TOCL). MG, Wang Z, Cristo I, Rigaud SU, development. Nature Cell Biology. Boldo S, Eds., Numerical Software Petrov T. 2017. Faster statistical AH, Keays DA. 2017. Tubulins and (NLO 2017), OSA Technical Digest, Sciences. 18(12), Article number: 18(2), Article number: 12. Markova O, Bellaïche Y. 2017. 19(6), 581-588. Verification (NSV 2017), Springer model checking for unbounded tem- brain development – the origins of Optical Society of America, Paper 2587. • Fang C, Nagy-Staron A, Grafe M, Transmission of cytokinesis forces via • Schmalhorst PS, Deluweit F, Lecture Notes in Computer Science, poral properties. ACM Transactions functional specification. Molecular number: NM3A.1. • Steenackers W, Klíma P, Quareshy Heermann R, Jung K, Gebhard S, E cadherin dilution and actomyosin Scherrers R, Heisenberg C, Sikora M. vol 10381, 83-89. on Computational Logic. 18(2), and Cellular Neuroscience. 84, 58-67. MQ, Cesarino I, Kumpf RP, Corneillie Mascher T. 2017. Insulation and flows. Nature. 545(7652), 103-107. 2017. Overcoming the limitations of • Bakhirkin A, Ferrère T, Maler O, Article number: 12. • Breuss MW, Nguyen T, Srivatsan A, Fischer Group S, Araújo P, Viaene T, Goeminne wiring specificity of BceR like • Scheele CLG, Hannezo E, Muraro the MARTINI force field in simula- Ulus D. 2017. On the quantitative • Finkbeiner B, Kupriyanov A. 2017. Leca I, Tian G, Fritz T, Hansen AH, • Fischer J. 2017. Weak-strong unique- G, Nowack MK, Ljung K, Friml J, response regulators and their target MJ, Zomer A, Langedijk NSM, Van tions of polysaccharides. Journal of semantics of regular expressions Causality-based model checking. Musaev D, McEvoy-Venneri J, Kiely ness of solutions to entropy dissipat- Blakeslee JJ, Novák O, Zažímalová promoters in Bacillus subtilis. Mo- Oudenaarden A, Simons BD, Van Chemical Theory and Computation. over real-valued signals. In Abate A, In Groce A, Leue S, Eds., Causal JN, Rosti RO, Scott E, Tan U, ing reaction-diffusion equations. E, Napier R, Boerjan W, Vanholme B. lecular Microbiology. 104(1), 16-31. Rheenen J. 2017.Identity and dynam- 13(10), 5039-5053. Geeraerts G, Eds., Formal Model- Reasoning for Embedded and Kolodner RD, Cowan NJ, Keays Nonlinear Analysis: Theory, Methods 2017. Cis-Cinnamic acid is a novel • Friedlander T, Prizak R, Barton NH, ics of mammary stem cells during • Smutny M, Ákos Z, Grigolon S, ing and Analysis of Timed Systems Safety-critical Systems Technologies DA, Gleeson JG. 2017. Uner Tan and Applications. 159, 181-207. natural auxin efflux inhibitor that Tkačik G. 2017. Evolution of new branching morphogenesis. Nature. Shamipour S, Ruprecht V, Čapek D, (FORMATS 2017), Springer Lecture (CREST 2017), Electronic Proceed- syndrome caused by a homozygous • Fischer J, Raithel C. 2017. Liouville promotes lateral root formation. Plant regulatory functions on biophysically 542(7641), 313-317. Behrndt M, Papusheva E, Tada M, Notes in Computer Science, ings in Theoretical Computer TUBB2B mutation affecting micro- principles and a large-scale regularity Physiology. 173(1), 552-565. realistic fitness landscapes. Nature • Sedzinski J, Hannezo E, Tu F, Biro M, Hof B, Vicsek T, Salbreux G, vol 10419, 189-206. Science, vol 259, 31-38. tubule stability. Human Molecular theory for random elliptic operators • Synek L, Vukašinović N, Kulich I, Hála Communications. 8, Article number: Wallingford JB. 2017. RhoA regulates Heisenberg C. 2017. Friction forces • Bogomolov S, Frehse G, Giacobbe • Giacobbe M, Guet CC, Gupta AK, Genetics. 26(2), 258-269. on the half-space. SIAM Journal on M, Aldorfová K, Fendrych M, Žárský 216. actin network dynamics during apical position the neural anlage. Nature M, Henzinger TA. 2017. Counter­ Henzinger TA, Paixão T, Petrov TP. • Hansen AH, Duellberg C, Mieck C, Mathematical Analysis. 49(1), 82-114. V. 2017. EXO70C2 is a key regulatory • Giacobbe M, Guet CC, Gupta AK, surface emergence in multiciliated Cell Biology. 19, 306-317. example-guided refinement of 2017. Model checking the evolution Loose M, Hippenmeyer S. 2017. Cell factor for optimal tip growth of pollen. Henzinger TA, Paixão T, Petrov TP. epithelial cells. Journal of Cell • Spiró Z, Heisenberg C. 2017. Regen- template polyhedra. In Legay A, of gene regulatory networks. Acta polarity in cerebral cortex develop- Plant Physiology. 174(1), 223-240. 2017. Model checking the evolution Science. 130(2), 420-428. eration tensed up polyploidy takes Margaria T, Eds., Tools and Algo- Informatica. 54(8), 765-787. ment - cellular architecture shaped • Tejos R, Rodríguez-Furlán C, of gene regulatory networks. Acta the lead. Developmental Cell. 42(6), rithms for the Construction and • Henzinger TA, Otop J. 2017. Model by biochemical networks. Frontiers Adamowski M, Sauer M, Informatica. 54(8), 765-787. 559-560. Analysis of Systems (TACAS 2017), measuring for discrete and hybrid in Cellular Neuroscience. 11, Article Norambuena L, Friml J. 2017. • Lagator M, Paixão T, Barton NH, • Von Wangenheim D, Hauschild R, Springer Lecture Notes in Computer systems. Nonlinear Analysis: Hybrid number: 176. PATELLINS are regulators of auxin Bollback JP, Guet CC. 2017. On the Fendrych M, Barone V, Benková E, Science, vol 10205, 589-606. Systems. 23, 166-190. • Pfurr S, Chu Y, Bohrer C, Greulich F, mediated PIN1 relocation and plant mechanistic nature of epistasis in Friml J. 2017. Live tracking of moving • Bogomolov S, Giacobbe M, • Kong H, Bogomolov S, Schilling Beattie R, Mammadzada K, Hils M, development in Arabidopsis thaliana. a canonical cis-regulatory element. samples in confocal microscopy for Henzinger TA, Kong H. 2017. Conic C, Jiang Y, Henzinger TA. 2017. Arnold SJ, Taylor V, Schachtrup K, Journal of Cell Science. 131, Article eLife. 6, Article number: e25192. vertically grown roots. eLife. 6, Article abstractions for hybrid systems. In Safety verification of nonlinear hybrid Uhlenhaut NH, Schachtrup C. 2017. number: jcs204198. • Lagator M, Sarikas S, Acar H, number: e26792. Abate A, Geeraerts G, Eds., Formal systems based on invariant clusters. The E2A splice variant E47 regulates Bollback JP, Guet CC. 2017. Regula- Modeling and Analysis of Timed In Frehse G, Mitra S, Eds., Hybrid the differentiation of projection tory network structure determines Systems (FORMATS 2017), Springer Systems: Computation and Control neurons via p57(KIP2) during cortical patterns of intermolecular epistasis. Lecture Notes in Computer Science, (HSCC 2017), ACM, 163-172. development. Development. 144, eLife. 6, Article number: e28921. vol 10419, 116-132. 3917-3931.

98 99 Hof Group Janovjak Group Jonas Group Kicheva Group Lampert Group Lemeshko Group • Spałek J, Zegrodnik M, Kaczmarczyk Maas Group • Altmeyer S, Do Y, Lai Y. 2017. • Agus V, Janovjak H. 2017. Optoge- • Chen C, Arai I, Satterield R, Young • Briscoe J, Kicheva A. 2017. The • Der R, Martius G. 2017. Self- • Bighin G, Lemeshko M. 2017. J. 2017. Universal properties of high • Betea D, Bouttier J, Nejjar P, Vuletić Dynamics of ferrofluidic flow in the netic methods in drug screening: SM Jr., Jonas P. 2017. Synaptotag- physics of development 100 years organized behavior generation for Diagrammatic approach to orbital temperature superconductors from M. 2017. The Free Boundary Schur Taylor-Couette system with a small Technologies and applications. min 2 is the fast Ca2+ sensor at a after D’Arcy Thompson’s “on growth musculoskeletal robots. Frontiers in quantum impurities interacting with real space pairing t-J-U model and Process and Applications. Séminaire aspect ratio. Scientific Reports. 7, Current Opinion in Biotechnology. central inhibitory synapse. Cell and form”. Mechanisms of Develop- Neurorobotics. 11, Article number: a many-particle environment. Physi- its quantitative comparison with Lotharingien de Combinatoire 78B, Article number: 40012. 48, 8-14. Reports. 18(3), 723-736. ment. 145, 26-31. 00008. cal Review B - Condensed Matter experiment. Physical Review B - Article number: 44, 12 pp. • Altmeyer S, Do Y, Ryu S. 2017. Tran- • Clifton BE, Whitfield JH, Sanchez- • Chen C, Jonas P. 2017. Synaptotag- • Kicheva A, Rivron NC. 2017. Creat- • Kolesnikov A, Lampert CH. 2017. and Materials Physics. 96(8), Article Condensed Matter and Materials • Carlen EA, Maas J. 2017. Gradient sient behavior between multi-cell flow Romero I, Herde MK, Henneberger mins: That’s why so many. Neuron. ing to understand – developmental PixelCNN models with auxiliary vari- number: 085410. Physics. 95(2), 024506. flow and entropy inequalities for states in ferrofluidic Taylor-Couette C, Janovjak H, Jackson CJ. 2017. 94(4), 694-696. biology meets engineering in Paris. ables for natural image modeling. In • Bighin G, Salasnich L. 2017. Vortices • Wysokiński MM, Kaczmarczyk J. quantum Markov semigroups with flow. Chaos. 27(11), Article number: Ancestral protein reconstruction and • Chen C, Satterfield R, Young SM Development. 144(5), 733-736. Precup D, Teh YW, Eds., International and antivortices in two-dimensional 2017. Unconventional superconduc- detailed balance. Journal of Func- 113112. circular permutation for improving the Jr., Jonas P. 2017. Triple function of • Zagorski M, Tabata Y, Brandenberg Conference on Machine Learning ultracold Fermi gases. Scientific tivity in generalized Hubbard model tional Analysis. 273(5), 1810-1869. • Altmeyer S, Lueptow RM. 2017. stability and dynamic range of FRET Synaptotagmin 7 ensures efficiency N, Lutolf MP, Tkačik G, Bollenbach T, (ICML 2017), vol 70, 1905-1914. Reports. 7, Article number: 45702. role of electron—hole symmetry • Ferrari, P. L., Nejjar, P. 2017. Fluctua- Wave propagation reversal for wavy sensors. Synthetic Protein Switches. of high-frequency transmission at Briscoe J, Kicheva A. 2017. Decoding • Pentina A, Lampert CH. 2017. • Camus N, Yakaboylu E, Fechner L, breaking terms. Journal of Physics: tions of the competition interface vortices in wide gap counter rotating Methods in Molecular Biology vol. central GABAergic synapses. Cell of position in the developing neural Multi-task learning with labeled and Laux M, Mi Y, Hatsagortsyan KZ, Condensed Matter. 29(8), Article in presence of shocks. ALEA. Latin cylindrical Couette flow. Physical 1596. 71-87. Reports. 21(8), 2082-2089. tube from antiparallel morphogen unlabeled tasks. In Precup D, Teh Pfeifer T, Keitel CH, Moshammer number: 085604. American Journal of Probability and Review E - Statistical, Nonlinear, and • Kainrath S, Stadler M, Reichhart • Gan J, Weng S, Pernía-Andrade AJ, gradients. Science. 356(6345), YW, Eds., International Conference R. 2017. Experimental evidence for • Yakaboylu E, Deuchert A, Lemeshko Mathematical Statistics. 14(1), Soft Matter Physics. 95(5), Article E, Distel M, Janovjak H. 2017. Csicsvári J, Jonas P. 2017. Phase- 1379-1383. on Machine Learning (ICML 2017), quantum tunneling time. Physical M. 2017. Emergence of non-abelian 299-325. number: 053103. Grünlicht-induzierte Rezeptorinak- locked inhibition, but not excitation, vol 70, 2807-2816. Review Letters. 119, Article number: magnetic monopoles in a quantum • Gerencsér M, Gyöngy I. 2017. Lo- • Barone V, Lang M, Krens G, Pradhan tivierung durch Cobalamin-bindende underlies hippocampal ripple oscilla- Kolmogorov Group • Pielorz J, Prandtstetter M, Straub 023201. impurity problem. APS Physics, calization errors in solving stochastic SJ, Shami Pour S, Sako K, Sikora M, Domänen. Angewandte Chemie. tions in awake mice in vivo. Neuron. • Kazda A, Kolmogorov V, Rolinek M. M, Lampert CH. 2017. Optimal • Cherepanov IN, Lemeshko M. 2017. Physical Review Letters. 119, partial differential equations in the Guet CC, Heisenberg C. 2017. An 129(16), 4679-4682. 93(2), 308-314. 2017. Even delta-matroids and geospatial volunteer allocation needs Fingerprints of angulon instabilities Article number: 235301-6. whole space. Mathematics of effective feedback loop between cell- • Kainrath S, Stadler M, Reichhart E, • Geng X, Maruo T, Mandai K, the complexity of planar Boolean realistic distances. Workshop Data in the spectra of matrix-isolated mol- • Yakaboylu E, Lemeshko M. 2017. Computation. 86(307), 2373-2397. cell contact duration and morphogen Distel M, Janovjak H. 2017. Green- Supriyanto I, Miyata M, Sakakibara S, CSPs. In Klein P, Ed., Symposium on Science for Emergency Management ecules. Physical Review Materials. Anomalous screening of quantum • Gerencsér M, Jentzen A, Salimova D. signaling determines cell fate. Devel- light-induced inactivation of receptor Mizoguchi A, Takai Y, Mori M. 2017. Discrete Algorithms (SODA 2017), at IEEE International Conference on 1(3), Article number: 035602. impurities by a neutral environment. 2017. On stochastic differential opmental Cell. 43(2), 198-211. signaling using cobalamin-binding Roles of afadin in functional dif- ACM-SIAM, 307-326. Big Data, IEEE, 3760-3763. • Klaiber M, Daněk J, Yakaboylu E, Physical Review Letters. 118, Article equations with arbitrarily slow • Budanur NB, Hof B. 2017. Hetero- domains. Angewandte Chemie - ferentiations of hippocampal mossy • Kolmogorov V, Krokhin A, Rolinek • Rebuffi S, Kolesnikov A, Sperl G, Hatsagortsyan KZ, Keitel CH. 2017. number: 085302. convergence rates for strong approxi- clinic path to spatially localized International Edition. 129(16), fiber synapse. Genes to Cells. 22(8), M. 2017. The complexity of general Lampert CH. 2017. iCaRL: Incre- Strong-field ionization via a high- mation in two space dimensions. chaos in pipe flow. Journal of Fluid 460-4611. 715-722. valued CSPs. SIAM Journal on mental classifier and representation order Coulomb-corrected strong-field Loose Group Proceedings of the Royal Society A: Mechanics. 827, Article number: 827. • Mitchell JA, Zhang WH, Herde MK, • Guarina L, Vandael DH, Carabelli V, Computing. 46(3), 1087-1110. learning. In Computer Vision and Pat- approximation. Physical Review • Baranova NS, Loose M. 2017. Mathematical, Physical and Engi- • Budanur NB, Short KY, Farazmand Henneberger C, Janovjak H, O’Mara Carbone E. 2017. Low pHo boosts • Kuske J, Swoboda P, Petra S. tern Recognition (CVPR 2017), IEEE A - Atomic, Molecular, and Optical Single-molecule measurements to neering Sciences. 473(2207), Article M, Willis AP, Cvitanović P. 2017. ML, Jackson CJ. 2017. Method for burst firing and catecholamine 2017. A novel convex relaxation for Computer Society, 5533-5542. Physics. 95, Article number: 023403. study polymerization dynamics of number: 20170104. Relative periodic orbits form the developing optical sensors using release by blocking TASK-1 and non-binary discrete tomography. • Royer A, Kolesnikov A, Lampert CH. • Lemeshko M. 2017. Quasiparticle ap- FtsZ-FtsA copolymers.Methods in • Maas J. 2017. Entropic Ricci curva- backbone of turbulent pipe flow. a synthetic dye fluorescent protein BK channels while preserving Cav1 In Lauze F, Dong Y, Dahl AB, Eds., 2017. Probabilistic image coloriza- proach to molecules interacting with Cell Biology. 137, 355-370. ture for discrete spaces. In Najman L, Journal of Fluid Mechanics. 833, FRET pair and computational model- channels in mouse chromaffin cells. Scale Space and Variational Methods tion. In British Machine Vision Confer- quantum solvents. Physical Review • Hansen AH, Duellberg C, Mieck C, Romon P, Eds., Modern Approaches 274-301. ing and assessment. Synthetic Pro- Journal of Physiology. 595(8), in Computer Vision (SSVM 2017), ence (BMVC 2017). BMVA Press. Letters. 118, Article number: 095301. Loose M, Hippenmeyer S. 2017. Cell to Discrete Curvature. Springer Lec- • Hof B. 2017. Fluid dynamics: Water tein Switches. Methods in Molecular 2587-2609. Springer Lecture Notes in Computer • Zimin A, Lampert CH. 2017. Learning • Lemeshko M, Schmidt R. 2017. polarity in cerebral cortex develop- ture Notes in Mathematics, vol 2184, flows out of touch. Nature. 541(7636), Biology vol. 1596. 89-99. • Strüber M, Sauer J, Jonas P, Bartos Science, vol 10302, 235-246. theory for conditional risk minimiza- Molecular impurities interacting with ment - cellular architecture shaped 159-174. 161-162. M. 2017. Distance-dependent inhibi- • Shekhovtsov A, Swoboda P, tion. In Singh A, Zhu X, Eds., Artificial a many-particle environment: From by biochemical networks. Frontiers • Maas J, Rumpf M, Simon S. 2017. • Klotz L, Lemoult G, Frontczak I, tion facilitates focality of gamma os- Savchynskyy B. 2017. Maximum Intelligence and Statistics (AISTATS ultracold gases to helium nanodrop- in Cellular Neuroscience. 11, Article Transport based image morphing Tuckerman LS, Wesfreid JE. 2017. cillations in the dentate gyrus. Nature persistency via iterative relaxed 2017), vol 54, 213-222. lets. Cold Chemistry: Molecular Scat- number: 176. with intensity modulation. In Lauze F, Couette-Poiseuille flow experiment Communications. 8, Article number: inference with graphical models. tering and Reactivity Near Absolute • Loose M, Zieske K, Schwille P. 2017. Dong Y, Dahl AB, Eds., Scale Space with zero mean advection velocity: 758. In Computer Vision and Pattern Zero. Theoretical and Computational Reconstitution of protein dynamics and Variational Methods in Computer Subcritical transition to turbulence. Recognition (CVPR 2015), IEEE Chemistry Series vol. 11. 444-495. involved in bacterial cell division. Vision - 6th International Conference Physical Review Fluids. 2(4), Article Jösch Group Computer Society. 521-529. • Li X, Seiringer R, Lemeshko M. 2017. Subcellular Biochemistry. 84, (SSVM 2017), Springer Lecture Notes number: 043904. • Shigemoto R, Jösch M. 2017. The • Swoboda P, Andres B. 2017. A Angular self-localization of impurities 419-444. in Computer Science, vol 10302, • Lopez J, Avila M. 2017. Boundary genetic encoded toolbox for electron message passing algorithm for the rotating in a bosonic bath. Physi- • Rickman J, Duellberg C, Cade NI, 563-577. layer turbulence in experiments on microscopy and connectomics. minimum cost multicut problem. cal Review A. 95, Article number: Griffin LD, Surrey T. 2017. Steady quasi Keplerian flows. Journal of WIREs Developmental Biology. 6(6), In Computer Vision and Pattern 033608. state EB cap size fluctuations are Fluid Mechanics. 817, 21-34. Article Number: 6:e288. Recognition (CVPR 2017), IEEE • Midya B, Konotop VV. 2017. Wave- determined by stochastic microtu- • Shi L, Hof B, Rampp M, Avila M. Computer Society, 4990-4999. guides with absorbing boundaries: bule growth and maturation. PNAS. 2017. Hydrodynamic turbulence in Katsaros Group • Swoboda P, Kuske J, Savchynskyy Nonlinearity controlled by an excep- 114(13), 3427-3432. quasi Keplerian rotating flows. • Vukušić L, Kukučka J, Watzinger H, B. 2017. A dual ascent framework for tional point and solitons. Physical Physics of Fluids. 29(4), Article Katsaros G. 2017. Fast hole tunneling Lagrangian decomposition of combi- Review Letters. 119(3), 033905. number: 044107. times in germanium hut wires probed natorial problems. In Computer Vision • Shepperson B, Chatterley AS, • Smutny M, Ákos Z, Grigolon S, by single-shot reflectometry. Nano and Pattern Recognition (CVPR 2017), Søndergaard AA, Christiansen L, Shamipour S, Ruprecht V, Čapek D, Letters. 17(9), 5706-5710. IEEE Computer Society, 4950-4960. Lemeshko M, Stapelfeldt H. 2017. Behrndt M, Papusheva E, Tada M, • Swoboda P, Rother C, Abu Alhaija C, Strongly aligned molecules inside Hof B, Vicsek T, Salbreux G, Kainmueller D, Savchynskyy B. 2017. helium droplets in the near-adiabatic Heisenberg C. 2017. Friction forces A study of Lagrangian decomposi- regime. The Journal of Chemical position the neural anlage. Nature tions and dual ascent solvers for Physics. 147(1), Article number: Cell Biology. 19, 306-317. graph matching. In Computer Vision 013946. • Song B, Barkley D, Hof B, Avila and Pattern Recognition (CVPR • Shepperson B, Søndergaard AA, M. 2017. Speed and structure of 2017), IEEE Computer Society, Christiansen L, Kaczmarczyk J, turbulent fronts in pipe flow. Journal 7062-7071. Zillich RE, Lemeshko M, Stapelfeldt of Fluid Mechanics. 813, 1045-1059. • Trajkovska V, Swoboda P, Åström H. 2017. Laser-induced rotation of • Xu D, Warnecke S, Song B, Ma X, F, Petra S. 2017. Graphical model iodine molecules in He-nanodroplets: Hof B. 2017. Transition to turbulence parameter learning by inverse linear Revivals and breaking-free. Physical in pulsating pipe flow. Journal of programming. In Lauze F, Dong Y, Review Letters. 118, Article number: Fluid Mechanics. 831, 418-432. Dahl AB, Eds., Scale Space and 203203. Variational Methods in Computer Vision (SSVM 2017), Springer Lecture Notes in Computer Science, vol 10302, 323-334.

100 101 Novarino Group • Sauerzopf U, Sacco R, Novarino G, • Alwen J, de Rezende SF, Nordstrom Sazanov Group Serbyn Group • Ukai H, Kawahara A, Hirayama K, Sixt Group • Spira F, Cuylen Haering S, Mehta S, • Andergassen D, Dotter CP, Wenzel Niello M, Weidenauer A, Praschak- J, Vinyals M. 2017. Cumulative • Letts JA, Sazanov LA. 2017. Clarify- • Hetterich D, Serbyn M, Domínguez Case MJ, Aino S, Miyabe M, Wakita • Assen FP, Sixt M. 2017. The dynamic Samwer M, Reversat A, Verma A, D, Sigl V, Bammer PC, Muckenhuber Rieder N, Sitte HH, Willeit M. 2017. space in black-white pebbling and ing the supercomplex: The higher- F, Pollmann F, Trauzettel B. 2017. K, Oogi R, Kasayuki M, Kawashima cytokine niche. Immunity. 46(4), Oldenbourg R, Sixt M, Gerlich DW. M, Mayer D, Kulinski TM, Theussl Are reprogrammed cells a useful tool resolution. In Papadimitriou CH, Ed., order organization of the mitochon- Noninteracting central site model S, Sugimoto S, Chikamatsu K, Nitta 519-520. 2017. Cytokinesis in vertebrate cells H, Penninger JM, Bock C, Barlow for studying dopamine dysfunction in Innovations in Theoretical Computer drial electron transport chain. Nature localization and logarithmic entangle- N, Koga T, Shigemoto R, Takai T, Ito • Ebner F, Sedlyarov V, Tasciyan S, Ivin initiates by contraction of an equato- DP, Pauler FM, Hudson QJ. 2017. psychotic disorders? A review of the Science Conference (ITCS 2017), Structural and Molecular Biology. ment growth. Physical Review B - I. 2017. PirB regulates asymmetries M, Kratochvill F, Gratz N, Kenner L, rial actomyosin network composed of Mapping the mouse Allelome reveals current evidence. European Journal Leibniz International Proceedings in 24(10), 800-808. Condensed Matter and Materials in hippocampal circuitry. PLoS One. Villunger A, Sixt M, Kovarik P. 2017. randomly oriented filaments.eLife. 6, tissue specific regulation of allelic of Neuroscience. 45, 45-57. Informatics, vol 67, Article number: 38. • Sazanov LA. 2017. Structure of Physics. 96(10), Article number: 12(6), Article number: e0179377. The RNA-binding protein tristetrapro- Article number: e30867. expression. eLife. 6, Article number: • Schroeder JC, Deliu E, Novarino G, • Brody J, Dziembowski S, Faust S, respiratory complex I: “minimal” 104203. lin schedules apoptosis of pathogen- • Vaahtomeri K, Brown M, Hauschild e25125. Schmeisser MJ. 2017. Genetic and Pietrzak K. 2017. Position based bacterial and “de luxe” mammalian • Serbyn M, Zlatko P, Abanin D. 2017. Siegert Group engaged neutrophils during bacterial R, de Vries I, Leithner AF, Mehling M, • Brailoiu GC, Deliu E, Barr JL, pharmacological reversibility of phe- cryptography and multiparty commu- versions. In Mechanisms of Primary Thouless energy and multifractality • Nagy B, Hovhannisyan A, Barzan R, infection. The Journal of Clinical Kaufmann WA, Sixt M. 2017. Locally Console-Bram LM, Ciuciu AM, notypes in mouse models of autism nication complexity. In Kalei Y, Reyzin Energy Transduction in Biology. UK: across the many-body localization Chen T, Kukley M. 2017. Different Investigation. 127(6), 2051-2065. triggered release of the chemokine Abood ME, Unterwald EM, Brǎiloiu E. spectrum disorder. In Schmeisser L, Eds., Theory of Cryptography (TCC The Royal Society of Chemistry. transition. Physical Review B - Con- patterns of neuronal activity trigger • Gaertner F, Ahmad Z, Rosenberger CCL21 promotes dendritic cell trans- 2017. HIV Tat excites D1 receptor-like M, Boeckers T, Eds., Translational 2017), Springer Lecture Notes in densed Matter and Materials Physics. distinct responses of oligodendro- G, Fan S, Nicolai L, Busch B, Yavuz migration across lymphatic endothe- expressing neurons from rat nucleus Anatomy and Cell Biology of Autism Computer Science, vol 10677, 56-81. Seiringer Group 96, Article number: 104201. cyte precursor cells in the corpus G, Luckner M, Ishikawa Ankerhold lia. Cell Reports. 19(5), 902-909. accumbens. Drug and Alcohol De- Spectrum Disorder. Advances in • Jafargholi Z, Kamath C, Klein K, • Deuchert A. 2017. A lower bound callosum. PLoS Biology. 15(8), Article H, Hennel R, Benechet A, Lorenz M, • Veß A, Blache U, Leitner L, Kurz pendence. 178, 7-14. Anatomy, Embryology and Cell Komargodski I, Pietrzak K, Wichs D. for the BCS functional with bound- Shigemoto Group number: e2001993. Chandraratne S, Schubert I, Helmer AR, Ehrenpfordt A, Sixt M, Posern • Brǎiloiu E, McGuire M, Shuler SA, Biology, vol 224. Springer. 189-211. 2017. Be adaptive avoid overcom- ary conditions at infinity. Journal of • Aloisi E, Le Corf K, Dupuis JP, Zhang • Nickells RW, Schmitt HM, Maes ME, S, Striednig B, Stark K, Janko M, G. 2017. A dual phenotype of MDA Deliu E, Barr JL, Abood ME, Brailoiu mitting. In Katz J, Shacham H, Eds., Mathematical Physics. 58(8), Article P, Ginger M, Labrousse VF, Spatuzza Schlamp CL. 2017. AAV2 mediated Böttcher RT, Verschoor A, Leon C, MB 468 cancer cells reveals mutual GC. 2017. Modulation of cardiac Pietrzak Group Advances in Cryptology - Cryptology number: 081901. M, Georg Haberl M, Costa L, transduction of the mouse retina Gachet C, Gudermann T, Mederos regulation of tensin3 and adhesion vagal tone by bradykinin acting on • Abusalah H, Alwen J, Cohen B, Conference (CRYPTO 2017), Springer • Lewin M, Nam PT, Rougerie N. 2017. Shigemoto R, Tappe-Theodor A, after optic nerve injury. Investigative y Schnitzler M, Pincus Z, Iannacone plasticity. Journal of Cell Science. nucleus ambiguus. Neuroscience. Khilko D, Pietrzak K, Reyzin L. 2017. Lecture Notes in Computer Science, A note on 2D focusing many boson Drago F, Vincenzo Piazza P, Mulle C, Ophthalmology and Visual Science. M, Haas R, Wanner G, Lauber K, 130(13), 2172-2184. 365, 23-32. Beyond Hellman’s time-memory vol 10401, 133-163. systems. Proceedings of the Ameri- Groc L, Ciranna L, Catania MV, Frick 58(14), 6091-6104. Sixt M, Massberg S. 2017. Migrating • Gherghina FL, Tica AA, Deliu E, trade-offs with applications to proofs • Kiltz E, Pietrzak K, Venturi D, Cash can Mathematical Society. 145(6), A. 2017. Altered surface mGluR5 platelets are mechano scavengers Abood ME, Brailoiu GC, Brǎiloiu E. of space. In Tagaki T, Peyrin T. DM, Jain AK. 2017. Efficient authen- 2441-2454. dynamics provoke synaptic NMDAR Siekhaus Group that collect and bundle bacteria. Cell. 2017. Effects of VPAC1 activation Advances in Cryptology - Conference tication from hard learning problems. • Li X, Seiringer R, Lemeshko M. 2017. dysfunction and cognitive defects in • Makhijani K, Alexander B, Rao D, 171(6), 1368-1382. in nucleus ambiguus neurons. Brain on the Theory and Applications of Journal of Cryptology. 30(4), Angular self-localization of impurities Fmr1 knockout mice. Nature Com- Petraki S, Herboso L, Kukar K, Batool • Horsthemke M, Bachg AC, Groll K, Research. 1657, 297-303. Cryptology and Information Security 1238-1275. rotating in a bosonic bath. Physical munications. 8(1), Article number: I, Wachner S, Gold KS, Wong C, Moyzio S, Müther B, Hemkemeyer • Hill Yardin EL, McKeown SJ, (ASIACRYPT 2017), Springer Lecture • Obremski M, Skórski M. 2017. Review A. 95, Article number: 033608. 1103. O’Connor MB, Brückner K. 2017. SA, Wedlich-Söldner R, Sixt M, Novarino G, Grabrucker AM. 2017. Notes in Computer Science, vol Renyi entropy estimation revisited. • Moser T, Seiringer R. 2017. Stability • Jiang C, Zhai M, Yan D, Li D, Li C, Regulation of Drosophila hemato- Tacke S, Bähler M, Hanley PJ. 2017. Extracerebral dysfunction in animal 10625, 357-379. In Jansen K, Rolim J, Williamson D, of a fermionic N+1 particle system Zhang Y, Xiao L, Xiong D, Deng poietic sites by Activin-β from active Multiple roles of filopodial dynamics models of autism spectrum disorder. • Alwen J, Blocki J. 2017. Towards Vempala S, Eds., Approximation, with point interactions. Communica- Q, Sun W. 2017. Dietary menthol- sensory neurons. Nature Communi- in particle capture and phagocyto- In Schmeisser M, Boeckers T, Eds., practical attacks on Argon2i and bal- Randomization, and Combinatorial tions in Mathematical Physics. 356(1), induced TRPM8 activation enhances cations. 8, Article number: 15990. sis and phenotypes of Cdc42 and Translational Anatomy and Cell Biol- loon hashing. In 2017 IEEE European Optimization. Algorithms and Tech- 329-355. WAT “browning” and ameliorates • Matsubayashi Y, Louani A, Dragu A, Myo10 deletion. Journal of Biological ogy of Autism Spectrum Disorder. Symposium on Security and Privacy niques (APPROX/RANDOM 2017), • Moser T, Seiringer R. 2017. Triviality diet-induced obesity. Oncotarget. Sanchez-Sanchez BJ, Serna Morales Chemistry. 292(17), 7258-7273. Advances in Anatomy, Embryology (EuroS&P 2017), IEEE, 142-157. Leibniz International Proceedings in of a model of particles with point 8(43), 75114-75126. E, Yolland L, György A, Vizcay G, • Kage F, Winterhoff M, Dimchev V, and Cell Biology, vol 224. Springer. • Alwen J, Blocki J, Harsha B. 2017. Informatics, vol 81, Article number: 20. interactions in the thermodynamic • Miki T, Kaufmann WA, Malagon G, Fleck RA, Heddleston JM, Chew T, Mueller J, Thalheim T, Freise A, 159-187. Practical Graphs for Optimal Side- • Pietrzak K, Skórski M. 2017. Non limit. Letters in Mathematical Physics. Gomez L, Tabuchi K, Watanabe Siekhaus DE, Stramer BM. 2017. A Brühmann S, Kollasser J, Block J, • Khamina K, Lercher A, Caldera M, Channel Resistant Memory-Hard uniform attacks against pseudo­ 107(3), 533-552. M, Shigemoto R, Marty A. 2017. moving source of matrix components Dimchev G, Geyer M, Schnittler H, Schliehe C, Vilagos B, Sahin M, Functions. In Thuraisingham B, entropy. In Chatzigiannakis I, Indyk • Nam PT, Napiórkowski M. 2017. Numbers of presynaptic Ca2+ channel is essential for De Novo basement Brakebusch C, Stradal TE, Carlier Kosack L, Bhattacharya A, Májek P, Evans D, Malkin T, Xu D, Eds., P, Kuhn Fabian, Muscholl A, Eds., In- Bogoliubov correction to the mean- clusters match those of function- membrane formation. Current Biol- M, Sixt M, Käs J, Faix J, Rottner K. Stukalov A, Sacco R, James LC, ACM-SIGSAC Computer and Com- ternational Colloquium on Automata, field dynamics of interacting bosons. ally defined vesicular docking sites ogy. 27(22), 3526-3534. 2017. FMNL formins boost lamel- Pinschewer DD, Bennett KL, Menche munications Security (CCS 2017), Languages, and Programming (ICALP Advances in Theoretical and Math- in single central synapses. PNAS. lipodial force generation. Nature J, Bergthaler A. 2017. Characteriza- ACM, 1001-1017. 2017), Leibniz International Proceed- ematical Physics. 21(3), 683-738. 114(26), E5246-E5255. Communications. 8, Article number: tion of host proteins interacting with • Alwen J, Blocki J, Pietrzak K. 2017. ings in Informatics, vol 80, Article • Nam PT, Napiórkowski M. 2017. A • Rubio ME, Matsui K, Fukazawa Y, 14832. the lymphocytic choriomeningitis Depth-robust graphs and their cumu- number 39. note on the validity of Bogoliubov Kamasawa N, Harada H, Itakura • Lademann CA, Renkawitz J, Pfander virus L protein. PLoS Pathogens. lative memory complexity. In Coron • Skórski M. 2017. On the complex- correction to mean field dynamics. M, Molnár E, Abe M, Sakimura K, B, Jentsch S. 2017. The INO80 13(12), Article number: e1006758. JS, Nielsen JB, Eds., Advances in ity of breaking pseudoentropy. In Journal de Mathématiques Pures et Shigemoto R. 2017.The number and complex removes H2A.Z to promote • Novarino G. 2017. The science of Cryptology - International Conference Gopal TV, Jäger G, Steila S, Eds., Appliquées. 108(5), 662-688. distribution of AMPA receptor chan- presynaptic filament formation during love in ASD and ADHD. Science on the Theory and Applications of Theory and Applications of Models of • Nam PT, Van Den Bosch H. 2017. nels containing fast kinetic GluA3 homologous recombination. Cell Translational Medicine. 9(411), Article Cryptographic Techniques (EURO­ Computation (TAMC 2017), Springer Nonexistence in Thomas Fermi- and GluA4 subunits at auditory nerve Reports. 19(7), 1294-1303. number: eaap8168. CRYPT 2017), Springer Lecture Lecture Notes in Computer Science, Dirac-von Weizsäcker theory with synapses depend on the target cells. • Mueller J, Szep G, Nemethova M, de • Novarino G. 2017. Rett syndrome Notes in Computer Science, vol vol 10185, 600-613. small nuclear charges. Mathematical Brain Structure and Function. 222(8), Vries I, Lieber AD, Winkler C, Kruse modeling goes simian. Science 10212, 3-32. • Skórski M. 2017. On the complexity Physics, Analysis and Geometry. 3375-3393. K, Small JV, Schmeiser C, Keren Translational Medicine. 9(393), Article • Alwen J, Chen B, Pietrzak K, of estimating Rènyi divergences. In 20(2), Article number: 6. • Shigemoto R, Jösch M. 2017. The K, Hauschild R, Sixt M. 2017. Load number: eaan8196. Reyzin L, Tessaro S. 2017. Scrypt is IEEE International Symposium on • Yakaboylu E, Deuchert A, Lemeshko genetic encoded toolbox for electron adaptation of lamellipodial actin • Novarino G. 2017. Modeling maximally memory hard. In Coron JS, Information Theory (ISIT 2017), IEEE, M. 2017. Emergence of non-abelian microscopy and connectomics. networks. Cell. 171(1), 188-200. Alzheimer’s disease in mice with hu- Nielsen JB, Eds., Advances in Cryp- 256-260. magnetic monopoles in a quantum WIREs Developmental Biology. 6(6), • Müller J, Sixt M. 2017. Cell migration: man neurons. Science Translational tology - Conference on the Theory • Skórski M. 2017. Key derivation for impurity problem. APS Physics, Article Number: 6:e288. Making the waves. Current Biology. Medicine. 9(381), Article number: and Applications of Cryptographic squared-friendly applications: Lower Physical Review Letters. 119, Article • Sun W, Li C, Zhang Y, Jiang C, Zhai 27(1), R24-R25. eaam9867. Techniques (EUROCRYPT 2017), bounds. In Vollmer H, Vallée B, Eds., number: 235301-6. M, Zhou Q, Xiao L, Deng Q. 2017. • Schwarz J, Bierbaum V, Vaahtomeri • Novarino G. 2017. The riddle of Springer Lecture Notes in Computer Theoretical Aspects of Computer Gene expression changes of thermo K, Hauschild R, Brown M, de Vries CHD8 haploinsufficiency in autism Science, vol 10212, 33-62. Science (STACS 2017). Leibniz Inter- sensitive transient receptor potential I, Leithner A, Reversat A, Merrin J, spectrum disorder. Science Trans- • Alwen J, Tackmann B. 2017. Mod- national Proceedings in Informatics, channels in obese mice. Cell Biology Tarrant T, Bollenbach T, Sixt M. 2017. lational Medicine. 9(399), Article erately hard functions: Definition, vol 66, Article number: 57. International. 41(8), 908-913. Dendritic cells interpret haptotactic number: eaao0972. instantiations, and applications. In • Skórski M. 2017. A cryptographic • Sun W, Zhai M, Zhou Q, Qian C, chemokine gradients in a manner • Novarino G. 2017. The antisocial side Kalei Y, Reyzin L, Eds., Theory of view of regularity lemmas: Simpler Jiang C. 2017. Effects of B vitamins governed by signal to noise ratio and of antibiotics. Science Translational Cryptography (TCC 2017), Springer unified proofs and refined bounds. overload on plasma insulin level and dependent on GRK6. Current Biology. Medicine. 9(387), Article number: Lecture Notes in Computer Science, In Gopal TV, Jäger G, Steila S, Eds., hydrogen peroxide generation in rats. 27(9), 1314-1325. 2786. vol 10677, 493-526. Theory and Applications of Models of Chinese Journal of Physiology. 60(4), • Novarino G. 2017. More excitation for Computation (TAMC 2017), Springer 207-214. Rett syndrome. Science Translational Lecture Notes in Computer Science, Medicine. 9(405), Article number: vol 10185, 586-599. eaao4218.

102 103 Selected Events in 2017

Tkačik Group • Humplik J, Tkačik G. 2017. Proba­ Vicoso Group • In Aronov B, Katz MJ, Eds., 33rd Scientific Conferences, Workshops, and Symposia • Barone V, Lang M, Krens G, Pradhan bilistic models for neural populations • Argyridou E, Huylmans AK, Königer International Symposium on Com- that naturally capture global coupling putational Geometry (SoCG 2017), SJ, Shami Pour S, Sako K, Sikora M, A, Parsch J. 2017. X-linkage is not Date Event Description Guet CC, Heisenberg C. 2017. An and criticality.PLoS Computational a general inhibitor of tissue-specific Leibniz International Proceedings in effective feedback loop between cell- Biology. 13(9), Article number: gene expression in Drosophila mela- Informatics, vol 77, Article number: 49. May 12 Young Scientists’ Organized by young scientists at IST Austria; featured six keynote speakers approaching the theme “Bits, cell contact duration and morphogen e1005763. nogaster. Heredity. 119, 27-34. • Čadek M, Krčál M, Vokřínek L. 2017. Symposium Brains, and Cells: Memory Across Sciences” from different perspectives signaling determines cell fate. • Lang M, Sontag E. 2017. Zeros of • Fraisse C, Picard MA, Vicoso B. Algorithmic solvability of the lifting Developmental Cell. 43(2), 198-211. nonlinear systems with input invari- 2017. The deep conservation of the extension problem. Discrete & Com- June 6-8 Modern Trends in Solid Workshop on the latest developments and future directions in solid state quantum physics • Bergmiller T, Andersson AM, ances. Automatica. 81C, 46-55. Lepidoptera Z chromosome suggests putational Geometry. 54(4), 915-965. State Quantum Physics Tomasek K, Balleza E, Kiviet Daniel • Levina A, Priesemann V. 2017. Sub- a non-canonical origin of the W. J, Hauschild R, Tkačik G, Guet CC. sampling scaling. Nature Communi- Nature Communications. 8(1), Wojtan Group August 16-18 CoQIPC-2017 Conference on controllable quantum impurities in physics and chemistry 2017. Biased partitioning of the cations. 8, Article number: 15140. Article number: 1486. • Gajda-Zagórska E, Schaefer RF, multidrug efflux pump AcrAB TolC • Savin C, Tkačik G. 2017. Maximum • Huylmans AK, Macon A, Vicoso B. Smołka MI, Pardo D, Alvarez- September 5 Psychiatric Illnesses: Symposium that brought together researchers from a variety of fields to provide an overview of underlies long lived phenotypic entropy models as a tool for building 2017. Global dosage compensation Aramberri J. 2017. A multi-objective From Freud to their what is known about the causes of psychiatric illnesses heterogeneity. Science. 356(6335), precise neural controls. Current Opin- is ubiquitous in Lepidoptera, but memetic inverse solver reinforced by Biological Mechanisms 311-315. ion in Neurobiology. 46, 120-126. counteracted by the masculinization local optimization methods. Journal • Chait R, Ruess J, Bergmiller T, Tkačik • Zagorski M, Tabata Y, Brandenberg of the Z chromosome. Molecular of Computational Science. 18, 85-94. September 11-13 AXON 2017 Conference on molecular and cellular mechanisms of neural circuit assembly G, Guet CC. 2017. Shaping bacterial N, Lutolf MP, Tkačik G, Bollenbach T, Biology and Evolution. 34(10), 2637- • Jeschke S, Wojtan C. 2017. Water population behavior through com- Briscoe J, Kicheva A. 2017. Decoding 2649. wave packets. ACM Transactions on September 24-26 ANA 2017 15th meeting of the Austrian Neuroscience Association puter interfaced control of individual of position in the developing neural • Wright AE, Darolti I, Bloch NI, Oostra Graphics. 36(4), Article number: 103. cells. Nature Communications. 8(1), tube from antiparallel morphogen V, Sandkam BA, Buechel SD, Kolm N, • Manteaux P, Wojtan C, Narain R, December 3-5 FKNE Kavli Winter A multidisciplinary forum for early to mid-career European neuroscientists Article number: 1535. gradients. Science. 356(6345), Breden FJ, Vicoso B, Mank JE. 2017. Redon S, Faure F, Cani M. 2017. Symposium • Chalk M, Masset P, Gutkin BS, 1379-1383. Convergent recombination suppres- Adaptive physically based models Denève S. 2017. Sensory noise pre- sion suggests role of sexual selection in computer graphics. Computer dicts divisive reshaping of receptive Uhler Group in guppy sex chromosome formation. Graphics Forum. 36(6), 312-337. fields. PLoS Computational Biology. • Fallat S, Lauritzen S, Sadeghi K, Nature Communications. 8, Article • Schreck C, Rohmer D, Hahmann S. 13(6), Article number: e1005582. Uhler C, Wermuth N, Zwiernik P. number: 14251. 2017. Interactive paper-tearing. • Colabrese S, De Martino D, Leuzzi L, 2017. Total positivity in Markov Computer Graphics Forum. 36(2), Marinari E. 2017. Phase transitions structures. Annals of Statistics. 45(3), Wagner Group 95-106. Outreach and Education Events in integer linear problems. Journal 1152-1184. • Burton BA, de Mesmay A, Wagner of Statistical Mechanics: Theory and • Martín del Campo Sanchez A, U. 2017. Finding non-orientable Date Event Description Experiment. 2017, Article number: Cepeda Humarez S, Uhler C. 2017. surfaces in 3-Manifolds. Discrete & 093404. Exact goodness-of-fit testing for the Computational Geometry. 58(4), January 31 Konrad Lorenz 18 high school students from the gymnasium in Gänserndorf, Lower Austria toured the • De Martino D. 2017. Maximum Ising model. Scandinavian Journal of 871-888. Gymnasium Campus Visit Electron Microscopy Facility. entropy modeling of metabolic Statistics. 44(2), 285-306. • Franek P, Krčál M. 2017. Persistence networks by constraining growth- • Perrone E, Rappold A, Müller WG. of zero sets. Homology, Homotopy March 1 International School Students from the international baccalaureate program at the International School in Klosterneuburg explored rate moments predicts coexistence 2017. D inf s optimality in copula and Applications. 19(2), 313-342. Klosterneuburg Campus the IST Austria Library offline and online and attended a talk by Carolina Borges Merjane from the Jonas group. of phenotypes. Physical Review E models. Statistical Methods and • Fulek R. 2017. C-planarity of embed- Visit Statistical Nonlinear and Soft Matter Applications. 26(3), 403-418. ded cyclic c-graphs. Computational Physics. 96, Article number: 060401. • Wang Y, Nagarajan M, Uhler C, Geometry: Theory and Applications. March 17 Science Experts IST Austria’s Daria Siekhaus and the Fish Facility presented at a science exhibition for students • De Martino D. 2017. Scales and Shivashankar G. 2017. Orientation 66, 1-13. at the Aula der Wissenschaften in Vienna. multimodal flux distributions in sta- and repositioning of chromosomes • Fulek R, Kynčl J, Pálvölgyi D. 2017. tionary metabolic network models via correlate with cell geometry depen- Unified Hanani Tutte theorem. May 21 Open Campus The Institute’s annual open house and school contest award ceremony. The winners of the school contest thermodynamics. Physical Review E dent gene expression. Molecular Bi- Electronic Journal of Combinatorics. spent a day on campus in September visiting the Nanofabrication Facility and the Preclinical Facility. Statistical Nonlinear and Soft Matter ology of the Cell. 28(14), 1997-2009. 24(3), Article number: P3.18. Physics. 95, Article number: 062419. • Zwiernik P, Uhler C, Richards D. • Fulek R, Mojarrad HN, Naszódi M, June 14 How do plants dance? The first of three visits from a local primary school; the Benková group presented a biology project that • De Martino D, Capuani F, De Martino 2017. Maximum likelihood estimation Solymosi J, Stich SU, Szedlák M. the children carried out at home, then presented at the Institute. (Continued on September 8 and 20.) A. 2017. Quantifying the entropic for linear Gaussian covariance mod- 2017. On the existence of ordinary cost of cellular growth control. Physi- els. Journal of the Royal Statistical triangles. Computational Geometry: June 26-28 CPSA Match with Friends Training camp for the International Mathematics Olympiad; participants came from the Czech Republic, cal Review E Statistical Nonlinear Society. Series B: Statistical Method- Theory and Applications. 66, 28-31. Poland, Slovakia, and Austria. and Soft Matter Physics. 96(1), Article ology. 79(4), 1269-1292. • Fulek R, Pelsmajer M, Schaefer M. Number: 010401. 2017. Hanani-Tutte for radial planar- July 14 Children’s University of 150 primary school children from Tulln and Klosterneuburg participated in a workshop • Deny S, Ferrari U, Mace E, Yger P, ity. Journal of Graph Algorithms and Vienna Excursion and attended a children’s lecture, both organized and given by Matthias Fürst of the Cremer group. Caplette R, Picaud S,, Tkačik G, Applications. 21(1), 135-154. Marre O. 2017.Multiplexed compu­ • Goaoc X, Mabillard I, Paták P, August 21-25 Sommercampus 60 primary school children spent a week at the Institute and Museum Gugging exploring science and art. tations in retinal ganglion cells of a Patáková Z, Tancer M, Wagner U. single type. Nature Communications. 2017. On generalized Heawood August 28-30 Top Models in Science 11 teenagers attended a series of research days focused on mathematics and computer science. 8, Article number: 1964. inequalities for manifolds: A van • Friedlander T, Prizak R, Barton NH, Kampen-Flores type non-embed- September 15 Forschungsfest NÖ The Barton group presented various activities on evolutionary biology at Lower Austria’s first research festival, Tkačik G. 2017. Evolution of new dability result. Israel Journal of which took place at the Palais Niederösterreich in Vienna. regulatory functions on biophysically Mathematics. 222(2), 841-866. realistic fitness landscapes. Nature • Kynčl J, Patáková Z. 2017. On the September 27 Science Industry Day Event connecting science, scientists, and industry; comprised a career development afternoon Communications. 8, Article number: nonexistence of k-reptile simplices 2017: Create. Connect. and a panel discussion in the evening. 216. in ℝ3and ℝ4. Electronic Journal of Translate. • Harpaz R, Tkačik G, Schneidman E. Combinatorics. 24(3), 1-44. 2017. Discrete modes of social infor- • Lubiw A, Masárová Z, Wagner U. November 14 Science Education 37 teachers from a local high school, the Bundesrealgymnasium (BRG) Klosterneuburg, and IST Austria mation processing predict individual 2017. A proof of the orbit conjecture Workshop with Teachers scientists came together to develop science education projects at a workshop hosted by the Institute. behavior of fish in a group. PNAS. for flipping edge labelled triangula- 114(38), 10149-10154. tions. Ongoing Math Circle Postdoc Arsenyi Akopyan and several rotating IST Austria volunteers organize weekly extracurricular math activities at BRG Klosterneuburg.

104 105 IST Austria IST Austria Donors Club Internal Awards 2017

Public Lectures Outstanding PhD Thesis Platinum Club Anastasia Pentina, Lampert group Invicta Foundation Date Speaker/Affiliation Talk Series and Title

March 29 Walter Scheidel IST Science and Society Lecture Outstanding Scientific Achievement Gold Club Stanford University “The great leveler: violence and economic inequality from the Stone Age to the future” Enderalp Yakaboylu, Lemeshko group Mondi AG OMV AG May 30 Christiane Nüsslein- ÖAW-IST Austria Lecture Volhard “The development of color patterns in fishes: towards an understanding of the evolution of beauty” Outstanding Scientific Support Raiffeisen Group Max Planck Institute for Janos Kiss, Scientific Computing voestalpine AG Developmental Biology

November 8 Michael I. Jordan IST Lecture Outstanding Administrative Support Silver Club University of California, “On computational thinking, inferential thinking, and data science” Rita Six, Assistant to professors Berndorf AG Berkeley Steven Heinz

December 7 Peter Donnelly IST Lecture Golden Chalk Award for Excellence in Teaching Miba AG Oxford University “Meiosis, recombination, and the origin of a species” Srdjan Sarikas, Barton group Oberbank AG Prinzhorn Holding GmbH Golden Sponge Award for Excellent Teaching Assistance Schoeller Bleckmann AG Sebastian Novak, Barton group W. Hamburger GmbH DI Klaus Pöttinger Institute Colloquia TWIST (Technology Transfer) Talks Donor Club Speaker and Affiliation Speaker and Affiliation Alcatel-Lucent Austria AG Allinvest Unternehmensbeteiligungs GmbH Laure Saint-Raymond École Normale Supérieure Haim Harari Weizmann Institute of Technology Patricia Wittkopp University of Michigan Balthasar Fischer XARION Laser Acoustics GmbH Gebrüder Weiss GmbH Elaine Ostrander National Institutes of Health Shuguang Zhang Massachusetts Institute of Technology Kapsch AG Thomas König Institute for Advanced Studies, Vienna Stefan Kubicek Research Center for Molecular Medicine (CeMM) Frank Jülicher Max Planck Institute for the Physics of Complex Systems Fiona Doetsch University of Basel Erik Sahai The Francis Crick Institute Daniel A. Fletcher University of California, Berkeley Claudia Bagni University of Lausanne Ottoline Leyser University of Cambridge Lakshminarayanan Mahadevan Harvard University Konrad Lehnert University of Colorado, Boulder Dianne Newman Caltech Irit Dinur Weizmann Institute of Technology Robert Tarjan Princeton University Christine Jacobs-Wagner Yale University Vinod Vaikuntanathan Massachusetts Institute of Technology Tobias Walther Harvard University Kenneth Birnbaum New York University Susan Gasser Friedrich Miescher Institute for Biomedical Research David Schneider Stanford University Marcos Gonzalez-Gaitan University of Geneva Jean-Michel Raimond Kastler Brossel Laboratory Alexey Kondrashov University of Michigan Cosma Shalizi Carnegie Mellon University

106 107 Boards of IST Austria Leadership of IST Austria

Board of Trustees Executive Committee of the Board of Trustees Thomas A. Henzinger, President Michael Sixt, Vice President Chair: Claus J. Raidl, President, Oesterreichische Nationalbank, Chair: Haim Harari Georg Schneider, Managing Director Vienna, Austria Vice-Chair: Reinhard Jahn Nick Barton, Dean of the Graduate School Vice-Chair: Olaf Kübler, Former President of ETH Zurich, Elisabeth Engelbrechtsmüller-Strauß Switzerland Iain Mattaj Catherine Cesarsky, Chief Scientific Advisor, Former High Com- Claus J. Raidl missioner for Atomic Energy, CEA-Saclay, Gif-sur-Yvette, France Wolfgang Ruttenstorfer Alice Dautry, Former Managing Director of Institut Pasteur, Paris, France The Executive Committee is a subcommittee of the Board of Elisabeth Engelbrechtsmüller-Strauß, CEO/CFO, Trustees and has, among others, the following rights and duties: Fronius International GmbH, Pettenbach, Austria • Act on behalf of the Board of Trustees in all matters between Peter Fratzl, Director, Max Planck Institute of Colloids the meetings of the Board of Trustees. and Interfaces, Potsdam, Germany • Hold preliminary discussions on matters to be brought for Haim Harari, Former President of Weizmann Institute of Science, approval to the Board of Trustees, such as the annual budget. Rehovot, Israel

Alexander Hartig, Member of the Management Board, Industrieliegenschaftenverwaltungs AG, Vienna, Austria Reinhard Jahn, Director, Max Planck Institute Scientific Board for Biophysical Chemistry, Göttingen, Germany Monika Kircher, Senior Director Industrial Affairs, Chair: Peter Fratzl, Director, Max Planck Institute Infineon Technologies Austria AG, Villach, Austria of Colloids and Interfaces, Potsdam, Germany Iain Mattaj, Director General, European Molecular Biology Vice-Chair: Maria J. Esteban, Professor, Centre de Recherche en Laboratory (EMBL), Heidelberg, Germany Mathématiques de la Décision, University of Paris-Dauphine, France Kurt Mehlhorn, Director, Max Planck Institute for Informatics, Angelika Amon, Professor, Department of Biology, Saarbrücken, Germany (until June 2017) Massachusetts Institute of Technology (MIT), Cambridge, USA Pietro Perona, Allen E. Puckett Professor of Electrical Engineering Ben Feringa, Professor, Stratingh Institute for Chemistry, and Computation and Neural Systems, California Institute University of Groningen, The Netherlands of Technology, Pasadena, USA Tony F. Heinz, Professor, Department of Applied Physics, Wolfgang Ruttenstorfer, Chairman of the Supervisory Board, Stanford University, Palo Alto, USA Telekom Austria AG, Vienna, Austria Gene Myers, Director, Max Planck Institute of Molecular Cell Elisabeth Stadler, CEO, Vienna Insurance Group, Vienna, Austria Biology and Genetics, Dresden, Germany Stefan Szyszkowitz, Spokesman of the Executive Board, EVN, Hannah Monyer, Professor, Department of Clinical Neurobiology, Maria Enzersdorf, Austria University of Heidelberg, Germany Martin Nowak, Professor, Program for Evolutionary Dynamics, The Board of Trustees oversees the development of the Institute, Harvard University, Cambridge, USA while acting as its highest authority and ensuring that it adheres to Gordon Plotkin, Professor, Laboratory for Foundations its founding principles and vision. It provides guidance to the man- of Computer Science, University of Edinburgh, UK agement and—among other tasks—is responsible for approving: Petra Schwille, Director, Max Planck Institute for Biochemistry, • the statutes of the organization and its strategic direction, Martinsried, Germany • the budget and annual financial statements, Non-voting Member: Claus J. Raidl, President, • the appointment of the President, the Scientific Board, Oesterreichische Nationalbank, Vienna, Austria and the Managing Director, and Previous Chair: Kurt Mehlhorn, Director, Max Planck Institute • the procedures for academic appointments and the promotion for Informatics, Saarbrücken, Germany (until June 2017) of scientists. The Board of Trustees consists of 15 members. Eight of them are The Scientific Board prepares recommendations for the scientific internationally successful scientists, four are appointed by the Fed- direction of the Institute. It provides guidance to ensure a high de- eral Government, and three are appointed by the Government gree of scientific productivity, and among other duties, it organizes of Lower Austria. internal evaluations of the various research fields. The Scientific Board consists of ten researchers who are recognized internation- ally at the highest levels and an additional (non-voting) member with outstanding management experience.

108 109 Location & Campus Map

Visiting the Institute The Institute is located 18 km from the center of Vienna, and is easily reachable via public transportation. The IST Austria Shuttle Bus 142 61 goes directly from the U4 Station Heiligenstadt to campus, and there are additional public buses connecting IST Austria to Vienna. 29

27 60

Czech Republic 39 41 43 37 45

04 IST Austria 40 38 42 01 Klosterneuburg 44 33 Slovakia 35 31 34 0505 Germany 22 02 City of Vienna 32

06 21

Hungary 16 12 21

Switzerland 13 Italy 03 Slovenia 07 11 g

erneubur Vienna Klost

Bus St op

Tulln

01 Central Building 04 Bertalanffy Foundation Building 16 Power Control 31-35 Apartments Science Offices, Guesthouse, 05 Preclinical Facility 21 Lab and Office Building West 37-45 Apartments Oberbank Ballroom, 06 Lab Building East 22 Cafeteria 60 Tennis Courts Mondi Seminar 07 Administration Building 27 Kindergarten 61 Soccer Field Center, Cafe/Pub 11 Facility Management 29 Multi-purpose Experimental Facility 02 Raiffeisen Lecture Hall Security 03 voestalpine Building 12 Heating Plant Administration 13 Miba Machine Shop

110 111 Imprint Institute of Science and Technology Austria Am Campus 1, 3400 Klosterneuburg +43 (0)2243–9000 [email protected] www.ist.ac.at

Editors Lisa Cichocki, Yvonne Kemper Texts IST Austria Graphic Design Perndl+Co Photography Gregor Buchhaus, May Chan, Lisa Cichocki, Elisabeth Guggenberger, Roland Ferrigato, Sabine Hauswirth, Peter Hautzinger, Robert Herbst, Walter Kaufmann, Yvonne Kemper, Kathrin Pauser, Sebastian Philipp, Nadine Poncioni, Paul Pölleritzer, Reiner Riedler, Anna Stöcher, Bernhard Wenzl Print gugler* Copyright Institute of Science and Technology Austria, 2018

Additional Image Credits page (image): author 6 (Peter Fratzl): ©MPI für Kolloid- und Grenzflächenforschung/Gnaudschun; 27 (Carrie Bernecky): ©MPIbpc; 31 (ants): Christopher Pull; 33 (turtle): Bernd Bickel; 33 (Venn diagram): Christian Hilbe, et al.; 33 (“IST” image): Remy Chait; 35 (mouse): George Shuklin, https://commons.wikimedia.org/wiki/File:Мышь_2.jpg, CC BY-SA 1.0; 35 (Delaunay mosaic): Herbert Edelsbrunner; 37 (brain bench): Maria Cristina Travaglio; 37 (synaptotagmins): Chong Chen, et al.; 39 (roundabout, angulon): Birgit Rieger; 39 (quantum scars): Maksym Serbyn; Cover inside (Heinz Faßmann): BMBWF/Martin Lusser; Cover inside (Johanna Mikl-Leitner): Markus Hintzen

Cover Feyza Nur Arslan, PhD student, Heisenberg Group, photo by Nadine Poncioni “The Institute was an experiment and “For nearly ten years, IST Austria has been a risky endeavor, but the policy of at the forefront of scientific research and talent before research area, as well as has now established itself as a leading IST Austria’s exacting and achievement- research institute of international standing. based standards of excellence, have With around 600 employees working resulted in a superb research institution. in a wide diversity of scientific fields, I look forward to the continuation and IST Austria enhances the economic and further success of this project.” innovative position of Lower Austria.

Heinz Faßmann Federal Minister of Education, Science, The Federal State of Lower Austria is com- and Research mitted to supporting research, technology, and innovation as a means of securing economic growth for future generations. Research conducted at IST Austria is an integral part of this strategy.

We hope that IST Austria will continue to develop and flourish, providing inspiration for the scientists of future generations here in Lower Austria.”

Johanna Mikl-Leitner Governor of Lower Austria