Research interests:

Dr Huang is a senior researcher at NICTA (Managing Complexity Research Group), with an adjunct appointment in the Research School of Computer Science at the Australian National University. His research interests include logical and probabilistic reasoning and their applications, and artificial intelligence in general. He completed his PhD in 2005 in the Computer Science Department at the University of California, Los Angeles as a member of the Automated Reasoning Group.

Dr Huang is available to supervise summer scholar, honors, and PhD projects at the ANU.

Research opportunities with Dr Jinbo HUANG

• Finding Minimal Unsatisfiable Subsets in Temporal Logic