- Second year PhD candidate, Computer Sciences department
- Interested in developing tools and techniques to make the process of developing, deploying and executing software more reliable, efficient and fun.
- Currently, working with Prof. Tom Reps on program verification, in particular verifying security properties of stripped program binaries.
- Also worked with Prof. Ben Liblit and Prof. Shan Lu on dynamic analysis to find root causes of concurrency bugs.
- Before joining UW, I got my Masters from the Indian Institute of Science, Bangalore and worked for a year at Microsoft Research India.
- Interested in applying visualization techniques to better understand the behavior of the verification algorithms we develop.
- Comfortable with C, C++, Java, C#, OCaml,…
- Website: http://cs.wisc.edu/~adi
Aditya Thakur
Previous post: Nate Vack
Next post: Chaman Singh Verma