Batista Computing Lab
The BC Lab explores practical applications of computers. Recent projects have focused on machine learning use on low-power embedded systems and developing CS education tools.
Recent Publications
(2024).
SAFER: Safety Assurances for Emergent Behavior.
In D&T.
(2023).
LOCoCAT: Low-Overhead Classification of CAN Bus Attack Types.
In ESL.
(2023).
Reasoning About Emergent Behaviors at Runtime.
PhD Thesis.
Thanks!
People, orgs, and companies below help our lab run smoothly 😄
