Disputationer

Proving Safety and Security of Binary Programs

2 jun

Disputationer

Datalogi

fredag 2023-06-02, 09.00

Plats: L1, Drottning Kristinas väg 30, Stockholm

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

Respondent: Andreas Lindner , Teoretisk datalogi, TCS

2023-06-02T09:00:00.000+02:00 2023-06-02T09:00:00.000+02:00 Proving Safety and Security of Binary Programs (Disputationer) L1, Drottning Kristinas väg 30, Stockholm (KTH, Stockholm, Sweden)Proving Safety and Security of Binary Programs (Disputationer)

Towards Privacy Preserving Intelligent Systems

2 jun

Disputationer

Datalogi

fredag 2023-06-02, 09.00

Plats: E2, Lindstedtsvägen 3, Stockholm

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

Respondent: Md Sakib Nizam Khan , Teoretisk datalogi, TCS

2023-06-02T09:00:00.000+02:00 2023-06-02T09:00:00.000+02:00 Towards Privacy Preserving Intelligent Systems (Disputationer) E2, Lindstedtsvägen 3, Stockholm (KTH, Stockholm, Sweden)Towards Privacy Preserving Intelligent Systems (Disputationer)

Sequential Data Learning, Scalable Models and Adversarial Regularization

5 jun

Disputationer

måndag 2023-06-05, 14.00

Plats: E32, Osquars backe 2

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

Respondent: Jin Huang , Teknisk informationsvetenskap

2023-06-05T14:00:00.000+02:00 2023-06-05T14:00:00.000+02:00 Sequential Data Learning, Scalable Models and Adversarial Regularization (Disputationer) E32, Osquars backe 2 (KTH, Stockholm, Sweden)Sequential Data Learning, Scalable Models and Adversarial Regularization (Disputationer)

Generating Optimized and Secure Binary Code

7 jun

Disputationer

Informations- och kommunikationsteknik Informations- och kommunikationsteknik

onsdag 2023-06-07, 13.00

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

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

Respondent: Rodothea Myrsini Tsoupidi , Programvaruteknik och datorsystem, SCS

2023-06-07T13:00:00.000+02:00 2023-06-07T13:00:00.000+02:00 Generating Optimized and Secure Binary Code (Disputationer) F3, Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Generating Optimized and Secure Binary Code (Disputationer)

Sound Notation

7 jun

Disputationer

Medieteknik

onsdag 2023-06-07, 14.00

Plats: Nathan Milsteinsalen, Kungl. Musikhögskolan, Valhallavägen 105

Respondent: Sköld Mattias , Medieteknik och interaktionsdesign, MID, Kungl. Musikhögskolan, Institutionen för komposition, dirigering och musikteori, Sound and Music Computing

2023-06-07T14:00:00.000+02:00 2023-06-07T14:00:00.000+02:00 Sound Notation (Disputationer) Nathan Milsteinsalen, Kungl. Musikhögskolan, Valhallavägen 105 (KTH, Stockholm, Sweden)Sound Notation (Disputationer)

Shape and Being Shaped

8 jun

Disputationer

Människa-datorinteraktion

torsdag 2023-06-08, 14.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

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

Respondent: Charles Windlin , Medieteknik och interaktionsdesign, MID, Interaction Design

