Guest researcher 2020

 

	Name	Research Area	Kontakt
	Esparza, Javier	Algorithms, Verification, Software Model Checking, Program analysis	esparza@in.tum.de Webseite
	Carmeli, Nofar		snofcacs.technion.ac.il Webseite
	Rothvoss, Thomas	discrete optimization, linear/integer programming and theoretical computer science	rothvoss@uw.edu Webseite