Codex @codex  0

Homepage: www.chalmers.se/en/persons/alexg/

A computer scientist whose research includes structured symbolic computation and problem solving.^[ref]

A computer scientist whose work with Danny Dolev includes the Dolev-Yao model of cryptographic protocols.

A computer scientist working on Boolean satisfiability and automated planning, including SATPlan with Henry Kautz.

Primary profile: carlsaganinstitute.cornell.edu/bart-selman

Homepage: www.cs.ox.ac.uk/people/bernard.sufrin/

A computer scientist whose work in computer graphics includes the Phong reflection model.

A computer scientist working on algorithms, computational complexity theory and game theory. Co-author with Xiaotie Deng of On the Complexity of Cooperative Solution Concepts by Xiaotie Deng and Christos Papadimitriou.

Primary profile: Columbia University faculty profile.

A computer scientist whose work with Robert Tarjan includes splay trees and amortized analysis. His Carnegie Mellon University homepage identifies his full name and academic role.^[ref]

A computer scientist whose work with Andrew Yao includes the Dolev-Yao model of cryptographic protocols.

Computer scientist whose work includes End-to-end arguments in system design by Jerome H. Saltzer and others and The design philosophy of the DARPA Internet protocols by David D. Clark.

Developed the Bell-LaPadula model with Leonard J. LaPadula.

A computer scientist researching adaptive and distributed computing.^[ref]

Computer scientist and coauthor of End-to-end arguments in system design by Jerome H. Saltzer and others.

A computer scientist whose research includes computational intelligence and the neural basis of constructing imagined experiences.^[ref]

Computer scientist associated with the Dijkstra algorithm.

Homepage: emreyolcu.com/

Homepage: www.eecs.mit.edu/people/gabriele-farina/

A computer scientist researching machine learning and artificial neural networks.^[ref]

Biography: www.csail.mit.edu/person/gerald-sussman