RISC JKU

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
Banerjee Koustav, Dr.PostDoc++43(0)732/2468-99380.2-4Theory of Partitions, Modular Forms, q- Series.
Buchberger Bruno, Prof. Dr.Dr.h.c.mult. (Founding Chairman 1987-1998)Faculty+43 664 42116462.4-1Symbolic Computation
Buran MichalPostDocnone+447796674152noneProof Theory
Capco Jose, Dr.PostDoc+43 732 2468 9942-2.10-2Algebraic Geometry
Cerna David, DrPostDoc+43 732 2468 99391.9-2Formal Methods, Proof Theory, Automated Theorem Proving, Unification and Generalization
Danielczyk-Landerl Werner, DIFaculty+43 732 2468 99650.7-2
de Freitas AbilioPostDoc+43 732 2468 9952-2.18-3Particle Physics, Computer Algebra
Ehling GeorgPh.D. Student+43 732 2468 9959-2.10-4
Fadeev NikolaiPh.D. Student+43 732 2468 9983-2.18-2Combinatorics, Computer Algebra
Gao YimanPostDocnone-2.18-6
Gonzales AndresPh.D. Studentnonenone
Goswami Ankush, Dr.PostDocnone06647932324-1.11-1Analytic number theory, Integer partitions, q-series, combinatorics and modular forms
Gutenbrunner TanjaAdministration+43 732 2468 99211.1-3
Hemmecke Ralf, Dipl.-Math. Dr.Faculty+43 732 2468 99612.7-1Computer Algebra
Jebelean Tudor, A.Univ.-Prof. Dr.Faculty+43 732 2468 9946+43 650 58092202.8-1Automated Reasoning, Systolic Computations, Multiprecision Arithmetic
Kovacs Zoltan, Dr. (joint PostDoc GeoGebra+RISC)PostDoc+43 732 2468 9975+43 680 5026211noneGeoGebra
Kutsia Teimuraz, Priv.-Doz. Dipl.-Math. Dr.Faculty+43 732 2468 9982+43 664 943 22 98-2.14-1Unification, automated reasoning, rule-based programming
Landsmann Guenter, Dr.Faculty+43 732 2468 9968+43 (0) 676 78361490.3-2Algebraic Geometry
Lubbes Niels, M.Sc.LecturernoneNone
Makhul MehdiPostDoc+4373224689952-2.18-1
Obrovsky Jakob, DIPh.D. Student+43 732 2468 9957-2.18-4Difference equations
Oehme-Pöchinger RamonaAdministration+43 732 2468 99101.1-4
Pau Ioana-Cleopatra, Dr. techn.PostDoc+43 732 2468 9973-2.10-1Unification and Generalization Algorithms and Applications
Paule Peter, Univ.-Prof. Dr. (Director 2009-2023)Faculty+43 732 2468 99402.3-1Symbolic Computation in Combinatorics and Special Functions
Pillwein Veronika, Assoc. Prof. Dr.Faculty+43 732 2468 9956-2.11-2Special Functions, High order finite elements
Popov Nikolaj, Dr.Faculty+43 732 2468 9926+43 650 758 19872.9-2Program Verification
Radu Cristian-Silviu, Dr.Faculty+43 732 2468 99810.2-5Computer mathematics
Schicho Josef, A.Univ.-Prof. Dr.Faculty+43 732 2468 52312.6-1
Schneider Carsten, Univ.-Prof. Dr. (Director since 2023)Director+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
Wahner Ralf, Dipl.-Math.Administration+43 732 2468 99840.7-4
Windsteiger Wolfgang, Assoc. Univ.-Prof. DI Dr.Faculty+43 732 2468 9960+43 664 1496575-2.13-1Theorema, Automated Theorem Proving, Computer Algebra, Mathematica, Symbolic Computation in Education
Winkler Franz, Univ.-Prof. DI.Dr. (Chairman 1999-2009)Faculty+43 732 2468 99432.5-1Computer Algebra, Constructive Algebraic Geometry

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