Kalender

Optimering av energieffektivitet i trådlösa länkar genom optimala kvoter och rekonfigurerbara intelligenta ytor

4 mar

Licentiatseminarier

Informations- och kommunikationsteknik

måndag 2024-03-04, 13.00

Plats: Amiga, Kistagången 16, Kista

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

Licentiand: Anders Enqvist , Kommunikationssystem, CoS, Communication Systems

2024-03-04T13:00:00.000+01:00 2024-03-04T13:00:00.000+01:00 Optimering av energieffektivitet i trådlösa länkar genom optimala kvoter och rekonfigurerbara intelligenta ytor (Licentiatseminarier) Amiga, Kistagången 16, Kista (KTH, Stockholm, Sweden)Optimering av energieffektivitet i trådlösa länkar genom optimala kvoter och rekonfigurerbara intelligenta ytor (Licentiatseminarier)

Embodying Politeness in Persuasive Humanoid Agents for Small Group Scenarios

6 mar

Disputationer

onsdag 2024-03-06, 10.00

Plats: Visualization Studio VIC, Lindstedtsvägen 7

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

Respondent: Sahba Zojaji , Beräkningsvetenskap och beräkningsteknik (CST)

2024-03-06T10:00:00.000+01:00 2024-03-06T10:00:00.000+01:00 Embodying Politeness in Persuasive Humanoid Agents for Small Group Scenarios (Disputationer) Visualization Studio VIC, Lindstedtsvägen 7 (KTH, Stockholm, Sweden)Embodying Politeness in Persuasive Humanoid Agents for Small Group Scenarios (Disputationer)

RF energiutvinning för nollenergienheter och omkonfigurerbara intelligenta ytor

6 mar

Disputationer

Informations- och kommunikationsteknik

onsdag 2024-03-06, 13.00

Plats: Ka-Sal B (Peter Weissglas), Kistagången 16, Kista

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

Respondent: Morteza Tavana , Kommunikationssystem, CoS

2024-03-06T13:00:00.000+01:00 2024-03-06T13:00:00.000+01:00 RF energiutvinning för nollenergienheter och omkonfigurerbara intelligenta ytor (Disputationer) Ka-Sal B (Peter Weissglas), Kistagången 16, Kista (KTH, Stockholm, Sweden)RF energiutvinning för nollenergienheter och omkonfigurerbara intelligenta ytor (Disputationer)

Towards Trustworthy Machine Learning For Human Activity Recognition

6 mar

Disputationer

Datalogi Informations- och kommunikationsteknik

onsdag 2024-03-06, 13.00

Plats: Sal C, Kistagången 16, Kista

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

Respondent: Debaditya Roy , Programvaruteknik och datorsystem, SCS

2024-03-06T13:00:00.000+01:00 2024-03-06T13:00:00.000+01:00 Towards Trustworthy Machine Learning For Human Activity Recognition (Disputationer) Sal C, Kistagången 16, Kista (KTH, Stockholm, Sweden)Towards Trustworthy Machine Learning For Human Activity Recognition (Disputationer)

Mjukvarudiversifiering för WebAssembly

7 mar

Disputationer

Informations- och kommunikationsteknik

torsdag 2024-03-07, 16.00

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

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

Respondent: Javier Cabrera Arteaga , Programvaruteknik och datorsystem, SCS

