Member for11 months 3 weeks
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.