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
Ahmad Bashar, M.Sc.Ph.D.-StudentnonenoneFormal Methods
Bacher Axel, Dr.PostDocnone-2.10-1Enumerative combinatorics, analytic combinatorics
Ballo GaborPostDocnone0.5-3
Baumgartner Alexander, DIPh.D.-Student+43 732 2468 9967-2.12-2Symbolic Computation Techniques for Unranked Terms (SToUT project)
Brandner-Foißner IlseAdministration+43 732 2468 99201.1-1
Breuer Felix, Dr.PostDoc+43 732 2468 9973-2.10-4
Buchberger Bruno, Prof. Dr.Dr.h.c.mult.Faculty+43 664 42116462.4-1Symbolic Computation
Curtis Betina (on leave)Administrationnonenone
Danielczyk-Landerl Werner, DIAdministration+43 732 2468 99650.7-2
de Panafieu EliePostDoc0732 2468 9935-2.10-3Computer algebra, analytic combinatorics
Erdei Károly , DIFaculty+43 732 2468 99251.6-1Management of the SAG; Linux; Internet privacy & security
Fuerst Christoph, DIPh.D.-Studentnone-1.11-2Computer Algebra, Difference-Differential Modules
Gallet Matteo, M.ScPh.D.-Student+43 732 2468 9959-2.18-3Algebraic Geometry
Grasegger Georg, DIPh.D.-Student+43 732 2468 9964-1.11-1
Gutenbrunner TanjaAdministration+43 732 2468 99211.1-3
Hasselhuhn Alexander, Dipl.-Phys. Dr. rer. nat.PostDoc+43 732 2468 9942-2.10-2High Energy Physics, Precision calculations, Special Functions
Hemmecke Ralf, Dipl.-Math. Dr.Faculty+43 732 2468 99612.7-1Computer Algebra
Hossein Poor JamalPh.D.-Student+43 732 2468 9928-2.18-1
Huang HuiPh.D.-Student+43 732 2468 9938-1.12-2Algorithmic Combinatorics, Symbolic Asymptotics
Jaroschek Maximilian, Dr.PostDoc+43 732 2468 9952-2.18-1
Jebelean Tudor, A.Univ.-Prof. Dr.Faculty+43 732 2468 99462.8-1Automated Reasoning, Systolic Computations, Multiprecision Arithmetic
Kauers Manuel, Priv.-Doz. Dr.Faculty+43 732 2468 9958-2.11-1Algorithmic Combinatorics, Computer Algebra
Koutschan Christoph, Dr. (on leave)PostDoc+43 732 2468 5254noneAlgorithmic Combinatorics, Symbolic Summation and Integration of Holonomic Functions
Kovacs Zoltan (joint student GeoGebra+RISC)Ph.D.-Student+43 732 2468 9975-1.12-2GeoGebra
Kronholm James Brandt, Ph.D.PostDoc+43 732 2468 99620.3-1Integer Partitions
Kutsia Teimuraz, Priv.-Doz. Dipl.-Math. Dr.Faculty+43 732 2468 9982-2.14-1Unification, automated reasoning, rule-based programming
Landsmann Günter, Dr.Faculty+43 732 2468 99680.3-2Algebraic Geometry
Lichtenberger Franz, Dr. (external consultant)Faculty+43 732 2468 9948noneFormal Methods, Mathematics Education
Maletzky Alexander, DIPh.D.-Student+43 732 2468 99361.7-8Gröbner Bases, Automated Reasoning, Theorema
Oehme-Pöchinger Ramona (on leave)Administration+43 732 2468 99101.1-4
Paule Peter, Univ.-Prof. Dr.Chairman+43 732 2468 99402.3-1Symbolic Computation in Combinatorics and Special Functions
Pillwein Veronika, Dr.Faculty+43 732 2468 9956-2.11-2Special Functions, High order finite elements
Popov Nikolaj, Dr.Faculty+43 732 2468 99261.7-5Program Verification
Praher Jakob, DIPh.D.-StudentnonenoneAutomated Reasoning, Logic Programming
Radu Cristian-Silviu, Dr.PostDoc+43 732 2468 99810.2-5Computer mathematics
Rahkooy HamidPh.D.-Student+43 732 2468 9928-2.18-6Grobner Bases, Resultants; Automated Reasoning
Rolletschek Heinrich, A.Univ.-Prof. Dr.Faculty+43 732 2468 99472.11-1Algorithm Theory
Schicho Josef, A.Univ.-Prof. Dr.Faculty+43 732 2468 99492.6-1
Schneider Carsten, Priv.-Doz. Dipl.-Inf. Dr.Faculty+43 732 2468 9966-2.15-1Computer Algebra, Combinatorics, Special Functions, Perturbative Quantum Field Theory
Schreiner Wolfgang, A.Univ.-Prof. DI Dr.Faculty+43 732 2468 99631.3-1Formal Methods, Parallel and Distributed Computing
Schussler Miriam, M.A.Ph.D.-Student+43 732 2468 9945-1.12-3
Serafini Andrea, M.Sc.Ph.D.-Student+43 732 2468 99391.7-4Computer Algebra, Logic
Vo Ngoc Thieu, M.Sc.Ph.D.-Student+43 732 2468 99500.2-2Computer Algebra
Wiesinger-Widi Manuela, DIPh.D.-Student+43 732 2468 9969-2.18-3Groebner Bases, Automated Theorem Proving
Windsteiger Wolfgang, DI Dr.Faculty+43 732 2468 9960-2.13-1Theorema, Automated Theorem Proving, Computer Algebra, Mathematica, Symbolic Computation in Education
Winkler Franz, Univ.-Prof. DI.Dr.Faculty+43 732 2468 99432.5-1Computer Algebra, Constructive Algebraic Geometry
Yatchak Rika, M.A.Ph.D.-Student+43 732 2468 9933-2.10-1Algorithmic combinatorics, lattice paths
Ye Liangjie, M.Sc.Ph.D.-Student+43 732 2468 9937-2.12-3symbolic computation
Zhang Yi, M.Sc.Ph.D.-Student+43 732 2468 99570.2-4Computer Algebra, Algorithmic Combinatorics
Zimmermann Burkhard, Mag.Ph.D.-StudentnonenoneDefinite Symbolic Summation and Integration of Holonomic 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
Library+43 732 2468 9922
Entrance door+43 732 2468 9970
Entrance door opener9971 (from inside the castle)
UPS+43 732 2468 9973
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