-
on automated reasoning, with applications to static/dynamic analysis of security properties of programs. The successful candidate will join Prof. Kristopher Micinski's research group in the Department
Searches related to automation
Enter an email to receive alerts for automation positions