TRACLabs
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Holly Dinkel
hollydinkel
Aerospace Engineering Ph.D. Candidate at UIUC and NSTGRO Fellow. I lead the @RMDLO project.
@RMDLO Urbana, IL
Igor Luppi
igorluppi
Flight/Embedded Software Engineer - Bachelor in Computer Engineering by the Institute of Science and Technology - UNIFESP.
@visionaspace São José dos Campos - SP
Bruno Moura
BrunoBMoura
Embedded Software Engineer - Bachelor in Computer Engineering by the Institute of Science and Technology - UNIFESP.
Federal University of São Paulo | UNIFESP São José dos Campos, SP-Brazil
Rui Zhang
TwilightZrui
Major in perceptive locomotion of legged robotics.
Zhejiang University Beijing
Tobit Flatscher
2b-t
Robotics, real-time and high-performance computing, fluid mechanics;
Mainly working with C++ and ROS 2 on Ubuntu;
GPG: 0x59E8CD22B9FF470B
University of Oxford Oxford, United Kingdom
