- Jag är en svensk professor i datalogi.edit
Research Interests:
Research Interests:
Research Interests:
Research Interests:
... The following lectures covered reductions (1 h), in-troduction to complexity (1 h), Turing machines and unde-cidability (2 h), Cook-Levin theorem (1 h), NP ... In both courses we used the AlViE system [1] to present the visualizations... more
... The following lectures covered reductions (1 h), in-troduction to complexity (1 h), Turing machines and unde-cidability (2 h), Cook-Levin theorem (1 h), NP ... In both courses we used the AlViE system [1] to present the visualizations of two reductions in the following way. ...
KTH har sedan 2005 arbetat med det automatiserade och webbaserade rättningssystemet Kattis som stöd vid undervisning på programmeringskurser. Detta verktyg möjliggör en ny metodik kring laborationer: testdriven utbildning. Vi har sett... more
KTH har sedan 2005 arbetat med det automatiserade och webbaserade rättningssystemet Kattis som stöd vid undervisning på programmeringskurser. Detta verktyg möjliggör en ny metodik kring laborationer: testdriven utbildning. Vi har sett stora pedagogiska fördelar med ...