Disputation

Disputation i datalogi: Paul Höft

Name: Disputation i datalogi: Paul Höft
Start: 2026-03-24T13:15:00
End: 0001-01-01T00:00:00
Location: Key 1, Keyhuset, Campus Valla, Linköping

Paul Höft vid Institutionen för datavetenskap (IDA) försvarar sin avhandling med titeln: "Computing Perfect Cost Partitioning Heuristics for Classical Planning".

Huvudhandledare: Jendrik Seipp, professor, IDA

Opponent: Daniel Fišer, universitetslektor, Aalborgs universitet, Danmark

Disputationen är öppen för allmänheten och hålls på engelska.

Mer information

Paul Höft (2026)

Computing Perfect Cost Partitioning Heuristics for Classical Planning

Organisation

Robothunden Spot överlämnar en första hjälpen väska till en knäböjande man

Artificiell intelligens och integrerade datorsystem (AIICS)

Verksamheten vid avdelningen AIICS, Institutionen för datavetenskap, är fokuserad på forskning och undervisning inom artificiell intelligens, dess teoretiska grunder och dess tillämpningar.

Institutionen för datavetenskap (IDA)

En av de största datavetenskapliga institutionerna i norra Europa med forskning och utbildning inom AI, människa-datorinteraktion, programvaruteknik och datorsystem, och data science. Verksamheten är inriktad mot både teknisk och filosofisk fakultet.

Tekniska fakulteten (Tekniska högskolan) (LITH)

Tekniska högskolan vid Linköpings universitet är en av Sveriges stora tekniska högskolor, med ca 14 800 studenter och mer än 1 000 anställda. Vi utbildar ingenjörer, fysiker, kemister, biologer, matematiker, datavetare, logistiker och möbeldesigners.