Rose Bohrer -

Registered user since Thu 21 Sep 2023

Name:Rose Bohrer

Country:Japan

Affiliation:National Institute of Advanced Industrial Science and Technology (AIST), Japan

GitHub: https://github.com/rbohrer

Research interests:Theorem proving, cyber physical systems, human computer interaction, PL education

Contributions

2026

FLOPS

Author of Demonic Dynamic Logic Programming within the FLOPS 2026-track

FM

Author of Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking within the Research Track-track

POPL

Committee Member in Program Committee within the POPL-track

2025

SPLASH

Committee Member in Program Committee within the FARM-track

2024

SPLASH

2023

PLMW

Author of Mental Health Mentoring for PL Students within the PLMW '23-track

SPLASH

Author of Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation within the SPLASH-E-track

FARM

Author of Homotopy Type Theory for Sewn Quilts within the FARM 2023-track