@miguelnpcorreia Profile picture

Miguel Correia

@miguelnpcorreia

Full Professor@IST ULisboa | Researcher@INESC-ID| [email protected] | BoardMember@Técnico+ | NationalRep.@European Blockchain Partnership

Similar User
INESC-ID photo

@InescID

Informática no Técnico photo

@informatica_IST

Hugo Nicolau photo

@hnicolau

Yejin Choi photo

@YejinChoinka

Arlindo Oliveira photo

@arlindooliveira

BIG ERA Chair photo

@big_tecnico

KuCoin Updates photo

@KuCoinUpdates

WBTC photo

@WrappedBTC

Cabin photo

@cabindotcity

Paxful photo

@paxful

Luxor Technology 🟧⛏️ photo

@luxor

Ricardo Reis photo

@R2Rsquared

TIP_NZ photo

@tip_nz

Interactive Technologies Institute photo

@iti_larsys

Tommy | Sei Foundation photo

@tommyk_sei

very interesting!

This post is unavailable.

Miguel Correia Reposted

I spent far too long understanding this paper about consistency levels and microservices, here's my review: emptysqua.re/blog/review-an…


Miguel Correia Reposted

We lost a titan of programming languages, programming methodology, software engineering and hardware design. Niklaus Wirth passed away on the first of January. We mourn a pioneer, colleague, mentor and friend.


Miguel Correia Reposted

An IBM slide from 1979.

Tweet Image 1

Miguel Correia Reposted

I just read this paper and I'm gonna do a thread about what it says and what I think it means. tl;dr: this is cool, I love it, and also I don't think it really says very much at all about, for example, if ChatGPT can make new discoveries or act autonomously or be AGI.

This post is unavailable.

"Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols", a role that has to be clarified arxiv.org/abs/2312.05714


Miguel Correia Reposted

Honouring the #InternationalDayOfDisabledPersons, Técnico will share stories of tens of research projects that can have a positive impact on the lives of people with disabilities. 🧵 (1/25) 🔗 Full story: tinyurl.com/2sr6akf8 #TécnicoScience #TécnicoLisboa #ULisboa

Tweet Image 1

Miguel Correia Reposted

The Computer Science and Engineering Department of the Instituto Superior Técnico is carrying out an open search process for possible candidates for openings for faculty positions to happen in mid-2024. Final Call! More information here: s.rnl.pt/W45-01

Tweet Image 1

Miguel Correia Reposted

AI Photography is becoming so realistic that we should start questioning any image whose source we don't already trust. A short post on the problem and potential solutions. m-cacm.acm.org/blogs/blog-cac…


Miguel Correia Reposted

🗓️November 9th I BlockchainPT mobilizing agenda kick off meeting at Startup Leiria to present its vision on how to promote the use of #blockchain in 🇵🇹 ▶️Led by VOID Software, the consortium has 56 partner institutions including #INESCID. More info👇 inesc-id.pt/events/blockch…


Miguel Correia Reposted

Professores do DEI entre os 2% de Cientistas Mais Influentes do Mundo! Toda a notícia aqui: s.rnl.pt/W43-04

Tweet Image 1

Miguel Correia Reposted

The Computer Science and Engineering Department of the Instituto Superior Técnico - Universidade de Lisboa is carrying out an open search process for possible candidates for openings for faculty positions to happen in mid-2024. Deadline Approaching! s.rnl.pt/W43-01

Tweet Image 1

Miguel Correia Reposted

Lição de Jubilação do Professor José Manuel da Costa Alves Marques no dia 19 de dezembro. Toda a informação aqui: s.rnl.pt/W41-03

Tweet Image 1

Miguel Correia Reposted

The🇵🇹Supreme Court of Justice presented last week a new set of tools based on #AI techniques to allow an easier access to court decisions and the anonymization of judicial proceedings. ➡️A project developed at @InescID I @istecnico I @ISCTEIUL ℹ️shorturl.at/zEF03

Tweet Image 1
Tweet Image 2
Tweet Image 3

Miguel Correia Reposted

You desk rejected their seminal paper.

The #NobelPrize in Physiology or Medicine has been awarded to Katalin Karikó and Drew Weissman for their "discoveries concerning nucleoside base modifications that enabled the development of effective mRNA vaccines against COVID-19" More to follow

Tweet Image 1


Miguel Correia Reposted

The Computer Science and Engineering Department of the Instituto Superior Técnico - Universidade de Lisboa is carrying out an open search process for possible candidates for openings for faculty positions to happen in mid-2024. More information here: s.rnl.pt/W38-01

Tweet Image 1

Miguel Correia Reposted

Security headlines over the past 2-3 days: - Two Apple iOS, macOS zero-days - Adobe PDF Reader 0day exploited - Cisco ASA 0day exploited in Akira ransomware - Google patches Chrome 0-da reported by Apple - Microsoft Patches 2 New Exploited zero-days Stay blessed.


Loading...

Something went wrong.


Something went wrong.