Software / Tools / Systems
- WReSTT: Web-based testing tool for teaching software testing.
- Model-Based Testing Platforms: Android and CPS system test environments.
- Runtime Verification Systems: For robotics and embedded systems.
- AI-enhanced Adaptive Learning Tools: NSF-funded educational research tools.
- SMT Solvers: Used for intelligent system analysis and formal verification.
- Maude: Used for smart contract verification in blockchain research.