| Prof. Dr. K. Madlener |
|
Prof. Dr. K. Madlener Foundations of Informatics Group, Department of Informatics, University of Kaiserslautern, Germany, PO Box: 3049, Building: 34/418, Phone: ++49 631 205 3536 (secretary), ++49 631 205 2268 (direct dialing), Fax: ++49 631 205 3420, Email: madlener@informatik.uni-kl.de |
| School education | 1951 - 1963 Colegio Andino (German school) in Bogota (Colombia) |
| Studies | 1964 - 1966 Mathematics and Electrical engineering at the Universidad de los Andes (Bogota) |
| 1966 - 1970 Mathematics und Physics at the University Mainz (DAAD-Grant) | |
| Titles | 1966 Licenciatura en Matematicas from the Universidad de los Andes |
| 1968 Diplom in Mathematics from the University Mainz | |
| 1970 Dissertation (PhD) Title Präkompakte und strikt singuläre Operatoren auf lokalkonvexen Vektorräumen über u.a. bewerteten Körpern at the University Mainz . Referees Prof. Dr. H. Heuser und Prof. Dr. G. Tillmann | |
| 1969 | Assistant at the department of mathematics University Mainz |
| 1970 - 1971 | Assistant at the department of mathematics University Kaiserslautern |
| 1971 | Visiting Professor at the Universidad de los Andes (Bogota), 6 months |
| 1972 - 1978 | Assistant professor at the department of mathematics University Kaiserslautern |
| 1978 | Habilitation at the department of mathematics University Kaiserslautern. |
| Title: Zur Komplexität des Konjugiertheitsproblems und verwandter algorithmischer Probleme in Gruppen | |
| from 1979 | Professor (C3) at the department of computer science University Kaiserslautern. |
| Leader of the working group Grundlagen der Informatik | |
| from 1985 | Member (Project leader) of the SFB 314 |
| Künstliche Intelligenz - Wissensbasierte Systeme (Funded by the DFG) | |
| From 1990 2nd speaker | |
| from 1995 | Member of the SFB 501 |
| Development of large systems with generic methods (Funded by the DFG) |
| RG Foundations of Informatics | Department of Informatics | Technical University of Kaiserslautern |