Synthesis Scaffold / College Park / University of Maryland / /
IndustryTerm
program reasoning technology / program reasoning tools / concrete solutions / prototype tools / synthesis tools / /
Organization
Professor Jeffrey S. Foster Department of Computer Science Program / Jeffrey S. Foster Department of Computer Science Program / Graduate School / University of Maryland / University of Maryland / College Park / Advisory Committee / /
Person
Bobby Bhattacharjee / Prakash / Sumit Gulwani / Samir Khuller / Stephen / Mike Hicks / Preeti / Jeff Foster / Sumit Gulwani Professor Jonathan / Abhishek / Evan / Aravind Srinivasan / David An / Mike Furr / Mike Boyle / David Greenfieldboyce / Michael W. Hicks / Ted / Prashast / Srinivas Kashyap / Avik / Martin / Dheeraj Sanghi / Jonathan Katz Professor Mike Boyle / Jeffrey S. Foster / Jonathan Katz / Ajit K. Chaturvedi / /
Position
constant role model for my personal life / Chair /Advisor / advisor / Professor / advisors / researcher / undergraduate research advisors / General / professor and researcher / second advisor / /