scope-lab-vu
Mehdi Khaleghian
mkhaleghian
PhD in Computer Science,
Postdoctoral Research Fellow
The University of Tennessee US
Youngjae Moon
Pingumaniac
Naval Science and Technology Research Soldier | M.Sc. in CS @ Vanderbilt
Incheon, South Korea
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Aryaman Sharma
aryamansharma01
Research Intern @ Vanderbilt University
CS senior @ NSIT Delhi
Delhi, India
