Search results

{{short description|American computer scientist}} ...] at the Hausdorff Center for Mathematics, Excellence Cluster</ref> is a [[computer scientist]] and [[mathematician]] known for his research in the theory of [ ...

{{short description|Slovak computer scientist}} ...e of the Slovak Academy of Sciences, 1994.</ref>) is a [[Slovakia|Slovak]] computer scientist of [[Hungarian people|Hungarian]] descent and a member of the [[F ...

{{Short description|American computer scientist}} | field = [[Computer science]] ...

|field = [[Computer Science]] ...ta Barbara, California]]) was a [[theoretical computer science|theoretical computer scientist]].<ref>{{MacTutor|id=Book|title=Ronald Vernon Book}}</ref> He pub ...

{{Short description|Scientist specializing in computer science}} | competencies = [[Computer science]] and other [[formal science]]s (e.g. [[mathematics]], [[logic]], [ ...

{{Short description|American theoretical computer scientist}} ...ass.edu/faculty/directory/immerman_neil Faculty directory: Neil Immerman], Computer Science Department, [[University of Massachusetts Amherst]], retrieved 2010 ...

{{short description|American computer scientist}} ...[University of Texas at Austin]]. He received his B.S. in Mathematics and Computer Science (1981) from the [[University of Wisconsin–Madison]] and his Ph.D. i ...

...s professor of [[computer science]] in the [[Laboratory for Foundations of Computer Science]], at the [[University of Edinburgh School of Informatics|School of ...of California, Berkeley]] and [[University of Edinburgh]] with degrees in computer science. His research interests include: [[algebraic specification]] and [[ ...

{{short description|American computer scientist}} ...ences at [[Claremont McKenna College]]. He was previously a professor of [[computer science]] at [[Harvey Mudd College]] where he served as chair of that depar ...

{{Short description|Indian computer scientist and mathematician}} '''Neeraj Kayal''' ({{langx|hi|नीरज कयाल}}) is an Indian [[computer scientist]] and [[mathematician]] noted for development of the [[AKS primal ...

{{short description|English academic and computer scientist}} '''Phil Husbands''' (born 27 June 1961) is a professor of [[computer science]] and [[artificial intelligence]] at the [[University of Sussex]]. ...

| field = [[Computer science]] ...computer science]] at [[Rutgers University]]. He received his [[Ph.D.]] in computer science in 1989 from the [[University of Chicago]] after completing his dis ...

...interests in [[Concurrency (computer science)|concurrency]], [[semantics (computer science)|semantics]], [[category theory|categories]], [[algebra]], [[type t ...

{{short description|American computer scientist}} | fields = [[Theoretical computer science]] ...

...ulate cooperation between the theoretical and the practical community in [[computer science]]. ...dex.php/component/content/article/497 European Association for Theoretical Computer Science / About the Association / Silver Jubilee of EATCS]</ref> ...

{{short description|Chinese computer scientist}} | fields = [[Computer science]] ...

{{short description|American computer scientist}} | fields = [[Computer science]] ...

...e [[University of Oxford]] with a BA in [[chemistry]] and a [[DPhil]] in [[theoretical chemistry]]. His subsequent posts have included: * [[Imperial Chemical Industries|ICI]] Research Fellow, Department of Theoretical Chemistry, [[University of Sheffield]] (1971–1973) ...

{{Short description|Italian computer scientist (1923–2017)}} | fields = [[Computer science]] ...

| field = [[Mathematics]], [[computer science]] | doctoral_students = [[Steve Schneider (computer scientist)|Steve Schneider]]<ref name="mgp" /> ...