Academic Appointments


Honors & Awards


  • Fellow, Association for Computing Machinery (1996)

Program Affiliations


  • Symbolic Systems Program

2019-20 Courses


All Publications


  • Communes via Yoneda, from an Elementary Perspective FUNDAMENTA INFORMATICAE Pratt, V. 2010; 103 (1-4): 203-218
  • Stanley: The robot that won the DARPA Grand Challenge JOURNAL OF FIELD ROBOTICS Thrun, S., Montemerlo, M., Dahlkamp, H., Stavens, D., Aron, A., Diebel, J., Fong, P., Gale, J., Halpenny, M., Hoffmann, G., Lau, K., Oakley, C., Palatucci, M., Pratt, V., Stang, P., Strohband, S., Dupont, C., Jendrossek, L., Koelen, C., Markey, C., Rummel, C., van Niekerk, J., Jensen, E., Alessandrini, P., Bradski, G., Davies, B., Ettinger, S., Kaehler, A., Nefian, A., Mahoney, P. 2006; 23 (9): 661-692

    View details for DOI 10.1002/rob.20147

    View details for Web of Science ID 000246146900004

  • Chu spaces as a semantic bridge between linear logic and mathematics THEORETICAL COMPUTER SCIENCE Pratt, V. 2003; 294 (3): 439-471
  • Chu spaces from the representational viewpoint ANNALS OF PURE AND APPLIED LOGIC Pratt, V. 1999; 96 (1-3): 319-333
  • COMPUTATIONAL ASPECTS OF THE PENTIUM AFFAIR IEEE COMPUTATIONAL SCIENCE & ENGINEERING Coe, T., Mathisen, T., Moler, C., Pratt, V. 1995; 2 (1): 18-30
  • Chu spaces and their interpretation as concurrent objects COMPUTER SCIENCE TODAY Pratt, V. 1995; 1000: 392-405
  • ARITHMETIC PLUS LOGIC PLUS GEOMETRY = CONCURRENCY LECTURE NOTES IN COMPUTER SCIENCE Pratt, V. 1992; 583: 430-447
  • ARITHMETIC PLUS LOGIC PLUS GEOMETRY = CONCURRENCY 1ST LATIN AMERICAN SYMP ON THEORETICAL INFORMATICS ( LATIN 92 ) Pratt, V. SPRINGER-VERLAG BERLIN. 1992: 430–447
  • TEMPORAL STRUCTURES LECTURE NOTES IN COMPUTER SCIENCE CASLEY, R., CREW, R. F., Meseguer, J., Pratt, V. 1989; 389: 21-51
  • MODELING CONCURRENCY WITH PARTIAL ORDERS INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING Pratt, V. 1986; 15 (1): 33-71
  • 2-WAY CHANNEL WITH DISCONNECT LECTURE NOTES IN COMPUTER SCIENCE Pratt, V. 1985; 207: 110-111
  • 2-WAY CHANNEL WITH DISCONNECT LECTURE NOTES IN COMPUTER SCIENCE Roscoe, A. W., Pratt, V. 1985; 207: 101-102
  • THE POMSET MODEL OF PARALLEL PROCESSES - UNIFYING THE TEMPORAL AND THE SPATIAL LECTURE NOTES IN COMPUTER SCIENCE Pratt, V. 1985; 197: 180-196