CINXE.COM
Institute of Theoretical Computer Science, Department of Computer Science, ETH Z眉rich
<!DOCTYPE html> <html> <head> <meta charset="UTF-8"> <!-- Google Fonts, Roboto is also similar to DIN FF --> <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=Tangerine"> <!-- conf:3 --> <link href='https://fonts.googleapis.com/css?family=Roboto&subset=latin,latin-ext' rel='stylesheet' type='text/css'> <!-- X-UA_compatible allows for different engines in IE, IE-EDge is the most recent --> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <!-- metas for the menu --> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/design/header/cssmenu/styles.css"> <script src="https://code.jquery.com/jquery-latest.min.js" type="text/javascript"></script> <script src="/design/header/cssmenu/script.js"></script> <!-- our metas --> <title>Institute of Theoretical Computer Science, Department of Computer Science, ETH Z眉rich</title> <link rel="stylesheet" type="text/css" href="/design/css/tistyle.css"> <!-- our scripts --> <script type="text/javascript"> function UrlExists(url) { var http = new XMLHttpRequest(); http.open('HEAD', url, false); http.send(); return http.status!=404; } var photoNum = 1; function showPicture() { /* console.log(photoNum.toString()); */ if (UrlExists("image/image-" + photoNum.toString()+".jpg")) { $("#dimage").css({ background: "url('" + "image/image-" + photoNum.toString() + ".jpg"+"')", backgroundRepeat: "no-repeat" }); photoNum = photoNum + 1; if (photoNum > 5) { photoNum = 1; } } else { photoNum = photoNum + 1; while(!UrlExists("image/image-" + photoNum.toString()+".jpg")) { photoNum = photoNum + 1; if (photoNum > 5) { photoNum = 1; break; } } } } </script> <!-- The construct excludes image animation for all IE versions below 9 --> <!--[if IE ]> <style>#dimage {display: none;}</style> <![endif]--> </head> <body> <div id="eth-header" class="eth-font eth-color eth-left" style="margin-top: 0px; padding-top: 32px; margin-bottom: 0px; padding-bottom: 0px;"> <a href="https://www.ethz.ch/en.html"> <img src="/design/header/logo/eth_logo_kurz_neg.svg" id="logo"> </a> <!-- Google search over the domain ethz.ch --> <span style="float: right; padding-right: 16px;" class="desktop-only"> <form action="https://www.google.com/search" method="get"> <input type="hidden" name="sitesearch" value="ethz.ch" /> <input type="text" name="q" size="20" style="text-decoration: none; font-size: 0.750em; font-weight: bold "> <input type="submit" value="Search ethz.ch" class="eth-color" style="color:white; text-decoration: none; font-size: 0.750em; font-weight: bold; width: 10em; "> </form> </span> <!-- ETH person search --> <span style="float: right; clear: both; padding-right: 16px;" class="desktop-only"> <form METHOD="GET" ACTION="https://www.ethz.ch/en/utils/search.ethz_search.html"> <input TYPE="hidden" NAME="pagetype" VALUE="people"> <input TYPE="hidden" NAME="language" VALUE="en"> <input TYPE="TEXT" NAME="search" size="20" VALUE="" style="text-decoration: none; font-size: 0.750em; font-weight: bold "> <input TYPE="submit" VALUE="Search Person" class="eth-color" style="color:white; text-decoration: none; font-size: 0.750em; font-weight: bold; width: 10em; "> </form> </span> <p style="margin-top: 0px; padding-top: 6px; margin-bottom: 0px; padding-bottom: 0px;"> <a href="https://www.inf.ethz.ch" style=" color:white; text-decoration: none; font-size: 0.750em; font-weight: bold "> Department of Computer <!-- conf:5 --> Science </a> </p> <h2 style="margin-top: 0px; padding-top: 6px; margin-bottom: 0px; padding-bottom: 10px; margin-left: -1px; color:white"> Institute of Theoretical Computer Science <!-- conf:4 --> </h2> </div> <div id='cssmenu' class="eth-font eth-color" style="margin-top: 0px; padding-left: 44px"> <ul> <li> <a href='/index.html'>Home</a> </li> <li> <a href='/about/index.html'> <span>About</span> </a> </li> <li class='has-sub'> <a href='#'>People</a> <ul> <li> <a href='/people/index.html'>The Institute</a> </li> <li class='has-sub'> <a href='#'>Research Groups</a> <ul> <li class='last'> <a href='http://www.crypto.ethz.ch/people/'>Group U. Maurer</a> </li> <li> <a href='http://www.as.inf.ethz.ch/people/index'>Group A. Steger</a> </li> <li> <a href='http://www.ti.inf.ethz.ch/ew/people/'>Group E. Welzl</a> </li> <li> <a href='http://foc.ethz.ch/index.html'>Group D. Hofheinz</a> </li> <!-- <li> <a href='http://people.csail.mit.edu/ghaffari/'>Group M. Ghaffari</a> </li>--> <li> <a href='http://www.dsteurer.org/'>Group D. Steurer</a> </li> <li> <a href='http://rasmuskyng.com/'>Group R. Kyng</a> </li> <li> <a href='https://csedu.ethz.ch/'>Group D. Komm</a> </li> </ul> </li> </ul> </li> <li class='has-sub'> <a href='#'>Research</a> <ul> <li> <a href='/research/index.html'>Overview</a> </li> <li> <a href='http://www.crypto.ethz.ch/publications/'>Prof. Ueli Maurer</a> </li> <li> <a href='http://www.as.inf.ethz.ch/research/index'>Prof. Angelika Steger</a> </li> <li> <a href='http://www.ti.inf.ethz.ch/ew/'>Prof. Emo Welzl</a> </li> <li> <a href='#'>Prof. David Steurer</a> </li> <li> <a href='http://rasmuskyng.com/'>Prof. Rasmus Kyng</a> </li> <li> <a href='https://csedu.ethz.ch/forschung.html'>Prof. Dennis Komm</a> </li> <li class='last'> <a href='http://www.cadmo.ethz.ch/research/index'>CADMO</a> </li> </ul> </li> <li class='has-sub'> <a href='#'>Education</a> <ul> <li class='has-sub'> <a href='/education/index.html'>Overview</a> <ul> <li> <a href='http://www.cadmo.ethz.ch/education/index'>CADMO</a> </li> <li class='last'> <a href='/intranet/TA/pool.html'>TAs</a> </li> </ul> </li> <li class='has-sub'> <a href='#'>Master and Bachelor Theses</a> <ul> <li> <a href='http://www.crypto.ethz.ch/teaching/madasa/'>Prof. Ueli Maurer</a> </li> <li> <a href='http://www.as.inf.ethz.ch/education/student_projects'>Prof. Angelika Steger</a> </li> <li class='last'> <a href='http://www.ti.inf.ethz.ch/ew/#master_theses'>Prof. Emo Welzl</a> </li> </ul> </li> </ul> </li> <li> <a href='/services/index.html'> <span>Services</span> </a> </li> <li class='has-sub'> <a href='#'><span>Contact</span></a> <ul> <li> <a href='/contact/index.html'>Contact</a> </li> <li class='last'> <a href='/contact/find.html'>Location</a> </li> </ul> </li> <li class='has-sub'> <a href='#'><span>Intranet</span></a> <ul> <li class='last'> <a href='http://www.ti.inf.ethz.ch/intranet/TA/pool.html'>Assistance Pool</a> </li> </ul> </li> </ul> </div> <div class="eth-left eth-font"> <script type="text/javascript">window.location = "/index.html"</script></div> <div id="eth-footer" class="eth-font eth-color eth-left" style="word-spacing: 1em;" > <a href="/imprint/index.html" style=" color:white; text-decoration: none; font-size: 0.750em; font-weight: bold "> Imprint </a> <a href="https://www.ethz.ch/en/footer/disclaimer.html" style=" color:white; text-decoration: none; font-size: 0.750em; font-weight: bold "> Disclaimer </a> <a href="https://www.ethz.ch/en/footer/copyright.html" style=" color:white; text-decoration: none; font-size: 0.750em; font-weight: bold "> Copyright </a> </div> </body> </html>