Michael Sipser

Michael Sipser, 2013

Michael Fredric Sipser (* 17. September 1954) ist ein US-amerikanischer Informatiker.

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 IBM, 1985/96 war er Gastwissenschaftler in Berkeley und 1988 an der Hebräischen Universität (als Lady Davis Fellow).

Sipser beschäftigt sich mit Komplexitätstheorie, worüber er ein Standardwerk<ref>Richard Lipton in seinem Blog</ref> schrieb, mit Interaktiven Beweissystemen, Algorithmen, Quanteninformatik und effizienten fehlerkorrigierenden Codes. 1978 bewies er mit David Lichtenstein, dass das 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, <templatestyles src="Webarchiv/styles.css" />{{#if:20100705193033

      | {{#ifeq: 20100705193033 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Vortrag | {{#invoke:WLink|getEscapedTitle|Vortrag}} | {{#invoke:Webarchiv|getdomain|http://gauss.claymath.org:8888/public_lectures/sipser.php}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20100705193033}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Vortrag | {{#invoke:WLink|getEscapedTitle|Vortrag}} | {{#invoke:Webarchiv|getdomain|http://gauss.claymath.org:8888/public_lectures/sipser.php}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20100705193033}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Vortrag | {{#invoke:WLink|getEscapedTitle|Vortrag}} | {{#invoke:Webarchiv|getdomain|http://gauss.claymath.org:8888/public_lectures/sipser.php}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Vortrag | {{#invoke:WLink|getEscapedTitle|Vortrag}} | {{#invoke:Webarchiv|getdomain|http://gauss.claymath.org:8888/public_lectures/sipser.php}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Vortrag | {{#invoke:WLink|getEscapedTitle|Vortrag}} | {{#invoke:Webarchiv|getdomain|http://gauss.claymath.org:8888/public_lectures/sipser.php}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Vortrag | {{#invoke:WLink|getEscapedTitle|Vortrag}} | {{#invoke:Webarchiv|getdomain|http://gauss.claymath.org:8888/public_lectures/sipser.php}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20100705193033|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://gauss.claymath.org:8888/public_lectures/sipser.php}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: Vortrag
    | {{#if: {{#invoke:WLink|isBracketedLink|Vortrag}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://gauss.claymath.org:8888/public_lectures/sipser.php%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://gauss.claymath.org:8888/public_lectures/sipser.php%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://gauss.claymath.org:8888/public_lectures/sipser.php }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}</ref>

Er ist seit 2009 Mitglied der American Academy of Arts and Sciences. Er ist Fellow der American Mathematical Society.

Zu seinen Doktoranden zählt Lance Fortnow.

Schriften

Sipser Introduction to the theory of computation, PWS Publishing, Boston 1996, 2. Auflage Thomson Course Technology, Boston 2006, ISBN 0-534-94728-X

Weblinks

[{{canonicalurl:Commons:Category:{{#if:|{{{1}}}|Michael Sipser}}|uselang=de}} Commons: {{#if:|{{{2}}}|{{#if:|{{{1}}}|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if:

    | {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – }}{{#if:

   | {{#ifeq: {{#invoke:Str|left||9}} 
       | category:

| FEHLER: Ohne Category: angeben!}}}}

Vorlage:Wikidata-Registrierung

Einzelnachweise

{{#ifeq: p | p | | {{#if: 131513176n/95/7917891421494 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 131513176n/95/7917891421494 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 131513176 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 131513176 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/95/79178 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/95/79178 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 91421494 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 91421494 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Sipser, Michael | {{#if: Sipser, Michael Fredric (vollständiger Name) | {{#if: US-amerikanischer Informatiker | {{#if: 17. September 1954 | {{#if: | {{#if: | {{#if: |

Personendaten
NAME	Sipser, Michael }}
ALTERNATIVNAMEN	Sipser, Michael Fredric (vollständiger Name) }}
KURZBESCHREIBUNG	US-amerikanischer Informatiker }}
GEBURTSDATUM	17. September 1954 }}
GEBURTSORT	}}
STERBEDATUM	}}
STERBEORT	}}

Vorlage:Wikidata-Registrierung