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.
Author and article information
Dept. of Linguistics and Philology, Uppsala University
P.O. Box 635, 751 26 Uppsala, Sweden