Shaun Azzopardi

19 posts

Shaun Azzopardi banner
Shaun Azzopardi

Shaun Azzopardi

@shaunazzopardi

Katılım Temmuz 2018
150 Takip Edilen43 Takipçiler
Shaun Azzopardi retweetledi
Dedaub
Dedaub@dedaub·
Congratulations to @shaunazzopardi on his paper “Reactive Synthesis for Infinite-State Integer Problems” being accepted at @confCAV 2026. At Dedaub, deep research is part of how we advance blockchain security. We actively support academic work that pushes the boundaries of formal methods, program analysis, and automated reasoning, while strengthening the day-to-day mission of securing digital assets and critical smart contract infrastructure. 👉arxiv.org/abs/2605.11992
Dedaub tweet media
English
0
2
4
567
Shaun Azzopardi retweetledi
Richard Torkar 🇺🇦
Richard Torkar 🇺🇦@rtorkar·
Want to work with amazing professors? Five WASP PhD positions at the dept of Computer Science and Engineering to work on machine learning, autonomous systems, software engineering, formal methods: chalmers.se/om-chalmers/ar…
English
0
4
5
268
Shaun Azzopardi retweetledi
Peyman Milanfar
Peyman Milanfar@docmilanfar·
when authors names are revealed after double-blind review
English
7
53
575
73.8K
Shaun Azzopardi retweetledi
Reef
Reef@reefraf64·
@JLucasMcKay @timnitGebru AI companies: We are building an algorithm so powerful that it may destroy humanity. Regulators: Oh? Then we have to implement heavy regulations to prevent you from doing that. AI Companies: It's just a marketing pitch. Please don't regulate us.
English
0
11
61
4.4K
pointing out the obvious
pointing out the obvious@ManBanality·
@constans @Lib_Development @weatherdai This is drivel and completely out of date. Yes, many Nordic apartment buildings feature an basement laundry facility, but it's hardly ever used by anyone, except for carpets and some other occasional heavy duty washing.
English
1
0
1
88
Loris D'Antoni
Loris D'Antoni@lorisdanto·
What's the best interpolation engine for general SMT formulas? We have been trying a few but they are either slow or provide interpolants that don't generalize @BjornerNikolaj ?
English
2
0
7
0
Matti Palli 🧙‍♂️
Matti Palli 🧙‍♂️@tritlo·
Me: oh god I haven't prepared this talk properly at all Also me: I know, I'll advertise it!
English
3
0
5
0
Matti Palli 🧙‍♂️
Matti Palli 🧙‍♂️@tritlo·
My Licentiate thesis just dropped! The seminar itself is at 15:30 CET on Jan 17th, Zoom link available upon request (to deter spammers). After that, I'll be officially halfway done! In the meantime, enjoy ☺️ mpg.is/papers/gissura…
Matti Palli 🧙‍♂️ tweet media
English
7
20
120
0
Shaun Azzopardi retweetledi
Nir Piterman
Nir Piterman@n_pite·
Another #CSPhD #PhDposition in @ERC_Research @Vetenskapsradet & @WASP_Research supported team to work on proj "Combining Path-finding Algorithms in Reactive Synthesis" at @cse_gbg in @chalmersuniv/@goteborgsuni. Some diffs from last thread... Apply here: chalmers.se/en/about-chalm….
Nir Piterman@n_pite

#CSPhD #PhDposition in @ERC_research and @Vetenskapsradet supported team to work on project “Enabling Reactive Synthesis through Runtime Verification” at @cse_gbg in @goteborgsuni/@chalmersuniv (Sweden). Official ad tiny.cc/gbgphd. Here is what you should really expect…

English
1
2
8
0

Keşfet

@confCAV @YehiaLazkany @timnitGebru @Lib_Development @JustSomeSwede_ @constans @ManBanality @weatherdai