Mitchell L. Neilsen
Warren and Gisela Kennedy - Carl and Mary Ice Keystone Research Scholar
Professor
Professor
Department of Computer Science
Kansas State University
Manhattan, Kansas, USA
Manhattan, Kansas, USA
Research Interests
Cyber-Physical Systems: Design, Analysis, Verification;Distributed Systems: Algorithms, Design, Analysis;
Scientific Computing: Computational Fluid Dynamics, Finite Element Analysis, High Performance Computing, Simulation;
Applications Areas: Agriculture, Dam Safety, Mobile Apps, Natural Resources, Real-time Embedded Systems;