Disputationer

Abstraction, Composition, and Resolvable Ambiguity in Programming Language Implementation

8 okt

Disputationer

Datalogi

tisdag 2024-10-08, 13.00

Plats: Ka-Sal A (Östen Mäkitalo), Kistagången 16, Kista

Videolänk: https://kth-se.zoom.us/j/66561560361

Respondent: Viktor Palmkvist , Programvaruteknik och datorsystem, SCS

2024-10-08T13:00:00.000+02:00 2024-10-08T13:00:00.000+02:00 Abstraction, Composition, and Resolvable Ambiguity in Programming Language Implementation (Disputationer) Ka-Sal A (Östen Mäkitalo), Kistagången 16, Kista (KTH, Stockholm, Sweden)Abstraction, Composition, and Resolvable Ambiguity in Programming Language Implementation (Disputationer)

Representation Learning and Parallelization for Machine Learning Applications with Graph, Tabular, and Time-Series Data

21 okt

Disputationer

Datalogi

måndag 2024-10-21, 09.00

Plats: Sal C, Electrum, Kistagången 16

Videolänk: https://kth-se.zoom.us/s/63322131109

Respondent: Tianze Wang , Programvaruteknik och datorsystem, SCS

2024-10-21T09:00:00.000+02:00 2024-10-21T09:00:00.000+02:00 Representation Learning and Parallelization for Machine Learning Applications with Graph, Tabular, and Time-Series Data (Disputationer) Sal C, Electrum, Kistagången 16 (KTH, Stockholm, Sweden)Representation Learning and Parallelization for Machine Learning Applications with Graph, Tabular, and Time-Series Data (Disputationer)

On factoring integers, and computing discrete logarithms and orders, quantumly

25 okt

Disputationer

Datalogi

fredag 2024-10-25, 10.00

Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm

Respondent: Martin Ekerå , Teoretisk datalogi, TCS, Swedish NCSA, Swedish Armed Forces

2024-10-25T10:00:00.000+02:00 2024-10-25T10:00:00.000+02:00 On factoring integers, and computing discrete logarithms and orders, quantumly (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)On factoring integers, and computing discrete logarithms and orders, quantumly (Disputationer)

Code-Reuse Attacks in Managed Programming Languages and Runtimes

1 nov

Disputationer

Datalogi

fredag 2024-11-01, 09.00

Plats: E2, 1337, Osquars backe 2

Videolänk: https://kth-se.zoom.us/s/67516226890

Respondent: Mikhail Shcherbakov , Teoretisk datalogi, TCS, Language-Based Security

2024-11-01T09:00:00.000+01:00 2024-11-01T09:00:00.000+01:00 Code-Reuse Attacks in Managed Programming Languages and Runtimes (Disputationer) E2, 1337, Osquars backe 2 (KTH, Stockholm, Sweden)Code-Reuse Attacks in Managed Programming Languages and Runtimes (Disputationer)

Robust and generalizable AI for medical image processing

8 nov

Disputationer

Datalogi

fredag 2024-11-08, 13.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Respondent: Emir Konuk , Beräkningsvetenskap och beräkningsteknik (CST)

