Aakash Tyagi — Computer Science & Eng. faculty at Texas A&M. Research: High Performance Computing, Hardware Verification, Machine Learning.