The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL)
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Youngjae Moon
Pingumaniac
Leveling Up with OMSCS @ Georgia Tech | M.Sc. in CS @ Vanderbilt
Georgia Institute of Technology Nashville, TN
Anne Tumlin
atumlin
👋 Hello! I'm Anne Tumlin, a Ph.D. student in Computer Science at Vanderbilt University. I specialize in formal methods of verification and AI in power systems.
FermiQ
FermiQ
Im an intergalactic dust particle; hanging on a limited lifespan; anticipating a lightYr. old ray of luv 2 consummate with QFT; QT; Statistical Probabilistic QC
Neutrino
Michele Colledanchise
miccol
My principal interests lie in Behavior Trees, Artificial Intelligence, and Automated Planning.
@aeolusbot Genoa
Linda Lamouchi
LindaLamouchi
“You only live once, but if you do it right, once is enough.” - Mae West
Tunisia