Teaching Formal Methods: Practice and Experience (TFM)
Teaching Formal Methods: Practice and Experience
15 December 2006
In the first sections of this paper, I discuss some of the motivation for teaching Formal Methods for interdisciplinary programs, such as Computational Linguistics, that use computational apparatus. In the second section, I share my experience by teaching such courses in the program for Computational Linguistics and Language Technology at Uppsala University. In the last section, I will present existing gaps in education on Formal Methods in interdisciplinary and science subjects.