Liyi Li
Victor Basili Postdoc, Department of
Computer Science, University of Maryland,
College Park,
I will become an assistant professor in Iowa State University this fall.
|
|
Liyi LiVictor Basili Postdoc, Department of
Computer Science, University of Maryland,
College Park, I will become an assistant professor in Iowa State University this fall. |
| Teaching | ||
|---|---|---|
|
Research Interests: Formal methods; programming languages; software engineering; quantum computing; mathematical semantics of programming languages; formal reasoning about human-computer systems; formal reasoning about security; proof theory and type theory; programming languages for quantum computing; formal and practical verification tools for languages including quantum language; methodology transformation for building trustworthy software development