Nascita | 13 settembre 1942 |
---|---|
Nazionalità | Britannico |
le zone | informatica teorica |
Istituzioni | Università di Warwick |
Formazione | università di Cambridge |
Supervisore | David park |
Studenti di dottorato | Leslie Valiant e altri sei |
Rinomato per la | vermi paterson , germogli |
Premi |
Premio Dijkstra (2001) Premio EATCS (2006) |
Complementi
Presidente di EATCS (1977-1979)
Michael Stewart "Mike" Paterson , nato nel 1942, è un teorico informatico britannico specializzato nella progettazione e analisi di algoritmi e nella teoria della complessità . È anche famoso come inventore di giochi, come i versi oi germogli di Paterson .
Paterson ha studiato all'Università di Cambridge , dove nel 1967 ha difeso una tesi sotto la supervisione di David Park dal titolo "Problemi di equivalenza in un modello di computazione". Era poi un ricercatore post-dottorato presso il Massachusetts Institute of Technology . Dal 1971 è stato professore di informatica presso l' Università di Warwick . Ha diretto il Center for Discrete Mathematics and its Applications fino al 2007 ed è stato direttore del dipartimento di informatica nel 2005. Dal 1977 al 1999 è stato presidente della European Association for Theoretical Computer Science (EATCS).
Paterson lavora nel campo dell'informatica teorica , in particolare nella progettazione e analisi di algoritmi, nonché nella teoria della complessità . Ha contribuito a lavorare in teoria del linguaggio , algoritmica distribuita e teoria degli automi . Tra i suoi studenti c'è Leslie Valiant . È coautore di un libro sui gruppi automatici . Ha anche progettato giochi di matematica con John Horton Conway .
Parallelamente al lavoro scientifico, ha lavorato in particolare per lo sviluppo dell'informatica come disciplina scientifica, in particolare come redattore o co-editore di atti di convegni, tra cui: