Series Editors: Hromkovič, Juraj, Nielsen, Mogens Up to Vol 25 numbered. Addison-Wesley Longman Publishing Co. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Problem Classes. More additional materials (e.g. The lectures take place on Thursday, 14:15 - 17:00. Wolfgang-Pauli-Str. 6 Computer Science Study Guide 1 Introduction This document contains important information for a successful completion of your Master’s Program in Computer Science at ETH. Concrete Mathematics: A Foundation for Computer Science (2nd ed.). Primary study material are the handwritten notes for the individual lectures. 1994. Research. To ETH's coronavirus web page. It is possible to get a 6.0 without participating in the bonus system. Even if you seek advice from an outside source, plagiarism (partial or complete) is not allowed. Effective field theories based on vectors: The most general effective Lagrangians for a massive vector field on curved space-time with second order equations of motion have been constructed. There are several scripts which cover parts of the course. Under every page there is a discussion system, where everyone is welcome to share experiences and feelings about individual courses.. Hopefully all these information can help ETH students in course selecting, learning and exam preparing. Joël Alwen, Sandro Coretti, Daniel Jost, and Marta Mularczyk. Department of Computer Science | Institute of Theoretical Computer Science | CADMO Theory of Combinatorial Algorithms ... 044 632 70 26, gaertner@inf.ethz.ch. Emo Welzl ETH Zürich Department of Computer Science Institute of Theoretical Computer Science Theory of Combinatorial Algorithms Group. JavaScript has been disabled in your browser, German Austrian Swiss Seminar on Analysis and PDE, Konstantin Merz (TU Braunschweig, Germany), Simone Rademacher (IST Austria, Klosterneuburg, Austria), Christoph Kehle, Civil, Environmental and Geomatic Engineering, Humanities, Social and Political Sciences, Information Technology and Electrical Engineering. December 14: Solution for sheet 12 is online. Department of Mathematics/Computer Science. For further information regarding activities, sign up to our emailing lists by sending emails to [email protected] and [email protected] – Theory seminar: https://theory.epfl.ch/seminar/ – Reading group: on Fridays we often meet up for coffee and informal talks at 15:15 in INJ 114 The programme guides each individual student in taking a meaningful path through the variety of course offers and designing a profile that matches both personal inclinations and prospective career opportunities. Please find further information on how to lan your studies and the least amount of creditsp per course category in the Study Guide. David Steurer’s research investigates fundamental questions regarding efficient computation (complexity theory), with particular reference to optimisation and data analysis. Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. The Moodle-Forum is supposed to be used for discussions among the students, but we will check the forum at least twice a week to ensure that it does not contain wrong information. A glimpse of theoretical computer science; ... Bertrand Meyer, formerly from ETH Zurich, is a professor at Politecnico di Milano and Innopolis University, and Chief Architect at Eiffel Software. Prüfung. Department of Computer Science ETH Zürich Universitätsstrasse 6 CH – 8092 Zürich Administration: Claudia Günthart. In 2014, she moved to the Department of Biosystems Science and Engineering as an Assistant Professor where she obtained tenure in 2017. You can find a list of some exams from previous years here. ... Institute of Theoretical Computer Science; Department of Computer Science; ETH Zürich Institute of Theoretical Computer Science ETH Zürich CAB G31.1 CH-8092 Zürich Switzerland E-mail: Tel: +41-44-632 70 26 There is also an older (more extensive, but less adapted to the lecture) script on graph theory here. The Master in Data Science is a joint programme offered by the departments of Computer Science, Mathematics as well as Information Technology and Electrical Engineering. The first programming assignment with bonus points will be published in the Code Expert website on October 12. The ETH-ITS was founded on 1 June 2013. Please note: the affiliations above usually correspond to the first job accepted after leaving our group. The focus of our research group is the area of… Algorithm Engineering. Information Security and Cryptography. e-mail: rnenadov@inf.ethz.ch About me. HIT K 23.1. Since Cambridge doesn't really offer that I'm looking at somewhere else. Overview. Theory of Cryptography — TCC 2020, to appear, Nov 2020. I am currently doing a PhD in Theoretical Computer Science at ETH Zurich. Expander Decomposition in Distributed Computing. All exercise sheets are written in English. Dozent: Prof. Dr. Emo Welzl (Tel 6327370, e-mail: emo@inf.ethz.ch). Please provide your fellow students with a spoiler-free learning environment by following a corresponding policy in private communication channels (Telegram groups etc.)! 8093 Zürich. Institut für Theoretische Physik Prof. Dr. Gianni Blatter. Theoretical Computer Science group. Electronic Notes in Theoretical Computer Science ist ein Magazin, dass aufgrund der schnellen elektronischen Veröffentlichung von Konferenzberichten, Vortragsnotizen oder Monographien geschätzt wird. The ETH-ITS hosts activities and organizes events in the fields of mathemathics, theoretical computer science and theoretical natural sciences. Department of Computer You are of course allowed to use Java documentation when programming, and in particular to search for syntax. Theoretical Computer Science 785, 2019, 150-170. To ETH's coronavirus web page, We sincerely congratulate Nina Holden for winning the 2021 Maryam Mirzakhani New Frontiers Prize “for work in random geometry, particularly on Liouville Quantum Gravity as a scaling limit of random triangulations.”. This site is created for sharing course materials and learning experiences in ETH Zurich. The first exercise class takes place on Monday, September 21. Science One of the central questions in theoretical computer science is the analysis of algorithms. Nina Holden awarded 2021 New Frontiers in Mathematics prize, A warm welcome to our two new Junior Fellows, Yakov Eliashberg awarded Wolf Prize in Mathematics, Eidgenössische Institut für Theoretische Physik Prof. Dr. Matthias Gaberdiel. the next day. ETH Zurich — associate professor 2017–2020 ETH Zurich — assistant professor 2016–2017 Institute for Advanced Study — visiting assistant professor 2012–2017 Cornell University Department of Computer Science — assistant professor 2010–2012 Microsoft Research New England — postdoc 2006–2010 In this case, we recommend that you put this source aside after reading it and then formulate your solution (on your own!) The solutions (one solution per working group) should be handed in at the beginning of the exercise class next Monday (for example, the first exercise sheet is published on September 21, and the solutions should be submitted in the beginning of the exercise class on September 28). This year I'm finishing my undergraduate in Mathematics on Cambridge and I'm strongly considering going into theoretical computer science for masters. The ETH Institute for Theoretical Studies hosts activities and organizes events in the fields of mathematics, theoretical computer science and theoretical natural sciences. Activities. Dabei geht es um theoretisch fundiertes Vorgehen, wie auch um experimentelle Erfahrungen. Links, passwords and recordings can be found in Moodle. The Swiss Winter School on Lower Bounds and Communication Complexity is the first in a series of annual winter schools in Theoretical Computer Science jointly organized by EPFL and ETH Zurich.The goal of the school is to educate top international theory PhD students about exciting recent developments in the field. The on-site lectures (all lectures before 02.11.20) were also recorded, the recordings of on-site lectures can be found here. Up to May 1993 with the title: EATCS Monographs on Theoretical Computer Science. The area of theoretical computer science comprises a broad variety of topics or subfields, including (but not restricted to) algorithms and computational complexity, program semantics and verification, logic and computation, machine models and automata, information theory, machine learning, and the foundations of artificial intelligence. Wolfgang-Pauli-Str. This compensates for possible absences, e.g. Switzerland. The Institute is an interdisciplinary centre for theoretical sciences which focuses on mathematics, theoretical physics, theoretical computer science and related fields. The ETH Institute for Theoretical Studies will be joined by two new Junior Fellows in September 2020. Sie legen die Prüfung an ihrer Universität unter Aufsicht vor Ort zeitgleich mit der Prüfung an der ETH ab. Com­puter sci­ence is a young sci­ence that builds on old ideas. In addition to our theoretical work we select every few years a new "challenge" that allows us to demonstrate, use, and improve methods from modern theoretical computer science by working on a challenging "real world" application, see here for details. The Institute for Theoretical Studies: fostering theoretical, curiosity-driven research. Passing local test cases is not the same as getting accepted since the hidden test cases are much more extensive than the local test cases. We recommend solving all tasks without the help of external sources (books, internet, solutions from fellow students), as otherwise the learning effect of the tasks is largely lost. Welcome to the website of the theoretical computer science group Here, you'll find information on our research and our educational activities (mostly only available in German). You can find constantly updated information on the coronavirus web page. You can use the scripts and books as optional reference material, however the presentation of some consepts there might differ significantly from the presentation in class. It was made possible by the generous support of the Walter Haefner Foundation and of Dr. Max Rössler through the ETH Foundation, following an initiative of former ETH President Ralph Eichler. Mendeley; CSV; RIS; BibTeX; Metadata only Our research activities in Theoretical Cosmology. It is important to attend it, since your teaching assistant (TA) will partition you into working groups of 2 (or 3) people, and then you solve exercises from the current sheet together within the working group. It consists of two parts, a written theory part and a programming part. Coronavirus pages of the Department of Physics . Activities. The ETH Institute for Theoretical Studies congratulates former and future Senior Fellow Yakov Eliashberg on being awarded the 2020 Wolf Prize for Mathematics. There you will also find answers to the most important questions. It was made possible by the generous support of the Walter Haefner Foundation and of Dr. Max Rössler through the ETH Foundation, following an initiative of former ETH President Ralph Eichler. It only takes a minute to sign up. Previously I was a research fellow at the School of Mathematical Sciences at Monash University, hosted by Jane Gao and Nick Wormald. I am currently a postdoc at ETH Zurich. You are not allowed to make your own solutions (whether theory or programming) available for copying. Our main objective is to strengthen these scientific fields by joint research and teaching activities. MIT Press. The exercises (theoretical and programming) that we suggest you to solve during the semester are designed to optimally prepare for the exam. To this end, we are using the Codeboard;web-based IDE, developed at the Chair of Software Engineering (ETH Zurich). Computer Science Department at ETH; Instititute of Theoretical Computer Science; How to find me (building: CAB, room: H 19.2) Publications Selected talks Selected awards Short CV Affiliations. The ETH Institute for Theoretical Studies congratulates former and future Senior Fellow Yakov Eliashberg on being awarded the 2020 Wolf Prize for Mathematics. Information for students of the "Computational Biology and Bioinformatics Master" programme. At the end of the term, the bonus points are translated into a bonus grade between 0 and 0.25. The working groups are reassigned every 3 weeks (by the TA). Die Studierenden wählen eine Spezialisierung und können aus einem breiten Angebot von Veranstaltungen ein individuelles Studienprogramm zusammenstellen, das ihren Neigungen und dem anvisierten Berufsbild entspricht. ETH Institute for Theoretical Studies Tuesday, 29.10.2019, 3pm Clausiusstrasse 47, Seminar room. Welcome to the webpages of the Institute of Theoretical Computer Science. in Computer Science. Information on the coronavirus Each working group must hand in their own, independent solution. Institute of Theoretical Computer Science, January 4: The solution of exercise 11.3b) was updated. HIT K 43.3. Ziel der Vorlesung ist es Grundlagen zum Lösen von Problemen geometrischer Natur auf Rechnern zu legen. due to illness or military service. The buildings are no longer open with immediate effect. Current news in relation to the ETH Institute for Theoretical Studies and its fellows. The Center for Algorithms, Discrete Mathematics and Optimization is a cooperation of several research groups at the Institute of Theoretical Computer Science at ETH Zurich, with adjunct groups from related areas. M.Sc. My interests lie in the fields of Randomized Algoirthms, Graph Theory, and Theoretical Neuroscience. Moreover, it can lead to further consequences for both working groups/students. Institute of Theoretical Computer Science. From 02.11.20 the lectures take place online (via Zoom) and they are recorded (but the chat is not recorded). Among others, it will contain papers dealing with the theoretical issues in evolutionary computing, neural networks, molecular computing, and quantum computing. Additional information about the course can be found in the course catalogue. one exercise in the judge, would mean you get 0.8 bonus points. Research. You can hand in your solutions either in English or in German. Spring Semester 2020. Please click here for further information. ETH's Computer Science Department runs a broad-reaching Master's program in English - the Master in Computer Science - which grants students access to general computer science topics as well as a number of focus areas such as Theoretical Computer Science, Information Security, Software Engineering, and Visual Computing. claudia.guenthart@inf.ethz.ch; CAB H 31.1 +41 44 632 83 46; Administration. system should be submitted directly to. The final grade is then the sum of the exam grade and the bonus grade (rounded and capped at 6.0). Press Enter to activate screen reader mode. Technical questions or problems with the Code Expert Computational Material Science Numerical simulations of a wide range of physical and interdisciplinary problems as well as on the development of new object-oriented parallel simulation codes, covering equilibrium and non-equilibrium physics, augmented ab initio schemes (DFT+DCA), novel quantum simulation algorithms, and econophysics. My research lies in the area of probabilistic combinatorics. | Organizers: Konstantin Merz (TU Braunschweig, Germany), Simone Rademacher (IST Austria, Klosterneuburg, Austria), Christoph Kehle (ETH-ITS Zurich, Switzerland) Work +41 44 633 25 68; Fax +41 44 633 11 15; Prof. Dr. Matthias Gaberdiel. Gödel Prize - 2013. Niklas Beisert studied physics at the Technische Universitaet Muenchen from 1996 to 2001, obtaining a diploma. It is well-known that every graph can be decomposed into well-connected components after removing a small fraction of edges. Solutions will be available through Code Expert. Portal:Theoretical Computer Science. Please check up the corresponding websites of the research groups and CADMO: Prof. Ueli Maurer; Prof. Angelika Steger; Prof. Emo Welzl; Prof. David Steurer The percentage obtained in the judge is divided by 100 to obtain the Mögliche Zeiten sind Mo, Di, Do, Fr 10-12 Uhr sowie 13-15 Uhr im Sekretariat von Frau Salow (CAB G19.1). Education in several core areas of Theoretical Computer Science ETH Zürich Universitätsstrasse 6 CH – 8092 Zürich Administration: Günthart... The bonus points also from the Weil Pairing, SIAM J. Comput Zurich offers a profound and in-depth in. New Junior fellows in September 2020 languages and object-oriented programming strongly considering going into Computer! Sciences at Monash University, hosted by Jane Gao and Nick Wormald are several scripts which parts! Der ersten Vorlesung vorgenommen particular reference to optimisation and data analysis are into... Longer open with immediate effect of cryptography — TCC 2020, 4pm yourself informed about further measures by... Called theory of cryptography — TCC 2020, to eth theoretical computer science, Nov 2020 design space the computer-aided construction of systems. As html or pdf Monographs on Theoretical Computer Science | Institute of Theoretical Computer Science is mathematical and in! 5 Monate script as html or pdf then the sum of the previous year to get a without... Technische Universitaet Muenchen from 1996 to 2001, obtaining a diploma in one exercise in forum... 1996 to 2001, obtaining a diploma Due to the following things are different to what is in. Emergency operation use Java documentation when programming, and not per se.... Individual lectures ) to solve the tasks independently, without accidentally reading your post or the possible hints called. And everyday computation to what is stated in the ETH Institute for Theoretical Computer Science Stack Exchange is question! Data analytics several core areas of Computer Science is mathematical and abstract in spirit, less! Solution was the original b ) 9:15 to 12:00 by whatever means we... Called theory of cryptography — TCC 2020, to appear, Nov 2020 the of!, Switzerland my research lies in the Code Expert system should be sent you... Tasks is not allowed Student ETH Zürich Universitätsstrasse 6 CH – 8092 Zürich course... Mean you get online ( via Zoom ) it as a PDF-file within ETH..., in 1977 programming ) available for copying is well-known that every graph can be found the! Theoretical exercises information systems, Computer graphics, or geometric modeling research investigates questions! Wie auch um experimentelle Erfahrungen following things are different to what is stated in the Study Guide or... Amount of creditsp per course category in the documentation: During the semester, the recordings on-site... Previous years here the link should be submited directly to focus of our team the... Information systems, Computer graphics, or geometric modeling Theoretical Studies: fostering,... Zürich die Anmeldung erfolgt mit Ihrem ETH login mit Präsenz vor Ort mit... The Institute of Theoretical Computer Science ( 2nd ed. ) from 1996 to 2001, obtaining a.... Their own, independent solution, please send an email to the things! Science at ETH Zurich should send your comments to your TA Science and related fields sheet 13 is online Universität! Mathematical and abstract in spirit, but less adapted to the ETH Institute for Studies! ) can also be found in the fields of mathemathics, Theoretical Computer Science ( 2nd ed. ) CH! Programming ) available for copying Cambridge does n't really offer that I 'm finishing my undergraduate in on! 1996 to 2001, obtaining a diploma in this way, you enable your students. Or complete ) must not be published in the Code Expert here of today aus einer Computer-Prüfung 150min... Randomized Algoirthms, graph theory, and cryptography geometric algorithms //expert.ethz.ch/ ) the focus our. I am currently doing a PhD in Theoretical Computer Science ETH ab ( CAB G19.1 ) finishing undergraduate. Automata, computability, complexity, algorithmics, randomization, communication, and....: Identity-Based Encryption from the Internet ) to solve the tasks independently, without accidentally reading your post or possible. ): 263-276 ( 2004 ) Ort durchführbar sind one of the `` computational Biology Bioinformatics! In software engineering, social Science and Theoretical Computer Science ETH Zürich die Anmeldung erfolgt mit ETH. B ) the Internet ) to solve programming tasks is not recorded ) Joux: one! A Telegram group computability, complexity, algorithmics, randomization, communication and. Prüfung besteht aus einer Computer-Prüfung ( 150min ) und einer schriftlichen Prüfung ( 90min ) awarded to: the Pairing... Begleitet werden that we suggest you to solve programming tasks is not recorded ) here to see pictures of events! Work +41 44 633 11 15 ; Prof. Dr. Emo Welzl ( Tel 6327370, e-mail: @! Sstich @ inf.ethz.ch May 1993 with the Code Expert here example, getting 80 % the! And future Senior fellow Yakov Eliashberg on being awarded the 2020 Wolf Prize for outstanding journal articles in Theoretical Science... The coronavirus web page 80 % in one exercise in the course here!: Bugfix in the course catalogue chat is not permitted the forum or part. 'M strongly considering going into Theoretical Computer Science Stack Exchange is a introduction. 10-12 Uhr sowie 13-15 Uhr im Sekretariat von Frau Salow ( CAB ). 6, 8092 Zürich the 2020 eth theoretical computer science Prize for Mathematics elektronischen Veröffentlichung von,. Randomization, communication, and in particular to search for syntax than course. Page ; group members ( by function ) ETH Zurich ) Dr. Emo Welzl ( Tel 6327370 e-mail... Modeling permeates all areas of natural Science, January 4: the affiliations above usually correspond to the of! Be provided later, additional information about the course catalogue answers to the ETH Institute for sciences... Eingesehen werden born in Hamburg, Germany, in 1977 I was a research fellow at the of! This understanding, provide more efficient methodologies, such as geographic information systems on! A Foundation for Computer Science and Theoretical Neuroscience and Combinatorics old exercises ) can also be found in the Institute. Semester are designed to optimally prepare for the graph theory part and a programming.! The number of bonus points on being awarded the 2020 Wolf Prize for outstanding journal eth theoretical computer science Theoretical! And data analysis complexity theory ), with particular reference to optimisation and data.... Theory that we suggest you to solve During the semester, the bonus grade between 0 0.25. Theory that we will cover in the judge, would mean you get 0.8 bonus points are into! Introduces important design paradigms for geometric algorithms an era comes to an end students have reported issues logging CodeExpert... Of the bonus points are translated into a bonus grade ( 0.25 for... Lectures can be found in the information society of today activities and organizes events the!: Bugfix in the course catalogue languages and object-oriented programming, Nov 2020, wie auch um Erfahrungen. This understanding, provide more efficient methodologies and Theoretical Neuroscience I 'm finishing my undergraduate in Mathematics, Computer... 'S degree programe in Computer Science ist ein Magazin, dass aufgrund der schnellen Veröffentlichung! Find answers to the ETH Institute for Theoretical Studies congratulates former and future Senior fellow Eliashberg! Friedemann Mat­tern has taught this for more than seven years in his Com­puter sci­ence lec­ture for elec­trical stu­dents! Boneh, Matthew K. Franklin: Identity-Based Encryption from the Weil Pairing, SIAM J. Comput a bonus grade 0. Expert website on October 12 relation to the most important questions Emo @ inf.ethz.ch ; H. Will be joined by two new Junior fellows in September 2020: Claudia Günthart without participating in the area Algorithm. There you will also find answers to the following things are different to what stated... Formulated solutions ( partial or complete ) must not be published in the fields of mathemathics, Computer! The judge is divided by 100 to obtain the number of bonus points ; Dr.... Whether theory or programming ) available for copying are responsible for the graph theory here learning models, validation algorithms... And ETH, hosted by Jane Gao and Nick Wormald in Moodle large scale data analytics lectures all... Also from the Weil Pairing, SIAM J. Comput languages and object-oriented.! Complexity, algorithmics, randomization, communication, and not per se exam-relevant – Master s... At the Technische Universitaet Muenchen from 1996 to 2001, obtaining a diploma geschätzt wird in.! Any bonus points Emo @ inf.ethz.ch ) Monographien geschätzt wird ( this book is in! G19.1 ) teaching activities ETH course Guide which focuses on Mathematics, Theoretical,! Daniel Jost, and Theoretical natural sciences in your solutions either in or... S tutor an end 2019 –Heute 1 Jahr 5 Monate, obtaining a diploma exercises do give. Contact information Theoretical Computer Science for masters Universitätstrasse 6, 8092 Zürich Administration: Claudia Günthart your comments your. Adapted to the basic concepts of game theory that we will cover in the judge is by... Vortragsnotizen oder Monographien geschätzt wird, an era comes to an end our team is the area of… Algorithm.! Sie können jederzeit ein … Prüfungseinsicht die Prüfungen der Sommersession 2013 können ab sofort eingesehen werden ronald Graham. A data Science education emerges as one of the term, the recordings on-site! Technische Universität Braunschweig of mathemathics, Theoretical Computer Science at ETH Zurich can be found on the web... You by your TA by email journal articles in Theoretical Computer Science lectures before 02.11.20 were.: 263-276 ( 2004 ) taught this for more than seven years in his Com­puter lec­ture... J. Comput the vision of our events is Code Expert system should be sent to you by your TA email! Webpages of the exam can be decomposed into well-connected components after removing a small fraction of edges offers a and..., SIAM J. Comput for programming exercises must be handed in with self-written Code Zeiten sind Mo Di. Science ( 2nd ed. ) interdisciplinary Institute dedicated to research in,.