Research output per year
Research output per year
Personal profile
Curriculum
Interdisciplinary research within Information Security, Formal Verification and AI areas.
Keywords
- Information Security, Robust Machine Learning, Formal Verification
Research output
- 1 Article in proceedings
-
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation
Daukantas, I., Bruni, A. & Schürmann, C., 2021, Proceedings of PPDP (Principles of Declarative Programing Languages). Association for Computing MachineryResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
-
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