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;