Coming dissertations from the Department of Information Technology

See also the list of all dissertations. (The data below is fetched from the Digital Scientific Archive at Uppsala University.)

2024-05-27 at 10:00, Room 101121, Ångströmslaboratoriet, Lägerhyddsvägen 1, Uppsala
Cong Quy Trinh: Automated Verification of Data Properties and Linearizability for Heap-Manipulating ProgramsExternal link
Opponent: Professor Roland Meyer, Technical Univ. Braunschweig.
2024-05-30 at 13:00, Lokal: 101195, Heinz-Otto Kreiss, Ångström, Lägerhyddsvägen 1, 752 37 Uppsala,
Anders Persson: Cognition and the Machine: Exploring Human-AI Interaction via Predictive ProcessingExternal link
Opponent: Docent Kai Kimppa, University of Turku, Department of Computing University Research Fellow, Information Systems Science.
2024-05-31 at 13:00, Room 80127, Ångströmslaboratoriet, Lägerhyddsvägen 1, Uppsala
Muhammad Hassan: Enhancing Processor Performance: Approaches for Memory Characterization, Efficient Dynamic Instruction Prefetching, and Optimized Instruction CachingExternal link
Opponent: Associate Professor Boris Grot, School of Informatics, University of Edinburgh.
2024-06-14 at 09:15, room 80121, Ångströmlaboratoriet, Lägerhyddsvägen 1, Uppsala
Daniel Gedon: On Deep Learning for Low-Dimensional RepresentationsExternal link
Opponent: Prof. Adam Johansen, Department of Statistics, University of Warwick, Coventry, U.K..