Ana Oliveira da Costa (@aolivecosta) 's Twitter Profile
Ana Oliveira da Costa

@aolivecosta

PhD student at TU Wien. Interested in beautiful computer science, formal methods and hyperproperties.
Proud producer of linktr.ee/thebrowniannot….

ID: 1512110837653245965

linkhttps://logic-cs.at/phd/students/ana-oliveira-da-costa/ calendar_today07-04-2022 16:52:06

5 Tweet

35 Followers

72 Following

VCLA at TU Wien (@vclatuwien) 's Twitter Profile Photo
VCLA at TU Wien
@vclatuwien

4 years ago

🌍As the world urgently needs more logic and rationality, Logic4Peace creates a platform for logicians to present their work and ➡ financially help colleagues in Ukraine ➡ support the charitable fund 'Voices of children' 📌find all information here: events.illc.uva.nl/Logic4Peace/Ab…

🌍As the world urgently needs more logic and rationality, Logic4Peace creates a platform for logicians to present their work and ➡ financially help colleagues in Ukraine ➡ support the charitable fund 'Voices of children' 📌find all information here: events.illc.uva.nl/Logic4Peace/Ab…
Fundamental Approaches to Software Engineering (@faseconf) 's Twitter Profile Photo
Fundamental Approaches to Software Engineering
@faseconf

4 years ago

Yay! The EASST best paper award at #etaps22 went to #fase22: Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira Da Costa. Information-flow Interfaces. Announced at the banquet yesterday by Gabi Taentzer, on the pic along with the PC chair Einar Broch Johnsen

Yay! The EASST best paper award at #etaps22 went to #fase22: Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira Da Costa. Information-flow Interfaces. Announced at the banquet yesterday by Gabi Taentzer, on the pic along with the PC chair <a href="/ebjohnsen/">Einar Broch Johnsen</a>
James Larus (@jameslarus) 's Twitter Profile Photo
James Larus
@jameslarus

4 years ago

Interesting essay on why Software Engineering research has accomplished little. Its insightful criticism applies to other CS fields as well. iansommerville.com/technology/res…

Magdalena Solitro (@magdasolitro) 's Twitter Profile Photo
Magdalena Solitro
@magdasolitro

a year ago

Last day of the workshop on "Asinchronus Hyperproperties: from Theory to Practice"! Kudos to Ana Oliveira da Costa and SPyCoDe_AT for organising this event, and big thanks to all the speakers!

Last day of the workshop on "Asinchronus Hyperproperties: from Theory to Practice"! Kudos to <a href="/AOliveCosta/">Ana Oliveira da Costa</a> and <a href="/SpyCoDeAT/">SPyCoDe_AT</a> for organising this event, and big thanks to all the speakers!
Einar Broch Johnsen (@ebjohnsen) 's Twitter Profile Photo
Einar Broch Johnsen
@ebjohnsen

a year ago

A pleasure to be on the PhD committee for Ana Oliveira da Costa, who did a great job defending her thesis today VCLA at TU Wien