He obtained his Ph.D. in Computer Science from Oregon State University under the supervision of Alex Groce. Amin received an M.S. degree in CS from Michigan Technological University and a B.S. in Computer Engineering from Petroleum University of Technology in Iran. His research interest is in software analysis and testing.