Search

Theory.Amsterdam

Theory.Amsterdam

People
Seminars
Teaching
Institutes
Jobs
History
Contact

Haitian Wang

PhD Student

UvA ILLC

Interests

epistemic logic
model checking

Published with Wowchemy - powered by https://www.netlify.com - hosted at https://github.com/theory-amsterdam/website-theory-amsterdam

Cite