2024-11-08T13:00:00.000+01:00 2024-11-08T13:00:00.000+01:00 Robust and generalizable AI for medical image processing (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Robust and generalizable AI for medical image processing (Disputationer)

Realisering av högpresterande tillståndsbaserade nätverksfunktionskedjor på standardhårdvara

18 nov

Disputationer

Informations- och kommunikationsteknik Datalogi

måndag 2024-11-18, 15.00

Plats: Sal C (Sven-Olof Öhrvik), seminar, Kistagången 16, plan 2, Kista

Videolänk: https://kth-se.zoom.us/j/65526555288

Respondent: Hamid Ghasemirahni , Programvaruteknik och datorsystem, SCS

2024-11-18T15:00:00.000+01:00 2024-11-18T15:00:00.000+01:00 Realisering av högpresterande tillståndsbaserade nätverksfunktionskedjor på standardhårdvara (Disputationer) Sal C (Sven-Olof Öhrvik), seminar, Kistagången 16, plan 2, Kista (KTH, Stockholm, Sweden)Realisering av högpresterande tillståndsbaserade nätverksfunktionskedjor på standardhårdvara (Disputationer)

Efficient Exploration and Analysis of Program Repair Search Spaces

22 nov

Disputationer

Datalogi

fredag 2024-11-22, 10.00

Plats: F3 (Flodis), Lindstedtsvägen 26, Sweden

Videolänk: https://kth-se.zoom.us/j/64148823838

Respondent: Khashayar Etemadi , Teoretisk datalogi, TCS

2024-11-22T10:00:00.000+01:00 2024-11-22T10:00:00.000+01:00 Efficient Exploration and Analysis of Program Repair Search Spaces (Disputationer) F3 (Flodis), Lindstedtsvägen 26, Sweden (KTH, Stockholm, Sweden)Efficient Exploration and Analysis of Program Repair Search Spaces (Disputationer)

Matchings, Maxflows, Matroids

27 nov

Disputationer

Datalogi

onsdag 2024-11-27, 14.00

Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm

Respondent: Joakim Blikstad , Teoretisk datalogi, TCS

2024-11-27T14:00:00.000+01:00 2024-11-27T14:00:00.000+01:00 Matchings, Maxflows, Matroids (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Matchings, Maxflows, Matroids (Disputationer)

Efficient Learning in Graphs and in Combinatorial Multi-Armed Bandits

6 dec

Disputationer

Datalogi

fredag 2024-12-06, 13.15

Plats: D2, Lindstedtsvägen 5, Stockholm

Videolänk: https://kth-se.zoom.us/j/66180403376?pwd=elYurvM09QfBT7I5xvTPEmoPX3rbaF.1

Respondent: Ruo-Chun Tzeng , Teoretisk datalogi, TCS

2024-12-06T13:15:00.000+01:00 2024-12-06T13:15:00.000+01:00 Efficient Learning in Graphs and in Combinatorial Multi-Armed Bandits (Disputationer) D2, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Efficient Learning in Graphs and in Combinatorial Multi-Armed Bandits (Disputationer)

Generative AI for Artifact Correction and Privacy-Secure Medical Imaging

13 dec

Disputationer

Datalogi

fredag 2024-12-13, 13.00

Plats: F2, Lindstedtsvägen 26 & 28, Stockholm

Videolänk: https://kth-se.zoom.us/j/69355780837

Respondent: Lennart Alexander Van der Goten , Beräkningsvetenskap och beräkningsteknik (CST), Science for Life Laboratory, SciLifeLab

2024-12-13T13:00:00.000+01:00 2024-12-13T13:00:00.000+01:00 Generative AI for Artifact Correction and Privacy-Secure Medical Imaging (Disputationer) F2, Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Generative AI for Artifact Correction and Privacy-Secure Medical Imaging (Disputationer)

Augmenting Test Oracles with Production Observations

13 dec

Disputationer

fredag 2024-12-13, 14.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Videolänk: https://kth-se.zoom.us/j/64605922145

Respondent: Deepika Tiwari , Programvaruteknik och datorsystem, SCS

2024-12-13T14:00:00.000+01:00 2024-12-13T14:00:00.000+01:00 Augmenting Test Oracles with Production Observations (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Augmenting Test Oracles with Production Observations (Disputationer)

Multilingual Language Models

16 dec

Disputationer

måndag 2024-12-16, 14.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Videolänk: https://kth-se.zoom.us/s/3719008936

Respondent: Evangelia Gogoulou , Programvaruteknik och datorsystem, SCS, RISE Research Institutes of Sweden

2024-12-16T14:00:00.000+01:00 2024-12-16T14:00:00.000+01:00 Multilingual Language Models (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Multilingual Language Models (Disputationer)

Methods for rapid phylogenetic inference and copy number variation detection from transcriptomics data

20 dec

Disputationer

Datalogi

fredag 2024-12-20, 13.00

Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm

Videolänk: https://kth-se.zoom.us/j/68990648769

Respondent: Semih Kurt , Beräkningsvetenskap och beräkningsteknik (CST), Science for Life Laboratory, SciLifeLab

2024-12-20T13:00:00.000+01:00 2024-12-20T13:00:00.000+01:00 Methods for rapid phylogenetic inference and copy number variation detection from transcriptomics data (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Methods for rapid phylogenetic inference and copy number variation detection from transcriptomics data (Disputationer)