演讲人:

讲座时间:

讲座地点:

讲座内容: 数据工程与知识工程教育部重点实验室（伟德国际1946源自英国） 学术报告 题目：关于数据结构，算法和编程课程的教学设计和实现 Design and Implementation of a Course on Data Structures, Algorithm and Progamming 报告人：Prof. Dr. Ernst-Erich Doberkat Chair for Software Technology Technische Universit¨at Dortmund 时间：2010年3月10日下午15:00-16:30 地点：伟德国际1946源自英国信息楼四层学术报告厅 Abstract: The course on data structure, algorithms and programming is the first course in the software cycle for the incoming students in the Bachelor programmes for Computer Science and Computer Engineering at the Technical University of Dortmund. The talk discusses the design objectives for the course, its position in the software cycle of the curriculum together with its preand postconditions. We will outline its contents and its implementation; finally we will relate some experiences teaching it, and discuss further developments. Biographical Sketch: Diploma in mathematics with a minor in philosophy from the University of Bochum, 1973. Dr. rer. nat. in Mathematics 1976 from the University of Paderborn, venia legendi (Habilitation) in computer science 1980 from the University of Hagen. 1981 - 1985 associate professor of mathematics and computer science at Clarkson University, Potsdam, NY; 1985 - 1993 full professorships for computer science at the universities of Hildesheim and of Essen, since 1993 full professor and chair of software technology, 2008 adjunct professor of mathematics at the University of Dortmund. Academic offices include: chairman of the Department of Mathematics at the University of Essen; CEO of Informatik Centrum Dortmund, the technology transfer company of the University of Dortmund; deputy dean for finance and infrastructure of the Department of Computer Science; chairman of the State Commission on Multimedia in University Teaching; head of the Department’s committee on teaching. Author or coauthor of ca. 100 technical papers in the areas of software engineering, computer science education, analysis of algorithms, Markov transition systems, categories, modal and coalgebraic logic; author or coauthors of nine books (programming, mathematics of computer science), the last one being Stochastic Coalgebraic Logic in the EATCS Series on Theoretical Computer Science (Springer, 2009).