Dataföreningens pris för bästa exjobb

En kandidatuppsats och en masteruppsats utnämndes till 2012 års bästa exjobb inom IT-området. Prisen delades ut av Dataföreningen (Öst) vid en ceremoni på Länsmuséet i Linköping då sex nominerade exjobb presenterades. Bernhard Hahn utförde sitt exjobb på IDA om utvärdering av algoritmer för smarta receptförslag som kan leda till sundare matvanor. Simon Tegelid och Johan Kihlberg fick priset för kartstödd inomhuspositionering.
Läs mer

Mjukvara: säkerhetskrav och säker programmering

I sin doktorsavhandling har John Wilander tittat på hur säkerhet hanteras i offentlig upphandling av IT-system men också mer tekniska aspekter som hur verktyg kan hjälpa programmerare att utveckla säkra system och hur system kan skydda sig själva mot angrepp och intrång.

Ben Livshits från Microsoft Research, ett välkänt namn inom området säker mjukvara, agerade som opponent på disputationen. Det var en sammankomst med ett flertal deltagare från näringslivet och många LiU-alumner.
Läs mer

Att utnyttja struktur för att klassificera villkorsproblem

I komplexitetsteori studeras beräkningsproblem och de resurser som krävs för att lösa dessa problem. I en doktorsavhandling på IDA studerar Tommy Färnqvist de beräkningsresurser vissa problem från ramverket av villkorsproblem kräver. Bland annat återfinns problem från artificiell intelligens, databasteori, schemaläggning, frekvenstilldelning, grafteori och statistisk mekanik i denna klass.

I den första delen av den här avhandlingen studeras så kallade strukturella begränsningar av villkorsproblem. I flera fall leder efterforskningarna till att den största kända (eller möjliga) klassen av strukturella restriktioner hittas vilka leder till effektivt lösbara problemvarianter.

I avhandlingens andra del studeras approximerbarhet — hur ska beräkningsproblem hanteras som är så svåra att lösa att de antagligen inte ens tillåter approximativa lösningar med rimlig tidsåtgång. Här införs en generell metod för att föra över resultat om approximationsegenskaper hos ett beräkningsproblem till ett annat, likartat, beräkningsproblem. Metoden kan appliceras på en särskild familj av villkorsproblem och på så vis kan ge upphov till nya, större, klasser av approximationsresultat. I det här sammanhanget kan också visas att metoden har starka och intressanta kopplingar till tidigare forskning inom det matematiska forskningsområdet grafteori.
Läs mer