Profile picture

Robotics PhD Candidate

Ann Arbor, MI, USA

chenjw [at] umich (dot) edu
Twitter: @jchenrobotics
GitHub: jchen-cs
Google Scholar

About Me

I’m a fourth-year Robotics PhD Candidate at the University of Michigan, advised by Jean-Baptiste Jeannin in the MARVL group. My research revolves around designing more reliable embedded systems, whether they are roving around on wheels, thrusted by propellers, or worn by migratory birds. Recently, my interest has been in applying formal methods to robotics and robotics-adjacent applications. Outside of research, I enjoy growing unique and interesting houseplants, playing the piano, and volunteering at robotics competitions. I have also designed and built a small fleet of remote-controlled aircraft, and currently maintain an electronics prototyping lab.


Work Experience


, , ,
An Open-Source Platform for Sub-g, Sub-µA Data Loggers
In Animal Biotelemetry,2023.
, , , , , , , , ,
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
In Formal Techniques in Safety-Critical Systems (FTSCS),2022.
, , ,
Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic
In International Conference on Embedded Software (EMSOFT),2022.
, ,
Simulation-Based Validation of Activity Logger Data for Animal Behavior Studies
In Animal Biotelemetry,2021.