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.
