Gregory Malecha

Gregory Malecha has extensive work experience in various research and industry roles. Gregory started their career as a Software Design Intern at Microsoft in 2006 and worked as a Software Design Intern at Google in 2007. From 2008 to 2015, they pursued their PhD at Harvard School of Engineering and Applied Sciences, where they were a PhD Candidate. During this time, they also worked as a Research Assistant at Rice University from 2004 to 2008. In 2010, Gregory joined Microsoft as a Research Intern, and in 2011, they worked as a Research Intern at SRI International. From 2012 to 2014, they were a Research Assistant at Massachusetts Institute of Technology (MIT). In 2015, they became a Postdoctoral Scholar at the University of California, San Diego. Gregory then transitioned to industry roles, starting as a Lead Data Scientist at Target from 2016 to 2018. At Target, they also served as a Senior Manager for Data Science Optimization. Currently, they hold the position of Director of Formal Methods at BedRock Systems Inc.

Gregory Malecha pursued their education in the field of Computer Science. Gregory attended Rice University from 2004 to 2008, where they obtained a Bachelor of Science (BS) degree. Following this, they enrolled at Harvard University in 2008 and completed a Master of Science (M.S.) degree in Computer Science in 2014. Gregory continued their studies at Harvard and achieved a Doctor of Philosophy (PhD) in Computer Science in 2015.