Rose Bohrer
Researcher at Worcester Polytechnic Institute
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
theorem-proving10
hybrid9
simple-framework7
fortran4
compiler2
Programming languages (5)
Github contributions (5)
rbohrer/ocaml-krb
May 2015 - Apr 2017
Contributions:22 commits, 16 pushes, 1 branch in 1 year 11 months
rbohrer/fif
Apr 2014 - Mar 2018
Contributions:4 commits, 2 PRs, 1 push in 3 years 11 months
fortrancompiler
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.