ARIA Systems Group
Henry Moore
henrygerardmoore
CU Boulder Aerospace Engineering BS and Chinese Minor (2020), Autonomous Systems MS (2021); Robotics Engineer @PickNikRobotics
PickNik Robotics Boulder, CO
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
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
