About me

Cole Vick is recent graduate from Northeastern University with a degree in Computer Science and Philosophy. He currently works as a Research Assistant under the advisement of Dr. Stavros Tripakis and Dr. Eunsuk Kang. His work focuses on synthesis, model checking, and counter-example trace evaluation.