If only numbers could answer all questions of life, no one would take chances and become rich. If you think about it, the mere existence of almighty is probabilistic.. Then how can anything derived from Him be deterministic? A probability theory enthusiast, Abhinav Aggarwal is a research assistant at UNM, working with Prof. Deepak Kapur on formal verification of programs that have access to random number generators, commonly known as probabilistic programs. The aim is to be able to use or develop a sound and complete logic for such programs and then automate the verification process using techniques similar to the ones that exist for purely deterministic counterparts. His other research interests include complexity theory and randomized algorithms.
Apart from his time doing research, Abhinav also likes to play his violin and paint using oils and charcoal. He is also an active member of the Indian Student Association at UNM and the CSGSA team. He literally worships the writings of Prof. Donald Knuth, the most celebrated personality in computer science today, and hopes to be able to learn from his endless techniques and ideas. After all, knowledge is best gained through sharing and trying without a fear of failure.