Daxin Liu

Member for

1 year 1 month
Daxin Liu

Currently, I am a doctoral researcher at the Knowledge-Based Systems Group supervised by Professor Gerhard Lakemeyer, Ph.D.. The Knowledge-Based Systems Group is part of the Department of Computer Science at RWTH Aachen University. Also, I am affiliated with the Research Training Group UnRAVeL.

My research interests revolve around probabilistic action formalism, belief reasoning, and program verification.

liu@kbsg.rwth-aachen.de