Rose Bohrer
Researcher at National Institute of Advanced Industrial Science and Technology (AIST)
Worcester, Massachusetts, Japan
Summary
👤
Senior🎓
Top SchoolRose Bohrer is an interdisciplinary researcher and educator with 12 years of experience at the intersection of formal methods, programming language theory, and human–computer interaction. Currently a researcher at AIST in Tokyo Waterfront and an assistant professor at Worcester Polytechnic Institute, she blends rigorous formal verification work—especially for cyber-physical systems—with HCI interests like game studies and trans issues. Her background includes PhD-level research at Carnegie Mellon, practical OCaml development at Jane Street, and hands-on undergraduate teaching and course design. Known for bridging theory and practice, she pursues verifiable, human-centered systems and brings uncommon depth in both metatheory and classroom pedagogy.
12 years of coding experience
11 years of employment as a software developer
Computer Science, Computer Science at Drexel UniversityDoctor of Philosophy - PhD, Computer Science, N/A, Doctor of Philosophy - PhD, Computer Science, N/A at Carnegie Mellon University
English, Chinese
Github Skills (17)
axiom10
mathematica10
verification10
dynamical-systems10
proof10
tactics10
scala10
differential-equations10
tactical10
theorem10
hybrid9
theorem-proving9
fortran4
simple-framework3
logic2
Programming languages (3)
Github contributions (5)
rbohrer/pl-course
Jan 2023 - Feb 2025
Contributions:142 pushes in 2 years 1 month
rbohrer/ocaml-krb
May 2015 - Apr 2017
Contributions:22 commits, 16 pushes, 1 branch in 1 year 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.