2024-03-07T16:00:00.000+01:00 2024-03-07T16:00:00.000+01:00 Mjukvarudiversifiering för WebAssembly (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28 (KTH, Stockholm, Sweden)Mjukvarudiversifiering för WebAssembly (Disputationer)

Hårdvaruförvrängningsmedveten strålformning för MIMO-system

12 mar

Licentiatseminarier

Informations- och kommunikationsteknik

tisdag 2024-03-12, 13.15

Plats: Ka-301, Kistagången 16, Kista

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

Licentiand: Yasaman Khorsandmanesh , Kommunikationssystem, CoS

2024-03-12T13:15:00.000+01:00 2024-03-12T13:15:00.000+01:00 Hårdvaruförvrängningsmedveten strålformning för MIMO-system (Licentiatseminarier) Ka-301, Kistagången 16, Kista (KTH, Stockholm, Sweden)Hårdvaruförvrängningsmedveten strålformning för MIMO-system (Licentiatseminarier)

Automated Deductive Verification of Safety-Critical Embedded Software

15 mar

Disputationer

Datalogi

fredag 2024-03-15, 13.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

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

Respondent: Christian Lidström , Teoretisk datalogi, TCS

2024-03-15T13:00:00.000+01:00 2024-03-15T13:00:00.000+01:00 Automated Deductive Verification of Safety-Critical Embedded Software (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Automated Deductive Verification of Safety-Critical Embedded Software (Disputationer)

Mot Högeffektiva GPU-centrerade Nätverk

10 apr

Licentiatseminarier

Datalogi Informations- och kommunikationsteknik

onsdag 2024-04-10, 09.00

Plats: Webinar: Sal C (Sven-Olof Öhrvik) at Electrum, Kistagången 16, Sweden

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

Licentiand: Massimo Girondi , Programvaruteknik och datorsystem, SCS, NSLAB

2024-04-10T09:00:00.000+02:00 2024-04-10T09:00:00.000+02:00 Mot Högeffektiva GPU-centrerade Nätverk (Licentiatseminarier) Webinar: Sal C (Sven-Olof Öhrvik) at Electrum, Kistagången 16, Sweden (KTH, Stockholm, Sweden)Mot Högeffektiva GPU-centrerade Nätverk (Licentiatseminarier)

Mobilitetshantering och Lokalisering för Mobilanslutna UAV:er

12 apr

Licentiatseminarier

fredag 2024-04-12, 14.00

Plats: Amiga, Kistagången 16, Kista

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

Licentiand: Irshad Ahmad Meer , Kommunikationssystem, CoS

2024-04-12T14:00:00.000+02:00 2024-04-12T14:00:00.000+02:00 Mobilitetshantering och Lokalisering för Mobilanslutna UAV:er (Licentiatseminarier) Amiga, Kistagången 16, Kista (KTH, Stockholm, Sweden)Mobilitetshantering och Lokalisering för Mobilanslutna UAV:er (Licentiatseminarier)

Security Seminar: Blinded Memory with N. Asokan

16 maj

Seminarier och föreläsningar (svenska)

torsdag 2024-05-16, 16.00 - 17.00

Medverkande: Prof. N. Asokan, University of Waterloo, Canada

Plats: Amiga, Kistagången 16

Videolänk: Zoom

2024-05-16T16:00:00.000+02:00 2024-05-16T17:00:00.000+02:00 Security Seminar: Blinded Memory with N. Asokan (Seminarier och föreläsningar (svenska)) Amiga, Kistagången 16 (KTH, Stockholm, Sweden)Security Seminar: Blinded Memory with N. Asokan (Seminarier och föreläsningar (svenska))

High Performance Computing for the Optimization of Radiation Therapy Treatment Plans

22 maj

Disputationer

Datalogi

onsdag 2024-05-22, 14.00

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

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

Respondent: Felix Liu , Beräkningsvetenskap och beräkningsteknik (CST), RaySearch Laboratories

2024-05-22T14:00:00.000+02:00 2024-05-22T14:00:00.000+02:00 High Performance Computing for the Optimization of Radiation Therapy Treatment Plans (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)High Performance Computing for the Optimization of Radiation Therapy Treatment Plans (Disputationer)

Direct Numerical Simulation of Turbulence on Heterogenous Computer Systems

24 maj

Disputationer

Datalogi

fredag 2024-05-24, 09.15

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

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

Respondent: Martin Karp , Beräkningsvetenskap och beräkningsteknik (CST)

2024-05-24T09:15:00.000+02:00 2024-05-24T09:15:00.000+02:00 Direct Numerical Simulation of Turbulence on Heterogenous Computer Systems (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Direct Numerical Simulation of Turbulence on Heterogenous Computer Systems (Disputationer)

Optimizing Neural Network Models for Healthcare and Federated Learning

29 maj

Licentiatseminarier

Datalogi

onsdag 2024-05-29, 09.30

Plats: Webinar, Sal C (Sven-Olof Öhrvik) at Electrum, Kungliga Tekniska högskolan, Kistagången 16, Kista

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

Licentiand: PhD Student Giacomo Verardo , Network Systems Laboratory (NS Lab)

2024-05-29T09:30:00.000+02:00 2024-05-29T09:30:00.000+02:00 Optimizing Neural Network Models for Healthcare and Federated Learning (Licentiatseminarier) Webinar, Sal C (Sven-Olof Öhrvik) at Electrum, Kungliga Tekniska högskolan, Kistagången 16, Kista (KTH, Stockholm, Sweden)Optimizing Neural Network Models for Healthcare and Federated Learning (Licentiatseminarier)

Artificial Intelligence for Medical Image Analysis with Limited Data

30 maj

Disputationer

Datalogi

torsdag 2024-05-30, 13.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Respondent: Christos Matsoukas , Beräkningsvetenskap och beräkningsteknik (CST), Kevin Smith

2024-05-30T13:00:00.000+02:00 2024-05-30T13:00:00.000+02:00 Artificial Intelligence for Medical Image Analysis with Limited Data (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Artificial Intelligence for Medical Image Analysis with Limited Data (Disputationer)

Toward automated veracity assessment of data from open sources using features and indicators

3 jun

Disputationer

Informations- och kommunikationsteknik

måndag 2024-06-03, 13.30

Plats: Sal C, Kistagången 16

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

Respondent: Marianela García Lozano , Programvaruteknik och datorsystem, SCS

2024-06-03T13:30:00.000+02:00 2024-06-03T13:30:00.000+02:00 Toward automated veracity assessment of data from open sources using features and indicators (Disputationer) Sal C, Kistagången 16 (KTH, Stockholm, Sweden)Toward automated veracity assessment of data from open sources using features and indicators (Disputationer)

Machine Learning Methods for Image-based Phenotypic Profiling in Early Drug Discovery

12 jun

Disputationer

Datalogi

onsdag 2024-06-12, 14.00

Plats: D3, Lindstedtsvägen 5, Stockholm

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

Respondent: Johan Fredin Haslum , Beräkningsvetenskap och beräkningsteknik (CST)

2024-06-12T14:00:00.000+02:00 2024-06-12T14:00:00.000+02:00 Machine Learning Methods for Image-based Phenotypic Profiling in Early Drug Discovery (Disputationer) D3, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Machine Learning Methods for Image-based Phenotypic Profiling in Early Drug Discovery (Disputationer)

Models of Corticostriatal Synaptic Plasticity and Plateau Potentials in Striatal Projection Neurons

25 sep

Disputationer

Datalogi

onsdag 2024-09-25, 10.00

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

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

Respondent: Daniel Trpevski , Beräkningsvetenskap och beräkningsteknik (CST), Jeanette Hellgren Kotaleski

2024-09-25T10:00:00.000+02:00 2024-09-25T10:00:00.000+02:00 Models of Corticostriatal Synaptic Plasticity and Plateau Potentials in Striatal Projection Neurons (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Models of Corticostriatal Synaptic Plasticity and Plateau Potentials in Striatal Projection Neurons (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)

Automated Optimizations for Inference in Probabilistic Programming Languages

14 okt

Licentiatseminarier

Datalogi

måndag 2024-10-14, 13.00

Plats: Room Ada, Electrum, Kistagangen 16

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

Licentiand: Gizem Çaylak , Programvaruteknik och datorsystem, SCS

2024-10-14T13:00:00.000+02:00 2024-10-14T13:00:00.000+02:00 Automated Optimizations for Inference in Probabilistic Programming Languages (Licentiatseminarier) Room Ada, Electrum, Kistagangen 16 (KTH, Stockholm, Sweden)Automated Optimizations for Inference in Probabilistic Programming Languages (Licentiatseminarier)

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)

Establishing Trust, Efficiency and Simplicity in Data Systems

17 dec

Docentföreläsningar

tisdag 2024-12-17, 14.00

Medverkande: Paris Carbone

Plats: H1, Teknikringen 33, Campus Valhalla

2024-12-17T14:00:00.000+01:00 2024-12-17T14:00:00.000+01:00 Establishing Trust, Efficiency and Simplicity in Data Systems (Docentföreläsningar) H1, Teknikringen 33, Campus Valhalla (KTH, Stockholm, Sweden)Establishing Trust, Efficiency and Simplicity in Data Systems (Docentföreläsningar)

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)