My research interests include Formal Verification of Cyber-Physical Systems, Computer Vision and Natural Language Processing.
My Personal Page: https://dwil2444.github.io/- Pursuing PhD in Computer Science at UVA
Languages and Frameworks:
Thanks to anuraghazra for the GitHub stats!