My research falls into the general area of software engineering. Please click the links below for specific topics: Software Testing with Temporal Logics; Cloud-based Decision Support and Automation for Precision Agriculture; Self-Adaptive Software; Formal modeling and analysis of supply chains.
