معرفی
James Lathrop is an Associate Professor in the Department of Computer Science at Iowa State University with affiliations in the Laboratory for Molecular Programming. His research focuses on molecular programming, chemical reaction networks, and formal verification methods applied to biological systems. He holds a Ph.D. in Computer Science (Iowa State University, 1997), M.S. in Computer Science (Iowa State, 1994), and prior degrees in Electrical Engineering.
Education:
- Ph.D. Computer Science, Iowa State University, 1997
- M.S. Computer Science, Iowa State University, 1994
- M.S. Electrical and Computer Engineering, University of California Irvine, 1987
- B.S. Electrical Engineering, California State University Long Beach, 1983
Research interests include developing programming languages for molecular systems, verification of biochemical processes, and fault localization in molecular computing. Recent work emphasizes imperative and functional approaches to chemical reaction network control, with applications in nanotechnology and systems biology.
Publications from 2023-2024 demonstrate focus on verification techniques for chemical systems, molecular programming languages, and formal methods applied to biochemical networks. No scientific awards are explicitly listed in the provided information.
Advising and grants details are not specified here. Active participation in the Laboratory for Molecular Programming reflects ongoing collaborative work in this domain.
