RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

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 group: [all] [algebraic geometry] [algorithm theory] [algorithmic combinatorics] [computer algebra] [formal methods] [parallel/distributed computing] [theorema]

Name Position Phone Office Working area
Ablinger Jakob, Dr.PostDoc+43 732 2468 9951-2.18-4
Capco Jose, Dr.PostDoc+43 732 2468 9942-2.10-2Algebraic Geometry in Kinematics
Cerna David, DrPostDoc+43 732 2468 9939noneFormal Methods, Proof Theory, Automated Theorem Proving, Unification and Generalization
Koutschan Christoph, Priv.-Doz. Dr. (on leave)PostDoc+43 732 2468 5254noneAlgorithmic Combinatorics, Symbolic Summation and Integration of Holonomic Functions
Kovács Zoltán, Dr. (joint PostDoc GeoGebra+RISC)PostDoc+43 732 2468 9975noneGeoGebra
Maletzky Alexander, DI Dr.PostDoc+43 732 2468 9936-2.10-1Gröbner Bases, Automated Reasoning, Theorema
Middeke Johannes, Dr.PostDoc+43 732 2468 9929-2.12-1Matrix Normal Forms
Pillwein Veronika, Dr.Faculty+43 732 2468 9956-2.11-2Special Functions, High order finite elements
Radu Cristian-Silviu, Dr.PostDoc+43 732 2468 99810.2-5Computer mathematics
Round Mark, DrPostDoc+43 732 2468 99830.2-3
Schneider Carsten, Assoc. Prof. DI Dr.Faculty+43 732 2468 9966-2.15-1Computer Algebra, Combinatorics, Special Functions, Perturbative Quantum Field Theory
Tran Nguyen Khanh LinhPostDocnonenone
Uncu Ali, Dr.PostDoc+43 732 2468 9962-1.11-1Integer Partitions, q-Series, Combinatorics
Ye Liangjie, Dr.PostDoc+43 732 2468 9937-2.12-3analytic number theory, special functions

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 castle9971 (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