Dr. Heinz Kredel
Schlehdornweg 69
69469 Weinheim
Germany

Curriculum Vitae of Dr. Heinz Kredel

Personal Data

Date of Birth
29. March 1954
Place of Birth
Beerfelden, Hessen, Germany
Religion
none
Martial Status
Married since 1977, one child, born 1980
Nationality
German

Educational Background

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

Professional Background

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

Languages

German
native speaker
English
fluent in speaking and writing
French
basic knowledge

Special Knowledge and Skills

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

Publications

See separate sheets

Memberships

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


2003, Heinz Kredel