Expertise

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;

Neilsen’ s research activities are currently focused in the areas of cyber-physical systems, scientific computing – finite element analysis and computational fluid dynamics with a focus on thermal battery modeling and dam safety research, mobile applications, and high-throughput phenotyping.

Research keywords:

  • Cyber-physical system, real-time embedded systems, scientific computing, distributed systems, high performance computing

Current Research Projects:

  • Scientific Computing:
    • WinDAM - Embankment dam breach processes
    • Internal erosion model validation
    • TABS - Thermally-activated battery simulator
    • Language translators for legacy USDA software
  • Distributed Algorithms and Systems:
    • Synchronization primitives and distributed algorithms
    • Model checking distributed and real-time algorithms
    •  Byzantine and stochastic model checking
  • Cyber-Physical Systems:
    • Single seed analysis - system and algorithms
    •  CAN controllers - security and analysis
    • Building control systems - safety and security.
Affiliations
Communities
Management Information Systems, Information Science/Systems, Computer Science
Degrees
PhD, Kansas State University, Computer Science, 1992
MS, Kansas State University, Computer Science, 1989
MS, Kansas State University, Mathematics, 1987
BS, University of Nebraska-Kearney, Mathematics Education, 1982
Keywords
computer and information sciences information science or systems