RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
projects
|
research
|
education
|
industry
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: [all] [institute] [gmbh] [faculty] [postdoc] [phd student] [diploma 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, DIPh.D.-Student+43 732 2468 99690.5-4
Aistleitner Christian, DIPh.D.-Studentnonedifferential characteristic sets
Baltat AdrianGuest+43 732 2468 99450.2-2
Bana Peter GaborVisitornone
Bosa Karoly, DI. Dr.Faculty+43 732 2468 99670.7-6Parallel and Distributed Computing, Grid Computing, Generic Programming
Buchberger Bruno, Univ.-Prof. Dr.phil.DDr.h.c.Faculty+43 732 2468 99412.4-1Symbolic Computation
Curtis Betina (on leave)Administrationnone
Danielczyk-Landerl Werner, DIAdministration+43 732 2468 99650.7-2
Doench Christian, Dipl.-Math. oec. Univ.Ph.D.-Student+43 732 2468 99642.10-2Computer Algebra
Dramnesc IsabelaPh.D.-Student+43 732 2468 99261.7-6Automated Reasoning, Computer Supported Mathematical Theory Exploration, Algorithm Synthesis
Dundua Besik, DIPh.D.-StudentnoneComputational logic
Duscher AndreasPh.D.-Studentnone
Erascu Madalina, M.Sc.Ph.D.-Student+43 732 2468 99391.7-4
Erdei Károly , DIFaculty+43 732 2468 99251.6-1Management of the SAG
Erocal Burcin, M.Sc.Ph.D.-Student+43 732 2468 99282.2-2Computer Algebra, Cryptography
Guta Gabor, M.Sc.Ph.D.-Student+43 732 2468 99271.7-1
Gutenbrunner TanjaAdministration+43 732 2468 99211.1-3
Hangler Andreas, DIPh.D.-Student+43 732 2468 99690.5-1mathematical theory exploration
Hemmecke Ralf, Dr.Faculty+43 732 2468 99612.7-1Computer Algebra
Hodorog Madalina, M.Sc.Ph.D.-Student+43 732 2468 5231RIC-2.4Algebraic Topology (Knot theory), Computational Geometry
Huang YanliVisitor+43 732 2468 99321.9-3Rational curves and surfaces
Jebelean Tudor, A.Univ.-Prof. Dr.Faculty+43 732 2468 99462.8-1Automated Reasoning, Systolic Computations, Multiprecision Arithmetic
Kalinowka MagdalenaAdministrationnone
Kartaschova Elena, Priv.-Doz. Dr. Prof. h.c.Faculty+43 732 2468 99291.9-4linear PDOs, nonlinear PDEs, resonances
Kauers Manuel, Priv.-Doz. Dr.Faculty+43 732 2468 99581.7-7Algorithmic Combinatorics, Computer Algebra
Khan Muhammad Taimoor, M.Sc.Ph.D.-Student+43 732 2468 99271.7-1Formal Methods, Computer Algebra Software
Korbelar Miroslav, Mgr.Ph.D.-Studentnonecommutative algebra
Korporal Anja, Dipl.-Math.Ph.D.-StudentnoneSymbolic Integral Operators and Boundary Problems
Koutschan Christoph, Dr. (on leave)PostDocnoneAlgorithmic Combinatorics, Symbolic Summation and Integration of Holonomic Functions
Kutsia Teimuraz, Dr.Faculty+43 732 2468 99820.7-4Unification, automated reasoning, rule-based programming
Landsmann Guenter, Dr.Faculty+43 732 2468 99680.3-2Algebraic Geometry
Lichtenberger Franz, DI Dr.Faculty+43 732 2468 99482.9-1Formal Methods, Mathematics Education
Lubbes Niels, M.Sc.Ph.D.-Student+43 732 2468 5231RIC-2.4
Mayrhofer AngelikaAdministration+43 732 2468 99201.1-1
Middeke Johannes, Dipl.-Math.Ph.D.-Student+43 732 2468 99502.10-4Differential algebra
Ngo L.X.Chau, M.ScPh.D.-Student+43 732 2468 99450.2-1Rational Algebraic Curves
Paule Peter, Univ.-Prof. Dr.Chairman+43 732 2468 99402.3-1Symbolic Computation in Combinatorics and Special Functions
Petcu Dana, Prof. Dr.VisitornoneParallel and Distributed Computing
Pillwein Veronika, Dr.Faculty+43 732 2468 99581.7-8Special Functions, High order finite elements
Piroi Florina Mihaela, DI. Dr.PostDocnoneTheorem Proving, Symbolic Computation
Poechinger RamonaAdministration+43 732 2468 99101.1-4
Popov Nikolaj, Dr.Faculty+43 732 2468 99261.7-5Program Verification
Raab Clemens Gunter, DIPh.D.-Student+43 732 2468 99830.2-4
Radu Silviu, M.ScPh.D.-Student+43 732 2468 99810.2-5Computer mathematics
Rahkooy HamidPh.D.-Student+43 732 2468 99590.5-3
Rolletschek Heinrich, A.Univ.-Prof. Dr.Faculty+43 732 2468 99472.11-1Algorithm Theory
Rosenkranz Camelia, Dr. (on leave)PostDocnoneMKM, Theorem Proving, Symbolic Computation
Rosenkranz Markus, Dr.PostDoc+43 732 2468 5230RIC-3.4
Schicho Josef, A.Univ.-Prof. Dr. (on leave)Faculty+43 732 2468 5231RIC-2.1
Schneider Carsten, Priv.-Doz. Dipl.-Inf. Dr.Faculty+43 732 2468 99662.6-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
Shemyakova Ekaterina, Dr., Dipl.-Math.PostDoc+43 732 2468 99502.10-3Computer algebra, Symbolic methods for Linear Partial Differential Operators (factorization, integration of PDEs, invariant finding), moving frames
Sinka Zsuzsanna, M.Sc.Ph.D.-Student+43 732 2468 99840.7-1
Stan Flavia, M.Sc.Ph.D.-Student+43 732 2468 99662.6-2Algorithmic Combinatorics, Special Functions
Tec Loredana, M.Sc.Ph.D.-Student1.5-1Automated Theorem Proving
Wiesinger-Widi Manuela, DIPh.D.-Student+43 732 2468 99690.5-2Gröbner Bases, Automated Theorem Proving
Windsteiger Wolfgang, DI Dr.Faculty+43 732 2468 99600.3-1Automated 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
Zafeirakopoulos ZafeirakisPh.D.-Student+43 732 2468 99830.2-3

Further phone numbers:

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 KG 417+43 732 2468 9193
University office KG 418+43 732 2468 9192


webmaster