Academic Appointments

Honors & Awards

  • Fellow, Association for Computing Machinery (1996)

Program Affiliations

  • Symbolic Systems Program

Contact

  • Academic
    pratt@cs.stanford.edu
    University - Emeritus faculty Department: Computer Science Position: Emeritus Faculty, Acad Council
    • Gates 4B
    • Room 478
    • Stanford,  California  94305-9045 

Additional Info

  • Mail Code: 9045
  • Profile:
    Algebraic logic, concurrency theory, speech recognition, climate change, control theory.

2023-24 Courses

All Publications

  • Preface ACTA INFORMATICA Hofner, P., Morgan, C., Pratt, V. 2020

    View details for DOI 10.1007/s00236-020-00382-7

    View details for Web of Science ID 000531510100011

  • My time with Rob ACTA INFORMATICA Pratt, V. 2020

    View details for DOI 10.1007/s00236-020-00380-9

    View details for Web of Science ID 000531510100014

  • Towards Fully Autonomous Driving: Systems and Algorithms 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. IEEE. 2011: 163–168

    View details for Web of Science ID 000298736200028

  • Linear Process Algebra 5th International Conference on Distributed Computing and Internet Technologies (ICDCIT) Pratt, V. SPRINGER-VERLAG BERLIN. 2011: 92–111

    View details for Web of Science ID 000296894400006

  • Communes via Yoneda, from an Elementary Perspective FUNDAMENTA INFORMATICAE Pratt, V. 2010; 103 (1-4): 203-218

    View details for DOI 10.3233/FI-2010-325

    View details for Web of Science ID 000285459000011

  • 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 Conference on Multisensor, Multisource Information Fusion Propper, R., Mohajer, K., Pratt, V. SPIE-INT SOC OPTICAL ENGINEERING. 2006

    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

    View details for Web of Science ID 000181016700006

  • The continuum as a final coalgebra 2nd International Workshop on Coalgebraic Methods in Computer Science (CMCS) Pavlovic, D., Pratt, V. ELSEVIER SCIENCE BV. 2002: 105–22

    View details for Web of Science ID 000176133300005

  • Chu spaces from the representational viewpoint ANNALS OF PURE AND APPLIED LOGIC Pratt, V. 1999; 96 (1-3): 319-333

    View details for Web of Science ID 000079234900017

  • COMPUTATIONAL ASPECTS OF THE PENTIUM AFFAIR IEEE COMPUTATIONAL SCIENCE & ENGINEERING Coe, T., Mathisen, T., Moler, C., Pratt, V. 1995; 2 (1): 18-30

    View details for Web of Science ID A1995RB24900004

  • The Stone gamut: A coordinatization of mathematics 10th Annual IEEE Symposium on Logic in Computer Science (LICS 95) Pratt, V. R. I E E E, COMPUTER SOC PRESS. 1995: 444–454

    View details for Web of Science ID A1995BE13E00041

  • Chu spaces and their interpretation as concurrent objects COMPUTER SCIENCE TODAY Pratt, V. 1995; 1000: 392-405

    View details for Web of Science ID A1995BG18S00024

  • GATES ACCEPT CONCURRENT BEHAVIOR 34th Annual Symposium on Foundations of Computer Science (FOCS 93) Gupta, V., Pratt, V. I E E E, COMPUTER SOC PRESS. 1993: 62–71

    View details for Web of Science ID A1993BZ64D00007

  • THE DUALITY OF TIME AND INFORMATION 3RD INTERNATIONAL CONF ON CONCURRENCY THEORY Pratt, V. R. SPRINGER-VERLAG BERLIN. 1992: 237–253

    View details for Web of Science ID A1992BY27A00018

  • ARITHMETIC PLUS LOGIC PLUS GEOMETRY = CONCURRENCY 1ST LATIN AMERICAN SYMP ON THEORETICAL INFORMATICS ( LATIN 92 ) Pratt, V. SPRINGER-VERLAG BERLIN. 1992: 430–447

    View details for Web of Science ID A1992BW86H00036

  • ARITHMETIC PLUS LOGIC PLUS GEOMETRY = CONCURRENCY LECTURE NOTES IN COMPUTER SCIENCE Pratt, V. 1992; 583: 430-447

    View details for Web of Science ID A1992JX27300036

  • TEMPORAL STRUCTURES LECTURE NOTES IN COMPUTER SCIENCE CASLEY, R., CREW, R. F., Meseguer, J., Pratt, V. 1989; 389: 21-51

    View details for Web of Science ID A1989AV19900003

  • MODELING CONCURRENCY WITH PARTIAL ORDERS INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING Pratt, V. 1986; 15 (1): 33-71

    View details for Web of Science ID A1986F928500002

  • 2-WAY CHANNEL WITH DISCONNECT LECTURE NOTES IN COMPUTER SCIENCE Pratt, V. 1985; 207: 110-111

    View details for Web of Science ID A1985AXH9200007

  • 2-WAY CHANNEL WITH DISCONNECT LECTURE NOTES IN COMPUTER SCIENCE Roscoe, A. W., Pratt, V. 1985; 207: 101-102

    View details for Web of Science ID A1985AXH9200005

  • THE POMSET MODEL OF PARALLEL PROCESSES - UNIFYING THE TEMPORAL AND THE SPATIAL LECTURE NOTES IN COMPUTER SCIENCE Pratt, V. 1985; 197: 180-196

    View details for Web of Science ID A1985ATV8600009