conf.researchr.org / Rose Bohrer
No Photo

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