Academic Appointments


Honors & Awards


  • Fellow, Association for Computing Machinery (1996)

2013-14 Courses


Journal Articles


  • Towards Fully Autonomous Driving: Systems and Algorithms 2011 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV) Levinson, J., Askeland, J., Becker, J., Dolson, J., Held, D., Kammel, S., Kolter, J. Z., Langer, D., Pink, O., Pratt, V., Sokolsky, M., Stanek, G., Stavens, D., Teichman, A., Werling, M., Thrun, S. 2011: 163-168
  • Linear Process Algebra DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY Pratt, V. 2011; 6536: 92-111
  • 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

  • CommonSense: A preprocessing system to identify errors in large transcribed corpora MULTISENSOR, MULTISOURCE INFORMATIN FUSION: ARCHITECTURES, ALGORITHMS, AND APPLICATIONS 2006 Propper, R., Mohajer, K., Pratt, V. 2006; 6242

    View details for DOI 10.1117/12.663836

    View details for Web of Science ID 000239225800011

  • Chu spaces as a semantic bridge between linear logic and mathematics THEORETICAL COMPUTER SCIENCE Pratt, V. 2003; 294 (3): 439-471
  • The continuum as a final coalgebra THEORETICAL COMPUTER SCIENCE Pavlovic, D., Pratt, V. 2002; 280 (1-2): 105-122
  • 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
  • The Stone gamut: A coordinatization of mathematics TENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS Pratt, V. R. 1995: 444-454
  • 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
  • THE DUALITY OF TIME AND INFORMATION CONCUR 92 Pratt, V. R. 1992; 630: 237-253
  • 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

Conference Proceedings