Yan's photo

Yan Liu

Sessional Lecturer
Faculty of Information technology
Monash University

E-mail : yan.liu1 at monash.edu
Link to my calendar.

Looking for new oppotunities regarding formal verification, functional programming.
Link to my latest CV.

Personal Interest

Safety and security analysis of critical system and applications,
with formal methods (model checking in particular).
Program verification, functional programming.

Education

Units Tutored or Lectured

Publications -- Google Scholar Profile, DBLP

Journal Papers:

Conference Papers: