The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL)
Youngjae Moon
Pingumaniac
I am a Master's (M.Sc.) computer science student and recipient of an Engineering Graduate Fellowship at Vanderbilt University.
Vanderbilt University 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 fairness research.
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
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
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