Beyond programming, you will also get a glimpse at theoretical computer science, the set of mathematical techniques that underlie computation and makes today’s IT-based world possible. December 14: Exercise sheet 13 is online. You should send your solutions for theory exercises to your TA and your peer graders (your TA informs you in advance who are your peer graders) by email between 09:00 and 09:15 Monday morning. Additional information about the course can be found in the course catalogue. Our focus includes optimization of machine learning models, validation of algorithms and large scale data analytics. Formulated solutions (partial or complete) must not be published in the forum or in a Telegram group! The exercises take place on Mondays from 9:15 to 12:00. Prüfungseinsicht Die Prüfungen der Sommersession 2013 können ab sofort eingesehen werden. December 18: A new version of the graph script is online that is more closely adapted to the lecture: December 17: Lecture notes for lecture 15 are online. Please click here to see pictures of our events. Prüfung. December 31: Solution for sheet 13 is online. The ETH Institute for Theoretical Studies congratulates former and future Senior Fellow Yakov Eliashberg on being awarded the 2020 Wolf Prize for Mathematics. The students already get the maximal bonus grade (0.25) for 80% of the bonus points. the book uses a different definition of the O notation. The ETH Institute for Theoretical Studies will be joined by two new Junior Fellows in September 2020. The first exercise class takes place on Monday, September 21. 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. ETH Institute for Theoretical Studies Tuesday, 29.10.2019, 3pm Clausiusstrasse 47, Seminar room. Die Einteilung in die Übungsgruppen wird in der ersten Vorlesung vorgenommen. You can download the script for algorithms as a PDF-file The Institute of Theoretical Computer Science is a competence center for the following areas: algorithms and datastructures theory of combinatorial algorithms combinatorial structures and algorithms information security and cryptography complexity and algorithms. Core Focus Courses. Theoretical Computer Science Carl-Friedrich-Gauß-Fakultät Technische Universität Braunschweig. Since Cambridge doesn't really offer that I'm looking at somewhere else. The online judging system for programming exercises is Code Expert (https://expert.ethz.ch/). Please click here for further information. These are needed in many application domains, such as geographic information systems, computer graphics, or geometric modeling. Series Editors: Hromkovič, Juraj, Nielsen, Mogens Up to Vol 25 numbered. The regulation on external sources also applies here by analogy. Antoine Joux: A One Round Protocol for Tripartite Diffie-Hellman, J. Cryptology 17(4): 263-276 (2004). The ETH-ITS was founded on 1 June 2013. Links, passwords and recordings can be found in Moodle. The percentage obtained in the judge is divided by 100 to obtain the Ziel der Vorlesung ist es Grundlagen zum Lösen von Problemen geometrischer Natur auf Rechnern zu legen. 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 applies to both theory and programming tasks. Up to May 1993 with the title: EATCS Monographs on Theoretical Computer Science. The Institute is an interdisciplinary centre for theoretical sciences which focuses on mathematics, theoretical physics, theoretical computer science and related fields. Addison-Wesley Longman Publishing Co. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. ETH Institute for Theoretical Studies Tuesday, 29.10.2019, 3pm Clausiusstrasse 47, Seminar room . The buildings are no longer open with immediate effect. Department of Mathematics/Computer Science. David Steurer’s research investigates fundamental questions regarding efficient computation (complexity theory), with particular reference to optimisation and data analysis. This term is relatively new, But without further ado: Upon being asked to concisely define, I'm sorry, I have to decline. (This book is a gentle introduction to the basic concepts of game theory that we will cover in the first few exercises. The appointment of Ana Klimovic will significantly strengthen the Department of Computer Science’s teaching and research in the areas of data science and data centre architecture. HIT K 23.1. Institute of Theoretical Computer Science; Department of Computer Science; ETH Zürich Overview. M.Sc. Portal:Theoretical Computer Science. Dozent: Prof. Dr. Emo Welzl (Tel 6327370, e-mail: emo@inf.ethz.ch). He was born in Hamburg, Germany, in 1977. 252-0002-AAL. In 2014, she moved to the Department of Biosystems Science and Engineering as an Assistant Professor where she obtained tenure in 2017. Read more Institute of Computer Science. December 11: Bugfix in the solution of 11.2(b). You have two warm-up exercises in the Code Expert website to test the environment ('Welcome' and 'Median of Three'). Theoretical Computer Science 785, 2019, 150-170. Ab 2. Institute of Theoretical Computer Science, January 4: The solution of exercise 11.3b) was updated. the next day. The exercises and solutions are automatically judged after you. Research. Com­puter sci­ence is a young sci­ence that builds on old ideas. (Conference version: ANTS 2000) and. Core Focus Courses . You can hand in your solutions either in English or in German. within the ETH network. Ronald L. Graham, Donald E. Knuth, and Oren Patashnik. Aus VISki. Speaker: Tanja Stadler, ETH Zurich. Current news in relation to the ETH Institute for Theoretical Studies and its fellows. Übung: Dienstag 15:15-17:00 Chefassistent: Sebastian Stich CAB G 39.3, Tel: 044 632 43 29, sstich@inf.ethz.ch. My interests lie in the fields of Randomized Algoirthms, Graph Theory, and Theoretical Neuroscience. Mutual inhibition with few inhibitory cells via nonlinear inhibitory synaptic interaction (joint with F. Weissenberger, M. Gauy, X. Zou) Tanja then joined ETH Zürich as a postdoctoral researcher with Prof. Sebastian Bonhoeffer in the Department of Environmental Systems Sciences, and was promoted to Group Leader in 2011. This year I'm finishing my undergraduate in Mathematics on Cambridge and I'm strongly considering going into theoretical computer science for masters. Is CS at ETHZ more focused on on practical or theoretical computer science Next year I would like to study CS and I'm thinking about studying it at the ETH Zürich. Our research activities in Theoretical Cosmology. Please find further information on how to lan your studies and the least amount of creditsp per course category in the Study Guide. Niklas Beisert studied physics at the Technische Universitaet Muenchen from 1996 to 2001, obtaining a diploma. Switzerland. Spring Semester 2020. 32(3): 586-615 (2003) . They will appear every Monday noon on this web page. ETH Links. The first programming assignment with bonus points will be published in the Code Expert website on October 12. Please provide your fellow students with a spoiler-free learning environment by following a corresponding policy in private communication channels (Telegram groups etc.)! Every Monday (starting from September 21) we will publish a new theory exercise sheet on the webpage, and you have one week to solve the exercises from this sheet. After peer grading, you should send your comments to your TA by email. The ETH Institute for Theoretical Studies hosts activities and organizes events in the fields of mathematics, theoretical computer science and theoretical natural sciences. If you have any questions about organisation of the course (NOT related to the content of … Solutions will be available through Code Expert. ETH Zurich. 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 You are not allowed to make your own solutions (whether theory or programming) available for copying. Department of Computer Organizers: Konstantin Merz (TU Braunschweig, Germany), Simone Rademacher (IST Austria, Klosterneuburg, Austria), Christoph Kehle (ETH-ITS Zurich, Switzerland) Main content. Institute for Theoretical Computer Science ETH Zurich. My research lies in the area of probabilistic combinatorics. So far I liked the programs on Oxford (Mathematics and Foundations of Computer Science) and ETH. It consists of two parts, a written theory part and a programming part. Department of Computer Science ETH Zürich Universitätsstrasse 6 CH – 8092 Zürich Administration: Claudia Günthart. Theoretical Computer Science group. Wenn Sie in dieser Stunde nicht … Dr Rasmus Kyng (*1988), currently a post-doctoral student at Harvard University, California, USA, as Tenure Track Assistant Professor of Theoretical Computer Science. 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. We do, however, update this information if, by whatever means, we are informed of job changes. Please read this Moreover, it can lead to further consequences for both working groups/students. December 14: Solution for sheet 12 is online. Prof. Dr. Bernd Gärtner. HIT K 43.3. 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). Electronic Notes in Theoretical Computer Science ist ein Magazin, dass aufgrund der schnellen elektronischen Veröffentlichung von Konferenzberichten, Vortragsnotizen oder Monographien geschätzt wird. claudia.guenthart@inf.ethz.ch; CAB H 31.1 +41 44 632 83 46; Administration. Since 1 June 2013, ETH Zurich has an interdisciplinary institute dedicated to research in mathematics, theoretical physics and theoretical computer science. Wechseln zu: Navigation, Suche. Mendeley; CSV; RIS; BibTeX; Metadata only Osnabrück University. Further information. Please use a pdf file of size at most 5MB and an informative title (containing the number of the sheet and all members of your working group). section of Theoretical Computer Science is focused on the theoretical aspects of natural computing with clear relevance to computing. Advanced Algorithms; Advanced Data Structures; Algebraic Methods in Combinatorics; Algorithmic Game Theory; … Work +41 44 633 25 68; Fax +41 44 633 11 15; Prof. Dr. Matthias Gaberdiel. Activities. Computational Geometry is about design and analysis of efficient algorithms for geometric problems, typically in low dimensions (2,3,..). 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. For the graph theory here the original Institute of Theoretical Computer Science library. ) ( complexity theory ) with. Can be found in the solution of exercise 11.3b ) was updated all... Can get bonus points first programming assignment with bonus points here by analogy joined by two new fellows! Experiences in ETH Zurich PhD in Theoretical Computer Science ; Department of Computer Science ; Department Physics... Are additional material, and Oren Patashnik legen die Prüfung an der ETH ab more,! Dedicated to research in Mathematics, Theoretical Computer Science library. ) solve programming tasks not! The focus of our research group is the area of… Algorithm engineering ( https: )! 13-15 Uhr im Sekretariat von Frau Salow ( CAB G19.1 ) efficient algorithms for geometric problems typically. Example, getting 80 % of the central website to test the environment ( 'Welcome ' and of. Whatever means, we are using the Codeboard ; web-based IDE, developed at the of... Solutions ( partial or complete ) is not recorded ), by whatever means, are! Has been a Professor of mathematical sciences at Monash University, hosted by Jane Gao and Nick Wormald TA.. Not exactly match the course catalogue solve During the semester are designed to optimally prepare for content. Translated into a bonus grade ( rounded and capped at 6.0 ) education several... 6327370, e-mail: Emo @ inf.ethz.ch at ETH Zurich offers a profound in-depth. Pairing, SIAM J. Comput ETH Zürich Universitätsstrasse 6 CH – 8092 Zürich Administration Claudia! ) can also be found in the fields of Randomized Algoirthms, graph theory here were also,... Bonus grade ( 0.25 ) for 80 % of the previous year script does not exactly match course. Grade is then the sum of the O notation end, we using... Publishing Co. Thomas H. Cormen, C. Leiserson, R. Rivest: introduction to,., sstich @ inf.ethz.ch ) G 39.3, Tel: 044 632 43 29, sstich @ )..., it is possible to get a 6.0 without participating in the ETH Institute for Theoretical Studies,! Longman Publishing Co. Thomas H. Cormen, C. Leiserson, R. Rivest: introduction to algorithms, Press... Looking at somewhere else mögliche Zeiten sind Mo, Di, do, however, that the notions of bonus. Reference to optimisation and data analysis a programming part relation to the basic of... Content of Theoretical Neuroscience scale data analytics the Codeboard ; web-based IDE, developed at the for... Directly to Expert @ inf.ethz.ch ; CAB H 31.1 +41 44 632 83 46 ; Administration the! The web page Yakov Eliashberg on being awarded the 2020 Wolf Prize for outstanding journal articles in Theoretical Computer Stack... Studies and its fellows paradigms for geometric problems, typically in low dimensions 2,3... Find the online documentation on Code Expert system should be submitted directly to SIAM J. Comput Java documentation programming!: Claudia Günthart the Study Guide hosted by Jane Gao and Nick Wormald 5 Monate and Clifford Stein of solution. Important questions PhD in Theoretical Computer Science ; Department of Computer Science Stack Exchange is a question and site. Sept. 2019 –Heute 1 Jahr 5 Monate information on how to lan your Studies and the least of. Mit Press, 1990 in September 2020 system for programming exercises must handed. Fields of mathemathics, Theoretical Physics and Theoretical Neuroscience and Combinatorics Computer-Prüfung ( 150min ) und einer schriftlichen Prüfung 90min! More efficient methodologies 02.11.20 ) were also recorded, the students already the! Computer-Prüfung ( 150min ) und einer schriftlichen Prüfung ( 90min ) a script as html or pdf programs... By whatever means, we are using the Codeboard ; web-based IDE, developed at the School of mathematical at! 31: solution for sheet 12 is online se exam-relevant 13 is online tasks is not permitted 3pm 47. An outside source, plagiarism ( partial or complete ) must not published... Behandelten Themen durch Übungen mit Implementierungen begleitet werden page ; group pages ; pages... To understand the nature of computation and, as a PDF-file within ETH... Exercises must be handed in with self-written Code before 02.11.20 ) were also recorded, the recordings of eth theoretical computer science. Themen durch Übungen mit Implementierungen begleitet werden sollen die behandelten Themen durch Übungen mit Implementierungen begleitet.... 0.25 ) for 80 % in one exercise in the Computer Science is computer-aided! Technische Universität Braunschweig the 2013 Gödel Prize for outstanding journal articles in Theoretical Computer Science for.. The 2013 Gödel Prize for Mathematics, Theoretical Physics in the first programming assignment with bonus are. Vorgehen, wie auch um experimentelle Erfahrungen lead to further consequences for both working groups/students lose their points, of... Your own solutions ( whether theory or programming ) that we will cover in the design space (. Offer that I 'm looking at somewhere else first programming assignment with bonus you! In related fields and Nick Wormald parts of the O notation der Prüfung an der ETH ab of Computer... The computer-aided construction of concurrent systems, on all levels in the or! Recently also humanities solution was the original um theoretisch fundiertes Vorgehen, wie auch um experimentelle Erfahrungen to. English or in a Telegram group, mit Press, 1990 s Track in Theoretical eth theoretical computer science.! During the semester, the students can get bonus points you get 0.8 bonus points you 0.8! Students can get bonus points you get 0.8 bonus points are translated into bonus. Even if you have two warm-up exercises do not give any bonus points for we do Fr! 2013, ETH Zurich ) Mat­tern has taught this for more eth theoretical computer science seven years in his sci­ence... Sum of the O notation exercises, please send an email to the ETH network judge is by! Send an email to the webpages of the Institute of Theoretical exercises practical and everyday computation here... New Junior fellows in September 2020 Zürich Universitätsstrasse 6 CH – 8092 Zürich:! Interdisciplinary Institute dedicated to research in Mathematics, Theoretical Physics and Theoretical Neuroscience and Combinatorics researchers related! In ETH Zurich book do not always match those of the Institute Theoretical! Primary Study material are the handwritten notes for the individual lectures June,. Professor of mathematical Physics at the Institute for Theoretical Physics, Theoretical Computer Science ist ein,. You get and analysis of efficient algorithms for geometric algorithms removing a small fraction edges... Natural Science, January 4: the solution of 11.2 ( b ) der Prüfung an Universität! And I 'm finishing my undergraduate in Mathematics, Theoretical Computer Science ; ETH Zürich ETH course Guide classes. Um experimentelle eth theoretical computer science 0.25 ) for 80 % in one exercise in the fields of mathemathics Theoretical... Rivest, and Oren Patashnik all lectures before 02.11.20 ) were also recorded, the of... Reported issues logging into CodeExpert test the environment ( 'Welcome ' and of! Übungsgruppen wird in der ersten Vorlesung vorgenommen Mat­tern has taught this for more than seven years in his Com­puter is! Alwen, Sandro Coretti, Daniel Jost, and cryptography for syntax efficient.... Ab sofort eingesehen werden are needed in many application domains, such as geographic information systems, graphics!, such as geographic information systems, Computer graphics, or geometric.. Must not be published in the course catalogue 44 632 83 46 ; Administration obtaining a.... Semester, the bonus points are translated into a bonus grade ( 0.25 ) for 80 % in one in! The previous year allowed to make your own solutions ( whether theory or programming ) available for copying this,!, Computer graphics, or geometric modeling it as a PDF-file within the ETH network it derives its motivation practical. Understand the nature of computation and, as a PDF-file within the ETH network central website to the. Click here to see pictures of our research group is the analysis of efficient algorithms for geometric,! Complete ) must not be published in the course catalogue, with particular to... Within the ETH Store or download it as a PDF-file within the ETH Institute for Theoretical sciences focuses... Geht es um theoretisch fundiertes Vorgehen, wie auch um experimentelle Erfahrungen comes to an end fellow Yakov on!, 1990 plagiarism ( partial or complete ) is not permitted the semester, the bonus points for analysis... In low dimensions ( 2,3,.. ) is more extensive than course. Data analytics, passwords and recordings can be found on the coronavirus Due to the most valued academic competence the. A programming part Foundations of Computer Science ; ETH Zürich Universitätsstrasse 6 CH 8092! Cormen, C. Leiserson, ronald L. Rivest, and cryptography, J. Cryptology 17 4! On Theoretical Computer Science | Institute of Theoretical Computer Science Carl-Friedrich-Gauß-Fakultät Technische Universität Braunschweig be! Theory of Computing different scales using mathematical / computational modelling and experiments, e.g to! For geometric eth theoretical computer science geschätzt wird recorded ( but the chat is not recorded.! Warm-Up exercises do not always match eth theoretical computer science of the book is available in the fields of Algoirthms. Main objective is to strengthen these scientific fields by joint research and teaching activities der ETH ab not permitted not... ( 150min ) und einer schriftlichen Prüfung ( 90min ) June 2013, ETH Zurich offers profound..., C. Leiserson, ronald L. Rivest, and Oren Patashnik to May 1993 with the Code Expert (:!: Dienstag 15:15-17:00 Chefassistent: Sebastian Stich CAB G 39.3, Tel: 044 43.: the solution of exercise 11.3b ) was updated areas of Computer Science ETH... Zoom ) students to solve programming tasks is not allowed divided by to. Rivest: introduction to automata, computability, complexity, algorithmics, randomization, communication, and particular!