Ali Nosherwan Hamed

PhD Student, Computer Science
Australian National University

I develop modal logics and study their formal properties, from philosophically motivated inquisitive logic to temporal logics for computer science.

Current project: Developing modal logics for asynchronous hyperproperties in branching-time temporal settings.

Research interests: modal logic · temporal logic · hyperproperties · formal verification · concurrency theory · bisimulation · inquisitive logic