Activities per year
Personal profile
Curriculum
Interdisciplinary research within Information Security, Formal Verification and AI areas.
Keywords
- Information Security, Robust Machine Learning, Formal Verification
-
Cyber Skills
Ieva Daukantas (Conference Chair)
25 Nov 2021 → 7 Dec 2021Activity: Participating in or organising an event types › Organisation and participation in conference
-
Danish Work Place Culture and Cultural Intelligence at Copenhagen Municipality
Ieva Daukantas (Speaker)
23 Nov 2021Activity: Talk or presentation types › Lecture and oral contribution
-
Towards AI Security: Formal Verification of Robust Mean Estimation at Federal Office for Information Security, Bonn, Germany
Ieva Daukantas (Speaker)
16 Nov 2021Activity: Talk or presentation types › Lecture and oral contribution
-
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation at PPDP 2021, Estonia
Ieva Daukantas (Speaker)
6 Sep 2021Activity: Talk or presentation types › Lecture and oral contribution