RISC Members    Listing / Gallery

Full Professors

Bruno Buchberger Founding Director of RISC

Peter Paule Director of RISC

Franz Winkler Vice Director of RISC

All Members

select
position:	[institute] [gmbh] [faculty] [postdoc] [phd student] [administration]
research topic:	[all] [automated reasoning] [computer algebra and applications] [computer algebra for differential equations] [computer algebra for geometry] [formal methods] [rewriting-related techniques and applications] [symbolic methods in kinematics]

Name	Position	Phone 1	Phone 2	Mobile	Office	Working area
Buran Michal	PostDoc	none		+447796674152	none	Proof Theory
Cerna David, Dr	PostDoc	+43 732 2468 9939			1.9-2	Formal Methods, Proof Theory, Automated Theorem Proving, Unification and Generalization
de Freitas Abilio	PostDoc	+43 732 2468 9952			-2.18-3	Particle Physics, Computer Algebra
del Rio Almajano Tereso	PostDoc	none			none
Gao Yiman	PostDoc	none			-2.18-6
Pau Ioana-Cleopatra, Dr. techn.	PostDoc	+43 732 2468 9973			-2.10-1	Unification and Generalization Algorithms and Applications
Radu Cristian-Silviu, Dr.	Faculty	+43 732 2468 9981			0.2-5	Computer mathematics

Further phone numbers

RISC Software GmbH		+43 7236 3343 234
Sysadmin		+43 732 2468 9980
RISC-Lounge		+43 732 2468 9954
UFO		+43 732 2468 9923
Guest room castle, place 1		+43 732 2468 9976
Guest room castle, place 2		+43 732 2468 9932
Pond building, Vorstand (meeting room)		+43 732 2468 9955
Pond building, guest room		+43 732 2468 9953
Library		+43 732 2468 9922
Entrance door castle		+43 732 2468 9970
Entrance door opener castle		9971 (from inside)
Entrance door pond		+43 732 2468 9972
Machine Room		+43 732 2468 9986
University office science park S20327-1		+43 732 2468 6890
University office science park S20327-2		+43 732 2468 6891
University office science park S20328.1		+43 732 2468 6892
University office science park S20328.2		+43 732 2468 6893

---

webmaster