https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Michael_SipserMichael Sipser - Versionsgeschichte2026-06-01T22:50:11ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Michael_Sipser&diff=2061433&oldid=previmported>Aka: Commons hinzugefügt, Kleinkram2025-01-09T18:52:36Z<p>Commons hinzugefügt, Kleinkram</p>
<p><b>Neue Seite</b></p><div>[[Datei:MIT-Science Sipser Michael.jpg|mini|Michael Sipser, 2013]]<br />
'''Michael Fredric Sipser''' (* [[17. September]] [[1954]]) ist ein US-amerikanischer [[Informatik]]er.<br />
<br />
Sipser studierte Mathematik an der [[Cornell University]] (Bachelor 1974) und wurde 1980 an der [[University of California, Berkeley]] bei [[Manuel Blum]] in Informatik promoviert (''Nondeterminism and the Size of Two-Way Finite Automata''). Er ist Professor für Angewandte Mathematik am [[Massachusetts Institute of Technology]], wo er seit 1980 ist und 1998 bis 2000 Vorstand der Fakultät für Angewandte Mathematik war und seit 2004 Vorstand der Fakultät für Mathematik ist. 1980 war er in der Forschung bei [[International Business Machines|IBM]], 1985/96 war er Gastwissenschaftler in Berkeley und 1988 an der [[Hebräische Universität|Hebräischen Universität]] (als Lady Davis Fellow).<br />
<br />
Sipser beschäftigt sich mit [[Komplexitätstheorie]], worüber er ein Standardwerk<ref>[http://rjlipton.wordpress.com/2009/03/07/finite-state-automata-binary-decision-diagrams-and-presburger-arithmetic/ Richard Lipton in seinem Blog]</ref> schrieb, mit [[Interaktives Beweissystem|Interaktiven Beweissystemen]], Algorithmen, [[Quanteninformatik]] und effizienten fehlerkorrigierenden Codes. 1978 bewies er mit David Lichtenstein, dass das Spiel [[Go (Spiel)|Go]] in die Komplexitäts-Klasse [[PSPACE]] fällt.<ref>Proc.19.Annual Symposium Foundation Computer Science, IEEE 1978</ref> Er beschäftigt sich mit dem [[P-NP-Problem]].<ref>zum Beispiel Clay Public Lecture ''Beyond Computation'', Harvard 2006, {{Webarchiv|url=http://gauss.claymath.org:8888/public_lectures/sipser.php |wayback=20100705193033 |text=Vortrag }}</ref><br />
<br />
Er ist seit 2009 Mitglied der [[American Academy of Arts and Sciences]]. Er ist Fellow der [[American Mathematical Society]].<br />
<br />
Zu seinen Doktoranden zählt [[Lance Fortnow]].<br />
<br />
== Schriften ==<br />
* Sipser ''Introduction to the theory of computation'', PWS Publishing, Boston 1996, 2. Auflage Thomson Course Technology, Boston 2006, ISBN 0-534-94728-X<br />
<br />
== Weblinks ==<br />
{{Commonscat}}<br />
* [http://www-math.mit.edu/people/profile?pid=251 Homepage am MIT]<br />
* {{MathGenealogyProject|id=64971}}<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=131513176|LCCN=n/95/79178|VIAF=91421494}}<br />
<br />
{{SORTIERUNG:Sipser, Michael}}<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Wissenschaftler der Quanteninformatik]]<br />
[[Kategorie:Hochschullehrer (Massachusetts Institute of Technology)]]<br />
[[Kategorie:Mitglied der American Academy of Arts and Sciences]]<br />
[[Kategorie:Fellow der American Mathematical Society]]<br />
[[Kategorie:US-Amerikaner]]<br />
[[Kategorie:Geboren 1954]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Sipser, Michael<br />
|ALTERNATIVNAMEN=Sipser, Michael Fredric (vollständiger Name)<br />
|KURZBESCHREIBUNG=US-amerikanischer Informatiker<br />
|GEBURTSDATUM=17. September 1954<br />
|GEBURTSORT=<br />
|STERBEDATUM=<br />
|STERBEORT=<br />
}}</div>imported>Aka