DE
EN

Suche extern bei StartPage

Prof. Anthony Lin

	Leiter der Arbeitsgruppe
	E-mail: lin [at] cs.uni-kl.de
	Room: 34-419
	Phone: (0631) 205-3330

Mrs. Judith Stengel

	Sekretärin
	E-mail: stengel [at] informatik.uni-kl.de
	Room: 34-410
	Phone: (0631) 205-3536

Dr. Rodrigo Raya

	Postdoktorand
	E-mail: rodrigo.raya [at] rptu.de
	Room: 34-428
	Phone: (681) 9303 0

Mr. Oliver Markgraf

	Doktorand
	E-mail: markgraf [at] cs.uni-kl.de
	Room: 34-426
	Phone: (0631) 205-3971

Mr. Pascal Bergsträßer

	Doktorand
	E-mail: bergstraesser [at] cs.uni-kl.de
	Room: 34-421
	Phone: (0631) 205-3355

Mr. Hongjian Jiang

	Doktorand
	E-mail: hongjian.jiang [at] rptu.de
	Room: 34-425

Ms. Eva González García

	Doktorand
	E-mail: eva.garcia [at] rptu.de
	Room: 34-423

Former Members

	Postdoctoral Researcher
	E-mail: bottlebottle13 [at] gmail.com
	Room: 34-428
	Phone: (0631) 205-33??

Dr. Chih-Duo Hong

	Postdoctoral Researcher
	E-mail: chihduo.hong [at] gmail.com
	Room: 34-419
	Phone: (0631) 205-3536

Dr. Muhammad Najib

	Postdoctoral Researcher
	E-mail: najib [at] cs.uni-kl.de
	Room: 34-426
	Phone: (0631) 205-3971

Dr. Daniel Stan

	Postdoctoral Researcher
	E-mail: stan [at] cs.uni-kl.de

Dr. Shuanglong Kan

	Postdoctoral Researcher
	E-mail: shuanglong [at] cs.uni-kl.de
	Room: 34-421
	Phone: (0631) 205-3355

Übergeordnete Seite: Automatic Reasoning Group

Homepage der Automatic Reasoning Group [mehr ...]

Feedback zu dieser Seite

Email an den Verantwortlichen dieser Seite (stan@informatik.uni-kl.de) [mehr ...]