• Project Assistant, MSc
• TU Wien
• Institute of Computer Engineering
• Favoritenstraße 9–11
• 1040 Wien
• Austria

---

• Room: HA 03 09
• Email: ana.costa [at] tuwien.ac.at
• Github:@anaolicosta

---

Research Interests

Interface theory, hyperproperties.

---

Current Position

• I am a fully funded PhD student in the Doctoral College Logical Methods in Computer Science since September 2018 under the supervision of Assistant Prof. Ezio BARTOCCI.

---

Education

• MSc: European Masters Program in Computational Logic (Technische Universität Dresden, Free University of Bozen - Bolzano, Technische Universität Wien)
• Master thesis: Puzzling Ignorance: A Modal Epistemic Tour
• BA: Computer Science (Universidade do Minho)

---

Publications

1. Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni: A Computational Logic Approach to Human Syllogistic Reasoning. CogSci 2017
2. Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler: Monadic Reasoning using Weak Completion Semantics. YSIP 2017: 45-54
3. Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni: Syllogistic Reasoning under the Weak Completion Semantics. Bridging@IJCAI 2016: 5-19