Miguel Correia
@miguelnpcorreiaFull Professor@IST ULisboa | Researcher@INESC-ID| [email protected] | BoardMember@Técnico+ | NationalRep.@European Blockchain Partnership
Similar User
@InescID
@informatica_IST
@hnicolau
@YejinChoinka
@arlindooliveira
@big_tecnico
@KuCoinUpdates
@WrappedBTC
@cabindotcity
@paxful
@luxor
@R2Rsquared
@tip_nz
@iti_larsys
@tommyk_sei
We're looking for a Research Assistant in Security and/or Privacy (INESC-ID, Lisbon, Portugal). Info here: euraxess.ec.europa.eu/jobs/194195
I spent far too long understanding this paper about consistency levels and microservices, here's my review: emptysqua.re/blog/review-an…
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.
Hot of the press link.springer.com/book/10.1007/9… #IDSSMLKD #LUMLIS
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.
"Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols", a role that has to be clarified arxiv.org/abs/2312.05714
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
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
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…
🗓️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…
Professores do DEI entre os 2% de Cientistas Mais Influentes do Mundo! Toda a notícia aqui: s.rnl.pt/W43-04
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
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
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
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
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
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.
United States Trends
- 1. Cowboys 56,4 B posts
- 2. Bears 81,3 B posts
- 3. Chiefs 73,6 B posts
- 4. 49ers 24,8 B posts
- 5. Panthers 44,8 B posts
- 6. Christian Watson 2.048 posts
- 7. Texans 30,6 B posts
- 8. Turpin 14 B posts
- 9. Deebo 4.387 posts
- 10. Niners 4.794 posts
- 11. Commanders 62 B posts
- 12. Josh Jacobs 2.932 posts
- 13. Caleb 39,9 B posts
- 14. Vikings 48,8 B posts
- 15. #GoPackGo 4.940 posts
- 16. Xavier McKinney 1.381 posts
- 17. Raiders 25 B posts
- 18. Flus 5.733 posts
- 19. Brandon Allen 3.207 posts
- 20. #Seahawks 2.948 posts
Who to follow
-
INESC-ID
@InescID -
Informática no Técnico
@informatica_IST -
Hugo Nicolau
@hnicolau -
Yejin Choi
@YejinChoinka -
Arlindo Oliveira
@arlindooliveira -
BIG ERA Chair
@big_tecnico -
KuCoin Updates
@KuCoinUpdates -
WBTC
@WrappedBTC -
Cabin
@cabindotcity -
Paxful
@paxful -
Luxor Technology 🟧⛏️
@luxor -
Ricardo Reis
@R2Rsquared -
TIP_NZ
@tip_nz -
Interactive Technologies Institute
@iti_larsys -
Tommy | Sei Foundation
@tommyk_sei
Something went wrong.
Something went wrong.