Director, Network Dynamics and Simulation Science Laboratory
Professor, Virginia Bioinformatics Institute and Department of Computer Science

Professional Preparation
U.S. Navy Aerospace Experimental Psychology, Post Ph.D. certification
California Institute of Technology, Bioinformation Systems/Engineering Science, Ph.D., 1985
California Institute of Technology, Engineering Science, M.S., 1983

Research Interests

Simulation of very large systems; theoretical foundations of simulation; interaction-based systems, computing, and dynamical systems; computational and systems biology; computational problems in epidemiology; cognitive science and computationally aided reasoning; computational economics; infrastructure simulation.

Selected Publications

C. Barrett, R. Jacob, and M.V. Marathe. Formal Language Constrained Path Problems. SIAM J. Computing, 30(3) 2001: 809–837.

C.L. Barrett, H.B. Hunt III, M.V. Marathe, S.S. Ravi, D.J. Rosenkrantz, and R.E. Stearns. Reachability Problems for Sequential Dynamical Systems with Threshold Functions. Invited paper appearing in Theoretical Computer Science, 1–3: 41–64, 2003. Preliminary version appeared in Proc. 26th Mathematical Foundations of Computer Science, LNCS, Vol. 2136, August 2001: 159–172.

C.L. Barrett, H.B. Hunt III, M.V. Marathe, S.S. Ravi, D.J. Rosenkrantz, and R.E. Stearns. On Some Special Classes of Sequential Dynamical Systems. Accepted, Annals of Combinatorics, March, 2003.

Barrett C.L., Mortveit H.S., and Reidys C.M. Elements of a Theory of Simulation V: Phase Space Properties of Sequential Dynamical Systems. Applied Mathematics and Computation: LA-UR-01-3749, Los Alamos National Laboratory.

C.L. Barrett, H.S. Mortveit, and C.M. Reidys. Elements of a Theory of Simulation II: Sequential Dynamical Systems. Applied Mathematics and Computation, December 1999.

Copyright Virginia Bioinformatics Institute © 2005