 |
|
 |
Joshua Haugen Sack, Postdoc |
|
|
|
 |
|
 |
Curriculum VitaeEducation2007 Indiana University, PhD. Mathemamics
2002 University of Amsterdam, Certificate in Logic
2001 University of Wisconsin, BSc. Mathematics |
Career2009- Reykjavik University, Postdoctoral Researcher
2008-2008 University of California Invine, Lecturer
2007-2007 California State University Long Beach, Lecturer |
Research| Modal logics (epistemic, probabilistic, dynamic, temporal) for artificial intelligence and concurrency theory; characteristic formulas for Hennessy-Milner logics |
Other websites
|