2023-24 updates

anjapetkovic · Aug 30, 2024 · 6344bd5 · 6344bd5
1 parent 2a3c3b6
commit 6344bd5
Show file tree

Hide file tree

Showing 3 changed files with 89 additions and 2 deletions.
diff --git a/citations/CCS23-bibtex.txt b/citations/CCS23-bibtex.txt
@@ -0,0 +1,16 @@
+@inproceedings{BruggerKovacsPetkovicRainRawson:checkmateCCS,
+author = {Brugger, Lea Salome and Kov\'{a}cs, Laura and Petkovic Komel, Anja and Rain, Sophie and Rawson, Michael},
+title = {CheckMate: Automated Game-Theoretic Security Reasoning},
+year = {2023},
+isbn = {9798400700507},
+publisher = {Association for Computing Machinery},
+address = {New York, NY, USA},
+url = {https://doi.org/10.1145/3576915.3623183},
+doi = {10.1145/3576915.3623183},
+booktitle = {Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security},
+pages = {1407-1421},
+numpages = {15},
+keywords = {automated reasoning, decentralized protocols, game theory, secure protocols, security analysis},
+location = {Copenhagen, Denmark},
+series = {CCS '23}
+}
diff --git a/citations/LPAR2024-bibtex.txt b/citations/LPAR2024-bibtex.txt
@@ -0,0 +1,14 @@
+@inproceedings{LPAR2024:Scaling_CheckMate_Game_Theoretic,
+  author    = {Sophie Rain and Lea Salome Brugger and Anja Petković Komel and Laura Kovács and Michael Rawson},
+  title     = {Scaling CheckMate for Game-Theoretic Security},
+  booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
+  editor    = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
+  series    = {EPiC Series in Computing},
+  volume    = {100},
+  publisher = {EasyChair},
+  bibsource = {EasyChair, https://easychair.org},
+  issn      = {2398-7340},
+  url       = {/publications/paper/6ZDH},
+  doi       = {10.29007/llnq},
+  pages     = {222-231},
+  year      = {2024}}
diff --git a/index.html b/index.html
@@ -125,6 +125,32 @@ <h1>Publications and talks</h1>
         <div class="main">
           <article class="big">
             <h2>Peer-reviewed conferences and journals</h2>
+            <div class="paper">
+              <h4>
+                <a href="https://easychair.org/publications/paper/6ZDH">
+                  Scaling CheckMate for Game-Theoretic Security
+                </a>
+              </h4>
+              <p>with Lea Brugger, Laura Kovács, Sophie Rain, and Michael Rawson</p>
+              <p class="conference">25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024)</p>
+              <div class="files">
+                <a href="https://easychair.org/publications/paper/6ZDH">PDF</a>
+                <a href="citations/LPAR2024-bibtex.txt">Bibtex</a>
+              </div>
+            </div>
+            <div class="paper">
+              <h4>
+                <a href="https://dl.acm.org/doi/10.1145/3576915.3623183">
+                  CheckMate: Automated Game-Theoretic Security Reasoning
+                </a>
+              </h4>
+              <p>with Lea Brugger, Laura Kovács, Sophie Rain, and Michael Rawson</p>
+              <p class="conference">2023 ACM SIGSAC Conference on Computer and Communications Security (CCS 2023)</p>
+              <div class="files">
+                <a href="https://dl.acm.org/doi/10.1145/3576915.3623183">PDF</a>
+                <a href="citations/CCS23-bibtex.txt">Bibtex</a>
+              </div>
+            </div>
             <div class="paper">
               <h4>
                 <a href="https://easychair.org/smart-program/FLoC2022/_paper2022868336.pdf">
@@ -160,7 +186,7 @@ <h4>
                 </a>
               </h4>
               <p>with Andrej Bauer and Philipp G. Haselwarter</p>
-              <p class="conference">ICMS (2020)</p>
+              <p class="conference">7th International Conference on Mathematical Software ICMS (2020)</p>
               <div class="files">
                 <a href="https://link.springer.com/content/pdf/10.1007%2F978-3-030-52200-1_25.pdf">PDF</a>
                 <a href="citations/eqchk-ICMS-bibtex.txt">Bibtex</a>
@@ -314,6 +340,8 @@ <h1>Employment</h1>
               <ul style="font-size: x-large;">
                 <li>January 2022 - present: <span class="keyword">Postdoctoral Researcher</span> at <a href="https://informatics.tuwien.ac.at/">Informatics department</a> of <a href="https://www.fmf.uni-lj.si/">TU Wien</a>, Austria with <a href="http://lkovacs.com/">Laura Kovács</a>.
                 </li>
+                <li>July 2023 - August 2024: <span class="keyword">Career break</span>: Maternity leave.
+                </li>
                 <li>October 2017 - December 2021: <span class="keyword">Researcher & PhD student & TA</span> at <a href="https://www.fmf.uni-lj.si/">Faculty of mathematics and physics,
                     University of Ljubljana</a>, Slovenia with <a href="http://andrej.com">Andrej Bauer</a>.
                 </li>
@@ -325,6 +353,33 @@ <h1>Employment</h1>
       <section class="dark" id="teaching">
         <h1>Teaching</h1>
         <div class="main">
+          During the three years of my postdoc at TU Wien, I had the chance to teach the students. I was honoured to get to design and lecure the course on type theories, teaching students the basics of type theories as mathematical foundation, as well as formalizing mathematics and software correctness in a proof assistant.
+          <article>
+            <h2>Introduction to type theories (Faculty of Informatics, TU Wien)</h2>
+            <p>
+              I had the honour to present type theories to students of informatics and mathematics at TU Wien. The purpose of this course was to familiarize the students with the concept of a type theory, the most commonly used type theories in practice and how we use type theories in proof assistants. The course fosuced on the mathematical foundation, the type theories and it comprised of the following topics:
+              <ul>
+                <li> Martin-Löf type theory (MLTT) - where we described the most common dependent types and ingredients of type theories.</li>
+                <li> Agda (proof assistant based on MLTT) - where we got to know how to use MLTT to formalize proofs.</li>
+                <li> Calculus of inductive constructions (CIC) - where we described the differences and nuances between different type theories.</li>
+                <li> Coq (proof assistant based on CIC) - where we gdt to know how to use CIC to formalize proofs in the most commonly used proof assistant.</li>
+                <li> Meta-theory of type theories -  where we formally defined a type theory and related it to first-order and other higher-order theories.</li>
+              </ul>
+             The students were graded based on 4 homeworks (two theoretical and two formalizations (one in Coq and one in Agda)) and an oral exam at the end.
+          </p>
+        </article>
+        <article>
+          <h2>Formal methods in infromatics (Faculty of Informatics, TU Wien)</h2>
+          <p>
+          I was a TA for master students of informatics.
+          <ul>
+            <li>In autumn 2023, I marked students' exams.</li>
+            <li>In spring 2023, I marked students' exams.</li>
+            <li>In autumn 2022, I marked students' exams.</li>
+            <li>In spring 2012, I marked students' exams.</li>
+          </ul>
+        </p>
+      </article>
           During the four years of my PhD I had the chance to teach the students of mathematics and physics at University of Ljubljana. Besides the courses listed below I conducted a workshop on advanced uses of Mathematica. Prior to that I was a tutor and demonstrator for mathematics and analysis courses at Faculty for mathematics and physics, University of Ljubljana.
           <article>
               <h2>Logic and sets (Faculty of Mathematics and Physics, University of Ljubljana)</h2>
@@ -377,6 +432,8 @@ <h2>Community service</h2>
               <ul>
                 <li>Cost action: CA20111 <a href="https://www.cost.eu/actions/CA20111/" />European Research Network on Formal Proofs</a>, management committee, gender balance coordinator. </li>
                 <li><a href="https://popl23.sigplan.org/home/CPP-2023" />CPP 2023</a>, programme committee.</li>
+                <li><a href="https://hott-uf.github.io/2023/" />HoTT/UF 2023</a>, organizing committee, programme committee, local organiser.</li>
+                <li><a href="https://europroofnet.github.io/women-epn-2023/" />Women in EuroProofNet 2023</a>, organizing committee.</li>
                 <li><a href="https://icfp22.sigplan.org/" />ICFP 2022</a>, organizing committee, virtualization chair.</li>
                 <li><a href="https://hott-uf.github.io/2022/" />HoTT/UF 2022</a>, organizing committee.</li>
                 <li><a href="https://europroofnet.github.io/women-epn-2022/" />Women in EuroProofNet 2022</a>, organizing committee.</li>
@@ -386,7 +443,7 @@ <h2>Community service</h2>
           <article>
             <h2>Outreach to society and media</h2>
             <p>
-              I believe the mission of scientists is not only discovering new science, but also communicating science and science-related issues to others, from fellow scientists to the general public. In October 2022 I gave a talk about gender balance in computer science for students at ENS Paris-Scalay (<a href="talks/2022-10-18-Paris-Seminar/2022-Oct-Paris-gender-gap-CS.pdf">slides</a>). In June 2022 I participated at a round table about the profession of a scientist, organized by Slovenian national radio station Val 202 (<a
+              I believe the mission of scientists is not only discovering new science, but also communicating science and science-related issues to others, from fellow scientists to the general public. In the years 2022 and 2023 I helped organise <a href="https://edulab.ifs.tuwien.ac.at/programme/volksschule-algorithmen/">workshops for school children at TU Wien</a>, to help them learn the concept of algorithm in a playful way. In October 2022 I gave a talk about gender balance in computer science for students at ENS Paris-Scalay (<a href="talks/2022-10-18-Paris-Seminar/2022-Oct-Paris-gender-gap-CS.pdf">slides</a>). In June 2022 I participated at a round table about the profession of a scientist, organized by Slovenian national radio station Val 202 (<a
               href="https://val202.rtvslo.si/podkast/frekvenca-x/31057643/174877423">audio</a>). From September 2019 to January 2022 I posed <a href="uganke.html">mathematical riddles</a> at the science show <a href="https://4d.rtvslo.si/oddaja/ugriznimo_znanost/65345770">Ugriznimo znanost</a> on Slovenian national television RTVSLO.
               In March 2020 I gave an interview for Metina Lista science podcasts (<a
               href="https://metinalista.si/meta-phodcast-110-anja-petkovic-matematicarka/">audio</a>) and in November 2019 an interview at the occasion of 100. anniversary of University of Ljubljana on Slovenian national radio station Val 202 (<a href="https://val202.rtvslo.si/2019/10/frekvenca-x-170/">audio</a>). In December 2018 I co-organised a round table called Women in Science and Technology (<a href="http://videolectures.net/single_okrogla_miza_zenske_v_znanosti/">video.</a>) with the collegues from Jožef Stefan Institute.