Jens Claßen

Jens Claßen

Home

I am a postdoctoral researcher at the School of Computing Science at Simon Fraser University in Burnaby, Canada.

Before, I was a postdoctoral researcher and teaching assistant at the Knowledge-Based Systems Group headed by Professor G. Lakemeyer, PhD at RWTH Aachen University.

I worked in the VERITAS project, which was part of the Hybrid Reasoning for Intelligent Systems research unit, funded by the German Research Foundation (DFG).

Before that, I worked in the PLATAS project, also funded by the DFG.

My research interests include epistemic logics, reasoning about action and change, planning, and verification.

News

2019-05-02
The code I developed on the verification of GOLOG programs is now available on GitLab.

2019-02-17
On 1st April, I will start a new position at the School of Computing Science at Simon Fraser University in Burnaby, BC, Canada. I am looking forward to work with James Delgrande.

2018-10-20
I will be at KR 2018 between Saturday, 27th October and Friday, 2nd November.

2018-10-10
In the coming winter semester, I will again give a lecture on Knowledge Representation and High-Level Control (in German) at FH Aachen, together with Stefan Schiffer.

2017-11-01
Between Monday, 6th November and Wednesday, 8th November 2017 I will be at Commonsense 2017.

2017-10-22
I will be giving two courses in the coming winter semester at FH Aachen together with Stefan Schiffer, namely a lecture on Knowledge Representation and High-Level Control and a practical lab on Scientific Writing (both in German).

2017-09-16
I will be out of office again between Friday, 22nd September and Tuesday, 3rd October 2017 as I will be attending FroCoS. However, I will still mostly be reachable by e-mail, probably with delay.

2017-05-03
Between Monday, 5th June and Friday, 9th June 2017 I will be at the Dagstuhl Seminar on Epistemic Planning.

2016-08-25
I will be out of office again between Monday, 29th August and Friday, 16th September 2016 as I will be at ECAI 2016 and on vacation afterwards. I will be reachable by e-mail during that time (but maybe with some delay).

2016-02-04
As I will be at AAAI 2016 I will be out of office between Thursday, 11th February and Friday, 19th February 2016.
However, I will be reachable by e-mail during that time.