Automatic Reasoning

Head Of The Working Group

Prof. Anthony Lin

E-Mail:         lin(at)cs.uni-kl.de

Room:         34-419

Phone:         (0631) 205-3330

Postdoctoral Researcher

Dr. Julian Parsert

E-Mail:    julian.parsert(at)cs.rptu.de

Room:    34 - 425

Mr. Marco Sälzer

E-Mail:    marco.saelzer(at)rptu.de

Room:   34-421

PhD Studnet

Mr. Pascal Bergsträßer

E-Mail:   bergstraesser(at)cs.uni-kl.de

Room:   34-421

Phone:   (0631)205-3355

Mr. Oliver Markgraf

E-Mail:   markgraf(at)cs.uni-kl.de

Room:   34-426

Phone:   (0631)205-3971

Ms. Eva González García

E-Mail:    eva.garcia(at)rptu.de

Room:   34-423

Moritz Graf

E-Mail:   moritz.graf(at)cs.rptu.de

Room:    34-423

Mr. Heyang Li

 

Room:   34-425

Secretary

Mrs. Judith Stengel

E-Mail:   stengel(at)informatik.uni-kl.de

Room:   34-410

Phone:   (0631) 205-3536

Mrs. Claudia Schwager

E-Mail:    claudia.schwager(at)cs.rptu.de

Room:   32-423

Phone:   (0631)205-3341

Former Members (Postdoctoral Researcher)

Dr. Di-De Yen

E-Mail:   bottlebottle13(at)gmail.com

Dr. Chih-Duo Hong

E-Mail:   chihduo.hong(at)gmail.com

Dr. Muhammad Najib

E-Mail:   najib(at)cs.uni-kl.de

Dr. Daniel Stan

E-Mail:   stan(at)cs.uni-kl.de

Dr. Shuanglong Kan

E-Mail:   shuanglong(at)cs.uni-kl.de

Dr. Rodrigo Raya

E-Mail:    rodrigo.raya(at)rptu.de