Xin Chen (陈鑫)

I am a PhD student in Hybrid Systems Group. My current work is safety verification and reachability analysis of hybrid systems, including linear and nonlinear, time-invariant and time-variant systems. I started my study and research in computer science in BASICS LAB where you may find outstanding people.

In addition, I am only interested in theoretical computer science and mathematics.



Personal Info about Xin Chen

E-Mail:

xin.chen AT cs.rwth-aachen.de

Phone:

+49-241/80-21243

Fax:

+49-241/80-22243

Postal Address:

Xin Chen

Lehrstuhl für Informatik 2

Hybrid Systems Group

RWTH Aachen

52056 Aachen

Germany

Visiting Address:

Room 2U08

 

Ahornstraße 55

52074 Aachen


Current Interests

Verification and synthesis of hybrid systems,

Discrete geometry,

Mathematical logic and automata theory,

Concurrency theory,

Game theory,

...


Publications

2008
 
Xin Chen, and Yuxin Deng. Game Characterizations of Process Equivalences. In Proceedings of the 6th Asian Symposium on Programming Languages and Systems (APLAS’08). pages 107–121. Volume 5356 of Lecture Notes in Computer Science. Springer Verlag, 2008.