Aditya Thakur

January 25, 2010

in Student Posts

  • 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:

Previous post:

Next post: