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 for combinatorics] [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
Amiridze NinoPostDocnonenone
Buran MichalPostDocnone+4477966741521.9-1Proof Theory
Capco Jose, Dr.Former member+43 732 2468 9942-2.10-2Algebraic Geometry in Kinematics
Cerna David, DrPostDoc+43 732 2468 99391.9-2Formal Methods, Proof Theory, Automated Theorem Proving, Unification and Generalization
de Freitas AbilioPostDoc+43 732 2468 9952-2.18-3Particle Physics, Computer Algebra
Dominici DiegoPostDoc+43 732 2468 9956-2.11-1Special functions and orthogonal polynomials
Falkensteiner Sebastian, DI Dr. (moved to MPI Leipzig)Former member+43 732 2468 9967+436649319610-2.12-2Differential Algebra, Algebraic Geometry, Symbolic Computation
Goswami Ankush, Dr.PostDocnone06647932324-1.11-1Analytic number theory, Integer partitions, q-series, combinatorics and modular forms
Guo Jeremy, Dr.Former member+43 732 2468 9938+43 681 1051 3675noneInteger Partitions, q-Series, Combinatorics
Kovacs Zoltan, Dr. (joint PostDoc GeoGebra+RISC)PostDoc+43 732 2468 9975+43 680 5026211noneGeoGebra
Makhul MehdiPostDoc+4373224689952-2.18-1
Middeke Johannes, Dr.Former member+43 732 2468 9929-2.12-1Matrix Normal Forms
Pau Ioana-Cleopatra, Dr. techn.PostDoc+43 732 2468 9973-2.10-1Unification and Generalization Algorithms and Applications
Radu Cristian-Silviu, Dr.PostDoc+43 732 2468 99810.2-5Computer mathematics
Rosenkranz Markus, Priv.-Doz. Dr.PostDoc+43 732 2468 99352.6-2Differential algebra; boundary problems
Smoot Nicolas, Dr.PostDoc+43 732 2468 9957-2.18-6Analytic Number Theory, Modular Forms, Partition Theory
Uncu Ali, Dr.Former member+43 732 2468 9962+43 676 396 1997-1.11-1Integer Partitions, q-Series, Combinatorics

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