A browser IDE + Arduino glove that combines structured speech with finger‑localized haptics to reduce cognitive load in non‑visual code navigation and debugging.

Runtime: Ace Editor with AST‑aware guidance (Acorn), Web Speech + non‑speech cues, Web Serial to an Arduino Mega driving six DRV2605L vibrotactors via I²C multiplexer.

Pilot highlights: improved structural wayfinding and clear next steps around cue consistency and customization.

paper / code / slides

A design‑by‑contract toolkit that parses STL into syntax trees and composes assumptions/guarantees to enforce requirements early in CPS design.

Encoding: prototype translation from STL specs to mixed‑integer constraints for behavior synthesis; supports illustrative examples and poster artifacts.

poster / code

A graphical app that ingests CSV/XLS data, runs quick data‑quality checks, then guides feature/target selection and model training (classification/regression).

Emphasis on responsible defaults: quality checks first, clear evaluation views, approachable UX for non‑programmers.

Flow demo: import → checks → select → train → evaluate → export.

write‑up / demo / code