Muhammad Adeel Khan
Adeel has an undergrad from FAST-NU, and holds a Master from LUMS. He was involved in researching and coding programs having bugs caused due to their multithreaded nature, and how to reduce state space for such programs. He was involved in enhancing KLEE (symbolic executor) so that it can do symbolic execution on programs running on multiple threads (pthreads), plus using a scheme to reduce thread interleaving space for threads. His research interest includes program analysis, distributed software, network security.