Tutors
Meet the current tutors below, as well as the faculty sponsors.
Current Tutors
Atanas Patterson-Ianev
|
Calum Crawford
|
Colby Dobson
|
Kailash Turimella
|
Kexin Dai
|
Madison Kuriny
|
Quinn Brockmyre
|
Ravneet Singh Bhatia
|
Sahil Gupta
|
Faculty Sponsors
-
Mehmet Emre
Mehmet Emre teaches CS 345, CS 414, and CS 411 at USF. Mehmet's research is at the intersection of programming languages and software engineering. His focus is on building and using program analyses to understand the behavior of programs automatically.
His ongoing research projects include automatically giving students hints when their programs don't work, extracting memory and thread safety properties in C programs, accelerating automatic test generation by removing pruning irrelevant tests, embeddeded logic programming runtimes. He has also worked on research projects involving dynamic invariant inference, finding similar snippets between programs, and debugging/understanding program analyses.