Dr. Heinz Kredel
Schlehdornweg 69
69469 Weinheim
Germany

Curriculum Vitae of Dr. Heinz Kredel

Personal Data

1988 - 1993: Research in Computer Science and Mathematics at the University of Passau, Degree: Doktor der Naturwissenschaften (Ph.D. in Computer Science and Mathematics), Thesis: Solvable Polynomial Rings
1979 - 1985: Study of Mathematics at the University of Heidelberg, Degree: Diplom Mathematiker (MA in Mathematics), Thesis: Über die Bestimmung der Dimension von Polynomidealen
1973 - 1974: Military Service
1970 - 1973: Gymnasium (High School) in Michelstadt, Degree: Abitur, qualifying for admission to university
1966 - 1970: Realschule (Junior High School) in Erbach, Degree: Mittlere Reife
1960 - 1966: Volksschule (Primary School) in Beerfelden

since 2002: With W. Aufsattler head of group `Central Servers' in Computing Center at University of Mannheim,
Main fields of work: World Wide Web and Internet technologies, SAP R/3 services for the Department of Economics
1995 - 2002: Head of group `High Performance Computing and World Wide Web' in Computing Center at University of Mannheim,
Main fields of work: Concurrent Computing, World Wide Web and Internet technologies, SAP R/3 services for the Department of Economics
1993 - 1995: Research Officer in staff (Wissenschaftlicher Mitarbeiter) of Computing Center at University of Mannheim,
Main fields of work: Concurrent Computing, High Performance Computing, Computer Algebra
in 1993: Assistant Professor (Wissenschaftlicher Assistent) at University of Passau
1988 - 1992: Researcher in staff (Wissenschaftlicher Angestellter) at a chair for Mathematics (Algebra), Prof. Dr. V. Weispfenning, University of Passau, Germany
1986 - 1988: Researcher in staff (Wissenschaftlicher Angestellter) of Computing Center of the Society of Heavy Ion Research (GSI) in Darmstadt
in 1985: Visit of the Rand Corporation, Santa Monica, California, USA, for software development in Reduce
in 1984: Visit of the Riken Research Center in Tokio, Japan; Hokkaido University in Sapporo, Computing Center of the University of Tokio for software development and consultancy
1974 - 1979: Truck driver and working in Marburg and Rüsselsheim

Driving Licence: Class III, Germany and international
Operating systems: IBM MVS, VM, Unix (Solaris, AIX, SINIX, Linux), DOS, Windows 3.1/95/NT, OS/2 Warp
Programming: PL/I, FORTRAN, Pascal, Modula-2, Cobol, C, C++, LISP, Assembler (IBM370, Z80, MC68k), Rexx, Perl, Java, PHP
Data bases: Oracle, since version 6.0, MySQL
Networks: TCP/IP, Novell, NetBIOS
Application systems: SAS, VSAM, DFDSS, DFHSM, ADSM, Maple, SAP R/3 installation and administration, Web Servers
Computer Science: parallel computing, internet techologies, distributed systems, systems programming, computer algebra systems, algebraic specification, theorem proving
Mathematics: commutative algebra, non-commutative algebra, model theory, computer algebra, number theory

See separate sheets

2002: Program comitee of the Rhine Workshop on Computeralgebra 2002, Mannheim
2001 - 2002: Local Chair of the Rhine Workshop on Computeralgebra 2002, Mannheim
since 2001: Association for Computing Machinery (ACM)
1998: Referee Comitee for a special session on Mathematical Software, at the International Congress of Mathematicans (ICM'98)
since 1995: Gesellschaft für Informatik (GI)
since 1995: Working group ``Scientific Computing'' of SAVE, Siemens-Informationssysteme Anwender Verein e.V.
1995: Referee for the special edition Parallel Symbolic Computation, of the Journal for Symbolic Computation
1995 - 2001: Member of the Local Organisation Comitee of the anual SUPERCOMPUTER Conference und of some SUPERCOMPUTER Tutorials by Prof. Dr. Meuer
since 1994: ZKI working group ``Supercomputing''
1994 - 2001: Member of `Jugend forscht' program comitee ``Mathematik-Informatik'', Landeswettbewerb Rheinland-Pfalz, Germany
1994: Program comitee PASCO'94, First International Symposium on Parallel Symbolic Computation, University of Linz, Austria, 26. - 28. September 1994
since 1993: Fachgruppe ``Computer Algebra'' of GI, DMV and GAMM