Fotografi av Valency Colaco

Valency Colaco

Doktorand

Publikationer

2023

Valency Colaco, Simin Nadjm-Tehrani (2023) Formal Verification of Tree Ensembles against Real-World Composite Geometric Perturbations Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), Artikel 38

Om Avdelningen för programvara och system (SAS)

En person sitter framför en datorskärm och hanterar en golvrobot

Programvara och system (SAS)

Programvara och system är en avdelning vid Institutionen för datavetenskap för forskning och utbildning inom programvaruteknik och datorsystem. Forskningen omfattar både grundforskning och projekt i samarbete med industrin.

Kollegor vid SAS

Fotografi av Azeem Ahmad

Förste forskningsingenjör

Simon Ahrenstedt

Antonia Arvanitaki

Fotografi av Klas Arvidsson

Universitetsadjunkt

Fotografi av Adeel Asghar

Fotografi av Mikael Asplund

Biträdande professor

Fotografi av Ayla Babazade

Fotografi av Aseel Berglund

Universitetslektor

Jonatan Billger

Fotografi av Lena Buffoni

Universitetslektor, Docent

Hanna Ekstam Ahlberg

Fotografi av Eric Ekström

Fotografi av Petru Eles

Professor emeritus

Tobias Elfstrand

Fotografi av John Enblom

Alexander Engström

Fotografi av Emma Enocksson Svensson

Emma Enocksson Svensson

Universitetsadjunkt

August Ernstsson

Fotografi av Reyhane Falanji

Reyhane Falanji

Fotografi av Peter Fritzson

Professor emeritus

Fotografi av Máté Földiák

Máté Földiák

Karl-Erik Gladysz

Fotografi av Pontus Haglund

Universitetsadjunkt

Viggo Hermansson

José Antonio Hernández López

Fotografi av Christoffer Holm

Christoffer Holm

Fotografi av Kamran Hosseini

Kamran Hosseini

Fotografi av Abdelazim Hussien

Abdelazim Hussien

Gustav Johansson

Oscar Johansson

Fotografi av Martin Jonson

Fotografi av Torbjörn Jonsson

Torbjörn Jonsson

Universitetsadjunkt, Enhetschef

Fotografi av Mariam Kamkar

Professor emerita

Mattias Karlsson

Fotografi av Christoph Kessler

Christoph Kessler

Professor, Avdelningschef

Fotografi av Sajad Khosravi

Mikael Lundgren

Torvald Mårtensson

Adjungerad universitetslektor

Fotografi av Simin Nadjm-Tehrani

Simin Nadjm-Tehrani

Professor, Enhetschef

Fotografi av Magnus Nielsen

Madeleine Nilsson

Fotografi av Viktor Olsson

Fotografi av Helena Orädd

Arunkumar Palanisamy

Fotografi av Zebo Peng

Proprefekt, Professor, Enhetschef

Fotografi av Roland Plaka

Fotografi av Adrian Pop

Förste forskningsingenjör, Docent

Hillevi Ragnemalm

Fotografi av Ahmed Rezine

Universitetslektor, Docent

Fotografi av Rodrigo Saar de Moraes

Rodrigo Saar de Moraes

Biträdande professor

Fotografi av Kristian Sandahl

Kristian Sandahl

Professor, Enhetschef

Fotografi av Navya Sivaraman

Navya Sivaraman

Fotografi av Martin Sjölund

Martin Sjölund

Universitetslektor

Charilaos Skandylas

Fotografi av Filip Strömbäck

Filip Strömbäck

Universitetslektor

Adjungerad universitetslektor

Fotografi av Axel Sundelin

August Svensson

Fotografi av Xiaopeng Teng

John Tinnerholm

Fotografi av Klervie Toczé

Jacob Törnberg Zeinetz

Fotografi av John Törnblom

Simon Törnqvist

Fotografi av Daniel Varro

Fotografi av Jonas Wallgren

Universitetsadjunkt

Fotografi av Yiran Wang

Johannes Wilson

Tove Winddotter

Fotografi av Andreas Wrisley

Andreas Wrisley

Erik von Nastase

Om Institutionen för datavetenskap (IDA)

Föreställer E-huset på Campus Valla.

Institutionen för datavetenskap (IDA)

En av de största datavetenskapliga institutionerna i norra Europa med forskning och utbildning inom AI, människa-datorinteraktion, programvaruteknik och datorsystem, och data science. Verksamheten är inriktad mot både teknisk och filosofisk fakultet.

Taggar