Alan Mishchenko
	Full Researcher
	Electrical Engineering and Computer Sciences University of California, Berkeley
	alanmi at berkeley dot edu
	Publications	Software		Teaching
	Speaker bio		Curriculum vitae