Pawel Sobocinski

1.6K posts

Pawel Sobocinski

Pawel Sobocinski

@PawSob

Academic. Fan of concurrency, string diagrams and linear algebra (https://t.co/kvk4u228p2). Head of Compositionality Group at Taltech (https://t.co/W0XAIhMCAK).

Tallinn, Estonia Katılım Mart 2012
798 Takip Edilen1.3K Takipçiler
Pawel Sobocinski retweetledi
Nora Ammann
Nora Ammann@AmmannNora·
New funding call live! ➡️ £20m for AI-enabled formal methods in cybersecurity Deadline: July 1st
ARIA@ARIA_research

We are seeking teams to test whether AI-enabled formal methods can make high-assurance cyber defense practical, at scale. As part of our Safeguarded AI programme, we are looking to fund teams to build production-grade software components backed by machine-checked proofs and validated through coordinated red-team exercises. We welcome applications from startups, industry and academia. ⏳ Apply before 1 July, 14:00 BST. aria.org.uk/opportunity-sp…

English
1
4
15
3.3K
Pawel Sobocinski
Pawel Sobocinski@PawSob·
I love almost everything about living in Estonia. But the drivers can be absolute psychopaths, I’ve had some close calls as a pedestrian.
European Commission@EU_Commission

🚦 Changes in road deaths in the EU from 2019 to 2024: 🇵🇱 -35% 🇸🇮 -33% 🇱🇹 -33% 🇧🇪 -27% 🇩🇰 -27% 🇲🇹 -25% 🇧🇬 -24% 🇷🇴 -21% 🇨🇾 -21% 🇨🇿 -20% 🇭🇷 -20% 🇱🇺 -18% 🇭🇺 -17% 🇦🇹 -16% 🇫🇮 -15% 🇱🇻 -15% 🇪🇺 -12% 🇵🇹 -10% 🇩🇪 -9% 🇮🇹 -5% 🇸🇪 -4% 🇬🇷 -3% 🇸🇰 -3% 🇳🇱 -3% 🇫🇷 -1% 🇪🇸 +2% 🇮🇪 +22% 🇪🇪 +33%

English
0
0
0
236
Pawel Sobocinski retweetledi
Rania
Rania@umyaznemo·
Palestinian and proud!
English
128
2.5K
11.5K
128.9K
Pawel Sobocinski
Pawel Sobocinski@PawSob·
I'm off... I don't want to be a part of Musk's ad farming/ right wing propaganda operation anymore. Twitter was a cool thing, I'm looking forward to what replaces it.
English
3
0
8
932
Pawel Sobocinski
Pawel Sobocinski@PawSob·
@ivandiliberti I’m having a very similar experience. Also the algorithm is really annoying me. I keep having to mute 10s of annoying “viral” accounts to increase signal to noise. It now feels like work to actually get something interesting.
English
0
0
1
134
Ivan Di Liberti
Ivan Di Liberti@ivandiliberti·
After Musk's recent (public) decision to totally support Trump I have experienced an enormous increase in bot followers and the general state of this media alarms me. Despite liking it as a daily journal of my scientific activities, I may stop using it as a personal wall soon.
English
1
0
6
503
Pawel Sobocinski retweetledi
Amar Hadzihasanovic
Amar Hadzihasanovic@amar_hh·
Finished my book draft! 😊 Hoping to drop this on the arxiv before the end of the week.
Amar Hadzihasanovic tweet media
English
2
5
101
13.3K
Pawel Sobocinski retweetledi
Research in Estonia
Research in Estonia@researchestonia·
👀👏Discover the forward-thinking work of Professor Pawel Sobocinski, who is reshaping the future of software and AI with innovative mathematical approaches at TalTech – Tallinn University of Technology. 📢 researchinestonia.eu/2024/03/22/paw…
English
0
1
5
743
Pawel Sobocinski retweetledi
davidad 🎇
davidad 🎇@davidad·
I’m hiring—for the ONE role which will be my ONLY direct report for the duration of my time at ARIA. This is because ARIA does not directly execute missions (like NASA), rather funds R&D elsewhere (like ARPA). But the programme I’m planning requires more NASA-like coordination across contractors than most ARPA programmes. I need help! Please RT, and DM to anyone whom you think has >0.5% chance of applying 🙂🙏
ARIA@ARIA_research

Work with @davidad on to unlock a safe AI system that could scale to deliver transformative impact: aria-jobs.teamtailor.com/jobs/3647829-t… 2/4

English
2
54
148
74.1K
Pawel Sobocinski retweetledi
Dr Valeria dePaiva
Dr Valeria dePaiva@valeriadepaiva·
Good news everyone! the 8th Women in Logic workshop is happening in Tallin, Estonia on the 9th July 2024! website soon!
Dr Valeria dePaiva tweet media
English
1
2
18
1.1K
Pawel Sobocinski retweetledi
UK in Finland 🇬🇧🇫🇮
UK in Finland 🇬🇧🇫🇮@ukinfinland·
@SciTechgovuk @e_riik @ukinestonia @DanishMFA @UKinDenmark @LasseLaitinen @TEM_uutiset @FCAI_fi @VTTFinland @BusinessFinland @km_dep @digdir_no @UKinNorway @FinansdepSv @UKinSweden @FlorianOstmann @turinginst @AIStandardsHub @OECD @NIST @TBubbearFCDO @FCDOGovUK @NPL @meerihaataja @ai_saidot Rather than throwing money into it, research into #AI should be more strategic, identifying concrete issues to solve says @PawSob from @TallinnTech The ethics of AI, from mental health impact to election processes, is difficult to assess says @matilda_rhode @BSI_UK
UK in Finland 🇬🇧🇫🇮 tweet media
English
1
1
6
923
Pawel Sobocinski retweetledi
Aleks Kissinger
Aleks Kissinger@AleksKissinger·
Super excited about this. Thanks @ERC_Research #ERCCoG . If anybody out there is interested in doing lots of cool, practical stuff for quantum computing with #ZXCalculus , look out for postdoc ads in the coming year!
Oxford Comp Sci@CompSciOxford

Exciting news as Associate Professor Aleks Kissinger is among 3 Oxford professors to be awarded a prestigious European Research Council (ERC) Consolidator Grant of €1.95m for an ERC quantum project. Read here: cs.ox.ac.uk/news/2220-full…… #compscioxford @AleksKissinger

English
5
5
53
8.6K
Pawel Sobocinski
Pawel Sobocinski@PawSob·
My first Tallinn defence - congrats to Dr Mario Román!
Pawel Sobocinski tweet media
Čeština
0
1
13
902
Pawel Sobocinski
Pawel Sobocinski@PawSob·
@coecke I stopped reading emails for half a week last week and the weekend. Then panic attack on Monday morning.
English
0
0
3
213
bOb cOeCke
bOb cOeCke@coecke·
The only way I can deal with the number of emails coming into my inbox is to serve the cult of the swamp. There is simply no way to read/answer all of them. Please don't feel offended. I try to do my best.
English
2
0
9
1.9K
Pawel Sobocinski
Pawel Sobocinski@PawSob·
(2/2) The general idea is to use string diagrams as a resource-aware calculus to describe cryptographic and cybersecurity protocols in a principled way, at different levels of abstraction. Feel free to DM me with if you're interested!
English
0
0
7
483

Keşfet

@ivandiliberti @SciTechgovuk @e_riik @ukinestonia @DanishMFA @UKinDenmark @LasseLaitinen @TEM_uutiset