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

🌍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

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

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

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!