My main area of research is software engineering and programming language. In particular, my research group is interested in specification and verification of data intensive software systems that make use of machine learning, deep learning and other AI components. I also lead Iowa State University HDR:TRIPODS Institute on Dependable Data Driven Discovery. My laboratory makes the Boa infrastructure for large-scale mining available to the SE/PL research community.

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.