Presentationer av examensarbete i datavetenskap på kandidatnivå (1DT340)
Presentationerna direktsänds även på https://uuse.zoom.us/j/66395452561
2025
Datum | Tid | Plats | Student | Titel | Granskare |
|---|---|---|---|---|---|
| 28/5 | 15.15-116.00 | 101258 | Hugo Lönnqvist Österberg | Olle Gällmo | |
| 2/6 | 10.15-11.00 | 101125 | Emil Edin | ||
4/6 | 10.15-11.00 | 101258 | |||
4/6 | 11.15-12.00 | 101258 | Emil Holmström | Mitigating Covariate Shift in Machine Learning Based Prediction of Intracranial Hypertension | Tianru Zhang |
4/6 | 13.15-14.00 | 101258 | |||
4/6 | 14.15-15.00 | 101258 | Valentin Hassinen | Field Testing Stainless by Verifying Daisy’s AST Library | Eva Darulova Bruggisser |
4/6 | 15.15-16.00 | 101258 | Maryam Narmashiri, Elias Swanberg | A Factual Sustainability Chatbot: Leveraging NLU and Embedding Models for Reliable Q&A | Shweta Premanandan |
4/6 | 16.15-17.00 | 101258 | Hampus Sandqvist | Justin Pearsson | |
5/6 | 9.15-10.00 | 101258 | |||
5/6 | 10.15-11.00 | 101258 | Axel Hallsenius | Precise Positioning for Underwater Vessels | Jingwei Dong |
5/6 | 11.15-12.00 | 101258 | Vilja Schnell Melander | Neuro-Symbolic AI Agents for Software Project Scheduling | Shweta Premanandan |
5/6 | 13.15-14.00 | 101258 | Oscar Wångmar | Optimising a Soundness-First Numerical Analysis Framework: A Performance Study of Daisy | Shweta Premanandan |
5/6 | 14.15-15.00 | 101258 | Hampus Jigehamn | Sourasekhar Banerjee | |
10/6 | 9.15-10.00 | 101258 | Isaac Westerman | Konstantinos Sagonas | |
10/6 | 10.15-11.00 | 101258 | Jonas Hallgren | Democratic Mechanisms Under Pressure: An LLM Simulation Study of Organizational Resilience | Shweta Premanandan |
10/6 | 11.15-12.00 | 101258 | Jonathan Näslund | A Centralized Autonomous Vehicle Platform for Indoor Navigation Using ArUco Markers | Didem Gürdür Broo |
11/6 | 10.15-11.00 | 101258 | David Bagstevold | Automating Analysis of Biomarkers Ki-67 and PSA | Alexandros Rouchitsas |
11/6 | 11.15-12.00 | 101258 | Oskar Nylin | Intrusion Detection System Generalization in IoT Blackhole Attacks | Andreas Johnsson |
12/6 | 10.15-11.00 | 101258 | Karl Widborg Kortelainen | The Habitus of First-Year | Aletta Nylén |
12/6 | 14.15-15.00 | 101258 | Johan Andersson Östling | Modeling Dynamic Microarchitectural Power Consumption | Shweta Premanandan |
12/6 | 15.15-16.00 | 101258 | Anton Sördal | Urban Mobility Under the Microscope: A Comparative Study of ITS-G5 | Aletta Nylén |
16/6 | 11.15-12.00 | 101258 | Edvin Illes | Thiemo Voigt | |
16/6 | 13.15-14.00 | 101258 | Fredrik Sjögren | ||
16/6 | 14.15-15.00 | 101258 | Blida Dagsdottir | Paul Fiterau Brostean | |
17/6 | 9.15-10.00 | 101258 | Alicia Sjöstrand | Designing an API-Driven Data Pipeline for Severa by | Shweta Premanandan |
17/6 | 10.15-11.00 | ||||
17/6 | 11.15-12.00 | 101258 | Oliver Lagerqvis | Jörn Zimmerling | |
17/6 | 14.15-15.00 | 101258 | Isak Hvarfner | LLM Tokenization Effect on Swedish Noun | Aletta Nylén |
17/6 | 15.15-16.00 | 101258 | Thomas Nohrin | Introducing geometric adaptivity in a radial basis | Filip Malmberg |
2024
| Datum | Tid | Plats | Student | Titel | Granskare |
|---|---|---|---|---|---|
2024-05-24 | 13:15 | Ång/101258 | Erik Braathen & Viktor Bakken | Implementing Implicit Constraints for Local Search | Justin Pearson |
15:15 | Ång/101258 | Linda Strid | Performance analysis of data structures in Java using micro benchmarking | Ali Semi Yenimol | |
2024-05-27 | 9:15 | Ång/101172 | Tove Jansson | Validation of a formal floating-point model in Coq | Justin Pearson |
10:15 | Ång/101172 | Sabereh Hassanyazdi | From Data to Therapy: Machine Learning for High-Grade Glioma Treatment Personalization | Justin Pearson | |
11:15 | Ång/101172 | Olof Lindström | Validation of a formal floating-point model for the Interactive proof assistant Isabelle/HOL | Justin Pearson | |
13:15 | Ång/101172 | Victor Odebäck | CTriPio: Developing an Intermediate Representation of C code in Trieste for Static Analysis | Lars-Henrik Eriksson | |
2024-05-29 | 10:15 | Ång/101172 | Noah Wassberg | Implementing and Evaluating an LSTM Based Intrusion Detection System for IoT | Amin Kaveh |
11:15 | Ång/101172 | Ida Hellqvist | Streamlining Spectral Data Generation with Turbospectrum | Gesina Menz | |
16:15 | Ång/101172 | Simon Lalloo | Flexible Scheduling of Traveling Salesmen Using Traffic Data | Pontus Ekberg | |
2024-05-30 | 9:15 | Ång/101172 | Hugo Eidmann | Validation of HOL4’s Formal Floating-Point Model | Justin Pearson |
10:15 | Ång/101172 | Erik Odhner | Enabling Secure Communications with WireGuard in Decentralized Networks | Hannah Atmer | |
11:15 | Ång/101172 | Engla Marmefelt | Visualising greenhouse gas emissions from academic travel | Andrey Shternshis | |
14:15 | Ång/101172 | Arvid Lorén | Hybrid E/P Cores Prefetch Optimization | Chang Hyun Park | |
15:15 | Ång/101172 | Truls Karlsson | Enhancing Face Recognition Pipelines | Nikita Singh | |
2024-06-03 | 10:15 | Ång/101258 | Erik Magnehed | Developing and evaluating an automated test suite for Bubify | Max Kovalenko |
11:15 | Ång/101258 | Annika Elvers | Textual Metrics for Temporal Text Networks | Justin Pearson | |
13:15 | Ång/101258 | Max Malmros | Prefetching with Respect to Indirect Memory Accesses | Chang Hyun Park | |
2024-06-05 | 11:15 | Ång/101258 | Daniel Brown | Performance optimisation of an Intel Alderlake i9-12900K CPU via dynamic hardware prefetching | Stefanos Kaxiras |
2024-06-07 | 10:15 | Zoom only | Pouria Karami | Virtual dashboard UX design and development | David Black-Schaffer |
| 11:15 | Ång/101258 | Arvid Morelid | Dynamic software updates in embedded devices | Tiemo Voigt | |
2024-06-11 | 10:15 | Zoom Only | Nathalie Borglund | Security and application deployment using Docker | Yuan Yao |
2024-06-13 | 9:15 | Ång/101258 | Hampus Lyrstrand | Perceptions and Practices of Software and Technology in Men's Swedish Elite Football | Aletta Nylén |
10:15 | Ång/101258 | Zakarie Warsame | Enhancing User Engagement and Treatment Efficacy in Digital Health | David Black-Schaffer | |
11:15 | Ång/101258 | Samuel Lindberg | The Ability to Seperate Multiple Conversations Apart From One Another | Justin Pearson | |
2024-06-18 | 11:15 | Ång/101258 | Agron Metaj | Implementing and evaluating variations of the multicast DIS-flood attack on RPL | Christian Rohner |
2024-06-19 | 09:15 | Ång/101258 | Josef Tiljander | Identifying most improved students using learning analytics | Lars-Åke Nordén |
10:15 | Ång/101258 | Linus Hellström | Analyzing Various Implementations of the Radial Basis Function Partition of Unity Method for Option Pricing in 3D | Andreas Michael | |
11:15 | Ång/101258 | Linus Waehler | |||
13:15 | Ång/101258 | David Lide | Plate Layout Design Using Local Search | Justin Pearson | |
14:15 | Ång/101258 | Loran Daqouri | Performance Analysis of Time Series Databases for IoT Applications | Karl Marklund | |
15:15 | Ång/101258 | Erik Karlsson | The GNU Emacs Architecture And Concurrency: A Way Forward | Karl Marklund | |
2024-06-20 | 13:15 | Ång/101258 | Isak Drevestad | Parallel/Distributed State-Space Exploration in an Infinite-State Model Checker | Philipp Rümmer |
14:15 | Ång/101258 | Fredrik Jäderblom | Implementing and Evaluating FLATA Compatibility with Modern SMT Solvers | Philipp Rümmer | |
15:15 | Ång/101258 | Kalle Nordgren | Philipp Rümmer | ||
20/8 | 9.15-10.00 | Ång/101258 | Noa Lerch | Porting pre-proccessing algorithm for phase retrieval from MATLAB to GPU-based Python | Johannes Borgström |
20/8 | 10.15-11.00 | Ång/101258 | Victoria Täng | Ambient Light Characterization | Olle Gällmo |
17/9 | 13:00 | Zoom | Liam Anderberg | Introducing Integers into Floating-Point Rounding Error Static Analysis | Roman Iakymchuk |