Name:Rose Bohrer

Country:Japan

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

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