我是一名博士后研究员劳拉·科瓦奇在中福西特组信息学部属于维也纳工业大学在奥地利维也纳。我的主要研究兴趣在于类型理论、它在证明助手中的应用、自动定理证明、它在区块链协议中的应用以及逻辑。

国际研讨会（主要是同行评审）

逻辑与集合（卢布尔雅那大学数学与物理学院）

我是一名助教，为一年级数学本科生开设数学基础课程：一阶逻辑和集合论。

• 2020年秋，我是一个小组的助教，我为学生的考试评分。
• 2019年秋天，我是一个小组的助教，为学生的考试打分。
• 2018年秋季，我是一个小组的助教，我为学生的考试打分。
• 2017年秋季，我是一个小组的助教，我为学生的考试打分。

编程导论（卢布尔雅那大学数学和物理学院）

我是数学和金融数学专业一年级学生的助教，给他们上了一门关于python编程的入门课程。

• 2021年春天，我是一个小组的助教，我为学生的考试评分。
• 2020年春天，我是一个小组的助教，我标记学生的项目。
• 2019年春天，我是一个小组的助教，我批改了学生的考试。

用英语教授数学和物理（卢布尔雅那大学数学和物理学院）

我是教育数学和教育物理硕士研究生的助教。我们讨论了用英语教授数学的不同方法，并涵盖了各种高中水平主题的词汇。

• 2021年春天，我是一名助教，负责标记学生的课程作业。

软件

CheckMate公司是一个框架，用于自动检查来自链外（区块链）协议的游戏的安全属性。该框架针对以下属性产生了一个策略（如果存在的话）：弱免疫力、共谋弹性和实用性。

仙女座是（标准）有限类型理论的实现，允许用户定义自己的类型理论。它基于ML风格的元语言，支持通过跑步者和双向评估进行证明开发。它实现了一个用户可扩展的等式检查算法。

社区服务

• 成本行动：CA20111欧洲形式证明研究网络、管理委员会、性别平衡协调员。
• CPP 2023年，项目委员会。
• ICFP 2022年、组委会、虚拟化主席。
• HoTT/UF 2022年，组委会。
• 2022年EuroProofNet中的女性，组委会。
• 地中海沿岸数学界的女性2019年9月，斯洛文尼亚布莱德，组委会。

向社会和媒体宣传

我相信科学家的使命不仅是发现新的科学，而且是将科学和科学相关的问题传播给其他人，从科学家同伴到公众。2022年10月，我在ENS Paris-Scalay为学生们做了一次关于计算机科学中性别平衡的演讲(幻灯片). 2022年6月，我参加了斯洛文尼亚国家广播电台Val 202举办的关于科学家职业的圆桌会议(音频). 2019年9月至2022年1月，我提出数学谜语在科学展上Ugriznimo znanost公司斯洛文尼亚国家电视台RTVSLO。2020年3月，我接受了Metina Lista科学播客的采访(音频)2019年11月，在100周年之际接受采访。斯洛文尼亚国家广播电台Val 202卢布尔雅那大学周年纪念(音频). 2018年12月，我共同组织了一次圆桌会议，名为“女性参与科学技术”(视频。)和乔伊夫·斯特凡学院的学生们一起。