• Focus areas
• Research Programmes
• Research Units
  • Algorithmics and Computational Intelligence Group (ACI)
  • Biomathematics Research Unit (BIOMATH)
  • Turku BioNLP Group
  • Computational Biomodeling Laboratory (Combio Lab)
  • Communication Systems (ComSys)
  • Data Mining and Knowledge Management Laboratory
  • Distributed Systems Laboratory (DS Lab)
  • Embedded Computer and Electronic Systems (ECES)
  • Embedded Systems Laboratory (ESLAB)
  • FUNDIM, Fundamentals of Computing and Discrete Mathematics
  • Institute for Advanced Management Systems Research (IAMSR)
  • Learning and Reasoning Lab
    • personnel
    • projects
    • publications
  • Software Engineering Laboratory (SE Lab)
  • Software Construction Laboratorium
  • Software Development Laboratory (SwDev)
  • Turku Optimization Group (TOpGroup)
  • UTU Information Systems Science (ISSR)

Learning and Reasoning Lab

The Learning and Reasoning laboratory studies and develops new methods and tools for teaching mathematics and programming. The target group is junior high school students, high school students and introductory level university and polytechnic students. The research method used is both constructive and empirical. We develope new methods, together with computer based tools to support the methods, and then try them out in practical empirical studies, usually courses that are taught with these new methods and tools.The feedback from the empirical studies is then used to improve the methods and tools. We specifially concentrated on four topics: (a) teaching mathematics using structured derivations, (b) teaching formal methods in programming using invariant based programming, (c) developing tutoring systems for programming courses, and (d) teaching practical programming skills using Python. The laboratory is shared between Åbo Akademi University and University of Turku.

Research Unit Web Page: https://research.it.abo.fi/research/learning-and-reasoning-laboratory

Leader of the unit

Ralph-Johan Back Tapio Salakoski

Researchers

Johannes Eriksson Mikko Laakso Linda Mannila Patrick Sibelius Petri Salmela

Doctoral Students

Teemu Rajala Mia Peltomäki Erkki Kaila

Unit Members

Petri Sallasmaa Siiri Kunnapas Mari Pöld Kaj Giersberg Terhi Hovi Saara Mäkinen Topi Hurtig Stefan Asikainen Eva Rönnqvist Lars Wingård

Projects 

Improving Competence in Mathematics using New Teaching Methods and ICT [E-math]

(EU Central Baltic project, 2011-2013)

Improving mathematics and programming education [Imped 2]

(Finnish Technology Industry Foundation 2009-2010)

Improving mathematics and programming education [Imped 1]

(Finnish Technology Industry Foundation 2007-2008)

Opetusteknologia koulun arjessa [Optek]

(Tekes 2009-2011)

Teachers education courses in structured derivations

(National Board of Education 2008 - 2010)

Centre of Excellence in Formal Methods [CREST]

(Academy of Finland, 2002 - 2007)

Publications 

Click here to see the full list of publications from the TUCS Publication Database

The latest updated publications:

Jerker Björkqvist, Mikko-Jussi Laakso, Janne Roslöf, Raija Tuohi, Seppo Virtanen (Eds.), Abstract Book, Research Reports from Turku University of Applied Sciences 37, Turun ammattikorkeakoulu, 2012.

Jerker Björkqvist, Mikko-Jussi Laakso, Janne Roslöf, Raija Tuohi, Seppo Virtanen (Eds.), Proceedings, Research reports from Turku University of Applied Sciences 38, Turun ammattikorkeakoulu, 2012.