‹Programming› 2027 (series) / 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
Using general profile