ÿþ<!DOCTYPE HTML PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xml:lang="en" xmlns="http://www.w3.org/1999/xhtml" lang="en"><head> <title>Sebastian Müller | Home </title> <link rel="stylesheet" href="index_files/iddo.css" type="text/css"> <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> <meta name="keywords" conthent="Sebastian Müller, Proof Complexity, Logic"> </head><body> <div id="container"> <div id="banner"> <img style="float: right; margin-right: 20px;" src="basti.jpeg" width="151" height="186" alt="Sebastian Müller" border="2" onmouseover="this.src='bastiblausized.jpg'" onmouseout="this.src='basti.jpeg'" /> <!-- <a href="index.html"><img src="Uk-8.gif" alt="English" width="36" height="23" border="0" /></a> <a href="indexDE.html"><img src="Germany-8.gif" alt="Deutsch" width="36" height="23" border="0" /></a> <a href="indexCZ.html"><img src="Czechr-8.gif" alt=" eský" width="36" height="23" border="0" /></a> --> <h3>Sebastian Müller</h3> <h2>his homepage :)</h2> <div id="ddcolortabs"> <ul> <li id="current"> <a href="index.html" title="Home"><span>Home</span></a> </li> <li><a href="publications.html" title="Publications"><span>Publications</span></a></li> <li><a href="talks.html" title="Talks"><span>Conference Talks</span></a></li> <li><a href="http://www.karlin.mff.cuni.cz/~muller/cvNEW.pdf" title="Curriculum Vitae"><span>CV</span></a> and <a href="http://www.karlin.mff.cuni.cz/~muller/Research Statement April 2012.pdf" title="Research Statement"><span>Research Statement</span></a></li> </ul> </div> <div id="ddcolortabsline"> </div> </div> <!--banner--> <div id="center"> <div class="content"> <p class="MsoNormal" style="line-height: 150%;"><span style="font-family: &quot;Calibri&quot;,&quot;sans-serif&quot;;"><o:p>&nbsp;</o:p></span></p> <div style="border-style: none none solid; border-color: -moz-use-text-color -moz-use-text-color rgb(79, 129, 189); border-width: medium medium 1pt; padding: 0cm 0cm 4pt;"> <p class="MsoTitle" style="line-height: 150%;"><span style="font-size: 20pt; line-height: 150%; font-family: &quot;Calibri&quot;,&quot;sans-serif&quot;;">H</span><span style="font-size: 16pt; line-height: 150%; font-family: &quot;Calibri&quot;,&quot;sans-serif&quot;;">ome </span><span style="font-size: 20pt; line-height: 150%; font-family: &quot;Calibri&quot;,&quot;sans-serif&quot;;"><o:p></o:p></span></p> </div> <td> <p> <div> <p class="MsoTitle" style="line-height: 150%;"><span style="font-size: 18pt; line-height: 150%; font-family: &quot;Calibri&quot;,&quot;sans-serif&quot;;">S</span><span style="font-size: 14pt; line-height: 150%; font-family: &quot;Calibri&quot;,&quot;sans-serif&quot;;">ebastian </span><span style="font-size: 18pt; line-height: 150%; font-family: &quot;Calibri&quot;,&quot;sans-serif&quot;;">M</span><span style="font-size: 14pt; line-height: 150%; font-family: &quot;Calibri&quot;,&quot;sans-serif&quot;;">üller </span><span style="font-size: 20pt; line-height: 150%; font-family: &quot;Calibri&quot;,&quot;sans-serif&quot;;"><o:p></o:p></span></p> </div> <p> I'm a PhD student of <a href="http://www.karlin.mff.cuni.cz/~krajicek/"><span style='color:#051C2C; text-decoration:none;text-underline:none'>Jan Kraj&#237;&#269;ek</span></a> in Prague and a Marie Curie fellow in the <a href="http://www.maths.leeds.ac.uk/maloa/"><span style='color:#051C2C; text-decoration:none;text-underline:none'>MALOA</span></a> initial training network. I graduated in Mathematics at the Freie Universität in Berlin under the supervision of <a href="http://www.hausdorff-center.uni-bonn.de/people/geschke/"><span style='color:#051C2C; text-decoration:none;text-underline:none'> Stefan Geschke</span></a>. Before I came to Prague I was working in the DFG project <a href="http://www.informatik.hu-berlin.de/forschung/gebiete/algorithmenII/Forschung-en/projects/komp-dnpp2-en/standardseite-en"><span style='color:#051C2C; text-decoration:none;text-underline:none'> "Propositional Proof Complexity and Disjoint NP-Pairs"</span></a> under the supervision of <a href="http://www.thi.uni-hannover.de/institut/mitarbeiter/olaf-beyersdorff/"><span style='color:#051C2C; text-decoration:none;text-underline:none'> Olaf Beyersdorff</span></a> and <a href="http://www.informatik.hu-berlin.de/forschung/gebiete/algorithmenII/mitarbeiter/koebler/index_html"><span style='color:#051C2C; text-decoration:none;text-underline:none'> Johannes Köbler</span></a> at the Computer Science Department of the Humboldt University in Berlin (My old <a href="http://www.informatik.hu-berlin.de/forschung/gebiete/algorithmenII/mitarbeiter/smueller"><span style='color:#051C2C; text-decoration:none;text-underline:none'> Homepage</span></a>). </span></a> <br> My research interests are Logics, Proof Complexity and Bounded Arithmetic. <ul style='margin-top:0cm' type=disc> <li class=MsoNormal style='color:#030EE7;mso-list:l1 level1 lfo3; tab-stops:list 36.0pt'> <b> <a href="publications.html"> <span style='color:#555'>Publications </span> </a><o:p></o:p> </b> </li> <li class=MsoNormal style='color:#030EE7;mso-list:l1 level1 lfo3; tab-stops:list 36.0pt'><b> <a href="talks.html"> <span style='color:#555'>Conference Talks </span> </a> <o:p></o:p> </b> </li> <li class=MsoNormal style='color:#030EE7;mso-list:l1 level1 lfo3; tab-stops:list 36.0pt'><b> <a href="http://www.karlin.mff.cuni.cz/~muller/cvNEW.pdf"> <span style='color:#555'>Curriculum Vitae</span> </a> and <a href="http://www.karlin.mff.cuni.cz/~muller/Research Statement April 2012.pdf"> <span style='color:#555'>Research Statement </span> <o:p></o:p> </b> </li> </ul> <p> <b> <br> <span style='font-size:10.0pt;font-family:"Calibri","sans-serif"; color:#051C2C'>Contact</span> </b> <p style='margin-left:36.0pt'> <i>Charles University <br> <a href="http://www.karlin.mff.cuni.cz/katedry/ka/">Department of Algebra </a> <br> Faculty of Mathematics and Physics</i> <br> <i>Sokolovska 83</i> <br> <i> 186 75 Praha 8<br>Czech Republic</i> <br> <i>Email: muller "at" karlin.mff.cuni.cz </i> </p> </div> </div> <hr> <center> </center> </div> <!--container--> <center> <div id="bottom"> <a href="index.html"> Home</a> | <a href="publications.html"> Publications</a> | <a href="talks.html"> Conference Talks</a> | <a href="http://www.karlin.mff.cuni.cz/~muller/cvNEW.pdf">CV</a> | <a href="http://www.karlin.mff.cuni.cz/~muller/Research Statement April 2012.pdf">Research</a> </div> </center> <p class=MsoNormal><o:p> </o:p></p> <p class=MsoNormal><XSSCleaned_script/><o:p></o:p> </p> </body></html>