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
Using general profile