Skip to content

Users following iFR-OFC

@wenqing-2021
Jay wenqing-2021
M.E. in Hunan University, B.E. in Dalian University of Technology. Keep passion for Robotics and Autonomous Driving.

Hunan University shanghai, china

@JianqiangDing
jianqiang JianqiangDing
Formal Methods, Control Theory

Aalto University Finland

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@nhcho91
Namhoon Cho nhcho91

Cranfield University

@SCLiao47
Shih-Chi Liao SCLiao47
Ph.D. student interested in control theory, dynamical systems, and optimization methods.

University of Michigan - Electrical and Computer Engineering (ECE)