FACTSLAB
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Steven A. Silva
sasilva1998
Cardiff University TA and PhD Student @CardiffUniversityComputationalRobotics // Mechatronics engineer // @FunPythonEC co-founder // MicroPython-ROS
FunPython Guayaquil, Ecuador
Yi-Hsuan Chen
yi-hsuan-chen
PhD student at University of Maryland, College Park. Originally from Taiwan :))
College Park
Kai Rao
Rao-Kai
Robotics, Planning, Optimization and Control
East China University of Science and Technology Shanghai
Sungwook Cho
swcho84
Ph.D. in Aerospace Engineering,
Assistant Professor,
Major of Aeronautical and Mechanical Engineering, Division of Aeronautics,
Cheongju University
Cheongju University Cheongju, Chungbuk, South Korea
Luke Baird
lukeb2014
Electrical and Computer Engineering PhD student at Georgia Institute of Technology, Atlanta, GA
Georgia Tech Atlanta, GA
Frederik Baymler Mathiesen
Zinoex
PhD student in ML @ TU Delft,
Previously: UC Berkeley, Aalborg University, Topics:
probabilistic verification, Bayesian neural networks, barrier functions
TU Delft Netherlands