2023-06-08T14:00:00.000+02:00 2023-06-08T14:00:00.000+02:00 Shape and Being Shaped (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Shape and Being Shaped (Disputationer)

Converging Creativity

9 jun

Disputationer

Medieteknik

fredag 2023-06-09, 09.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Respondent: Claudio Panariello , Medieteknik och interaktionsdesign, MID, Sound and Music Computing

2023-06-09T09:00:00.000+02:00 2023-06-09T09:00:00.000+02:00 Converging Creativity (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Converging Creativity (Disputationer)

Towards Decentralized Graph Learning

9 jun

Disputationer

Informations- och kommunikationsteknik

fredag 2023-06-09, 09.00

Plats: Sal-C, Kistagången 16

Respondent: Lodovico Giaretta , Programvaruteknik och datorsystem, SCS

2023-06-09T09:00:00.000+02:00 2023-06-09T09:00:00.000+02:00 Towards Decentralized Graph Learning (Disputationer) Sal-C, Kistagången 16 (KTH, Stockholm, Sweden)Towards Decentralized Graph Learning (Disputationer)

Learning Behavior Trees for Collaborative Robotics

12 jun

Disputationer

Datalogi

måndag 2023-06-12, 10.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Respondent: Matteo Iovino , Robotik, perception och lärande, RPL

2023-06-12T10:00:00.000+02:00 2023-06-12T10:00:00.000+02:00 Learning Behavior Trees for Collaborative Robotics (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Learning Behavior Trees for Collaborative Robotics (Disputationer)

Spintronic and Electronic Oscillators for Magnetic Field Sensing and Ising Machines

12 jun

Disputationer

Informations- och kommunikationsteknik

måndag 2023-06-12, 13.00

Plats: Sal C, Electrum, Kistagången 16, Kista

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

Respondent: Dagur Ingi Albertsson , Elektronik och inbyggda system

2023-06-12T13:00:00.000+02:00 2023-06-12T13:00:00.000+02:00 Spintronic and Electronic Oscillators for Magnetic Field Sensing and Ising Machines (Disputationer) Sal C, Electrum, Kistagången 16, Kista (KTH, Stockholm, Sweden)Spintronic and Electronic Oscillators for Magnetic Field Sensing and Ising Machines (Disputationer)

Structured Representations for Explainable Deep Learning

12 jun

Disputationer

Datalogi

måndag 2023-06-12, 14.00

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

Respondent: Federico Baldassarre , Robotik, perception och lärande, RPL

2023-06-12T14:00:00.000+02:00 2023-06-12T14:00:00.000+02:00 Structured Representations for Explainable Deep Learning (Disputationer) F3, Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Structured Representations for Explainable Deep Learning (Disputationer)

Formal Verification of Peripheral Memory Isolation

14 jun

Disputationer

Datalogi

onsdag 2023-06-14, 15.00

Plats: D3 Lindstedtsvägen 9

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

Respondent: Jonas Haglund , Teoretisk datalogi, TCS

2023-06-14T15:00:00.000+02:00 2023-06-14T15:00:00.000+02:00 Formal Verification of Peripheral Memory Isolation (Disputationer) D3 Lindstedtsvägen 9 (KTH, Stockholm, Sweden)Formal Verification of Peripheral Memory Isolation (Disputationer)

Statistical Learning in Linearly Structured Systems: Identification, Control, and Reinforcement Learning

14 jun

Disputationer

Elektro- och systemteknik

onsdag 2023-06-14, 16.00

Plats: D2, Lindstedtsvägen 5, Stockholm

Respondent: Yassir Jedra , Reglerteknik

2023-06-14T16:00:00.000+02:00 2023-06-14T16:00:00.000+02:00 Statistical Learning in Linearly Structured Systems: Identification, Control, and Reinforcement Learning (Disputationer) D2, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Statistical Learning in Linearly Structured Systems: Identification, Control, and Reinforcement Learning (Disputationer)

An Emulation-Based Performance Evaluation Methodology for Edge Computing and Latency Sensitive Applications

15 jun

Disputationer

Elektro- och systemteknik

torsdag 2023-06-15, 13.00

Plats: U61, Brinellvägen 26, Stockholm

Respondent: Manuel Osvaldo Olguín Muñoz , Teknisk informationsvetenskap

2023-06-15T13:00:00.000+02:00 2023-06-15T13:00:00.000+02:00 An Emulation-Based Performance Evaluation Methodology for Edge Computing and Latency Sensitive Applications (Disputationer) U61, Brinellvägen 26, Stockholm (KTH, Stockholm, Sweden)An Emulation-Based Performance Evaluation Methodology for Edge Computing and Latency Sensitive Applications (Disputationer)

Designing Monstrous Experiences Through Soma Design

15 jun

Disputationer

Människa-datorinteraktion

torsdag 2023-06-15, 14.00

Plats: D3, Lindstedtsvägen 5, Stockholm

Respondent: Pavel Karpashevich , Medieteknik och interaktionsdesign, MID

2023-06-15T14:00:00.000+02:00 2023-06-15T14:00:00.000+02:00 Designing Monstrous Experiences Through Soma Design (Disputationer) D3, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Designing Monstrous Experiences Through Soma Design (Disputationer)