picture

Hi,

my name is Jan-David Quesel and I’m a researcher in the field of computer science.

I’m especially interested in the following research areas:

  • Verification of Hybrid Systems
  • Robust Refinement
  • Semantics for Hybrid Systems
  • Logics in Computer Science
  • Logics for Hybrid Systems
  • Game Theory
  • Parametric Verification
  • Theorem Proving
  • Control Theory
  • Real-Time Systems
  • Model Checking

Have a look at the Contact Me page to get in touch.

… enjoy your visit!

Recent Blog Posts

Urlaub in den Südstaaten (Teil 2)

Posted on: 06 July 2014
Tags: Pittsburgh
Bei einem Besuch in Downtown, Charleston, haben wir uns auch das Aquarium angeschaut. Das war sehr schön gemacht mit vielen interessanten Tieren. Unter anderem konnte man einen kleinen Alligtor streicheln. Aber auch einen großen Albino-Alligator gab es zu bestaunen.
While visting Downtown, Charleston, we took the opportunity to also look at the Aquarium. We especially enjoyed padding a small alligator and seeing a rare albino one.

Read Story »

Urlaub in den Südstaaten (Teil 1)

Posted on: 05 July 2014
Tags: Pittsburgh
Dieses Jahr haben Christin und ich die Gelegenheit genutzt und sind mit dem Auto in den Süden gefahren. Passiert haben wir dabei: Pennsylvania, West Virginia, Virginia, North Carolina, South Carolina, Georgia und Florida. Wirklich halt gemacht haben wir aber nur in Virginia, South Carolina und Florida.
This year Christin and I used the opportunity to jump in the car and drive south. On our way down, we passed: Pennsylvania, West Virginia, Virginia, North Carolina, South Carolina, Georgia, and Florida. However, we only stopped for more than in Virginia, Sotuh Carolina, and Florida.

Read Story »

Besuch aus Deutschland

Posted on: 15 June 2014
Tags: Pittsburgh

Im Mai ist meine Mutter zu Besuch gekommen. Darüber haben wir uns sehr gefreut und es war eine gute Gelegenheit einiges zu unternehmen. Nachdem wir sie vom Flughafen abgeholt hatten sind wir etwas Essen gegangen. Später sind wir dann auf den Mount Washington gefahren und haben die super Aussicht auf Downtown genossen.

Am nächsten Tag waren wir bei Pamela’s Diner frühstücken. Dort gab es Pancakes für Christin und mich und ein Sandwich für meine Mutter. Insgesamt sehr lecker. Den Rest des Tages haben sich die Mädels alleine beschäftigt, da ich arbeiten musste. Sie haben vornehmlich Squirrel Hill erkundet.

In May, our first visitor from Europe arrived (my mother). We were very happy about this and it was a great opportunity to further look around in Pittsburgh. After picking her up at the airport, we first went to eat something. Later in the evening, we went up Mount Washington to enjoy the beautiful view over downtown.

The next day we had breakfast at Pamel’s Diner. Christin and I had Pancakes and my mother enjoyed a sandwich. Afterwards, I headed to work and the girls explored Squirrel Hill.

Read Story »