Kuldeep Singh Meel, a doctoral student in computer science at Rice University, has won the 2014 Outstanding Master Thesis Award presented by the Vienna Center for Logic and Algorithms for his thesis titled “Sampling Techniques for Boolean Satisfiability.”