Note: The following list only informs about theses topics offered. If you are interested in a topic (not yet selected by a student), please contact the person who offered the topic to discuss prerequisites and further requirements that need to be fulfilled. Only after mutual agreement between you and the supervisor has been reached, you can actually select the topic for your Bachelor or Master theses.
Keywords such as: #analysis #smartphone_application
Organization Topic Period Application email    
Master, Bachelor (2)
keeletehnoloogia Keele evolutsiooni modelleerimine | Modeling language evolution 2018-2019 erkkil@gmail.com Details
keeletehnoloogia Tavakeele morfoloogia, süntaksi, semantika ja/või pragmaatika tüübiteoreetiline formaliseerimine ja teoreemitõestus | Type-theoretical formalization and theorem proving in natural language morphology, syntax, semantics and/or pragmatics 2018-2019 erkkil@gmail.com Details
Bachelor (1)
keeletehnoloogia "Translating" (some of) the formalization of NLC from Coq to Agda 2018-2019 erkkil@gmail.com Details