|
|
Carsten Schürmann |
|
|||||||||||||||||||||
|
|
|
|
Department of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213-3891 U.S.A. carsten@cs.cmu.edu +1.412.268.3069 +1.412.268.5576 (FAX) |
|
|
||||||||||||||||||
|
|
Teaching StatmentTeaching PhilosophyTeaching is the most valuable and important service a university can offer. Here is why. First, teaching is the best way to advertise ones own research, and to excite student interest. For example, I have decided to work with my advisor after I took a class with him. Upon completing his class I chose a direction for my research. Second, students are our vehicle to communicate our ideas to the world. In general, it is difficult to convince the real world of new concepts and systems. Teaching is important because students form the link between the academic and the industrial world. Third, teaching means explaining, and explaining means learning. It is not only the student who profits from a well-designed and well-taught class but also the instructor. Before one teaches one has to order the essential ideas, which leads to a deep understanding of the field. Fourth, active students who ask questions stimulate thinking. It is the critical dialog about a topic which reveals new insights and sheds new light on old questions. Students are absolutely essential in this process. Teaching MethodAlthough I have never taught an entire class, I have taught many recitations for computer science and mathematics classes. Over time, I have adopted the following teaching method.
Future Teaching I am very excited about the prospect of teaching in the future for several reasons. One reason is, that I simply enjoy working with students. Another reason is that teaching is a very effective way to attract research students. In addition I know, that by teaching I learn myself.
Some examples of graduate classes that I would enjoy
teaching include: Programming Languages, Type Theory,
Constructive Logic, Logical Frameworks, Meta-Logical
Frameworks, Linear Logic, Automated Theorem Proving, Security,
Formal Aspects of Software Engineering, and Databases.
With respect to undergraduate classes, I am happy to
teach just about any subject, especially courses from the
areas of programming languages, algorithms, theory, and
mathematics. |
|
||||||||||||||||||||