Shaun Azzopardi

[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.

👉https://t.co/n0Lr3ekE58

[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: https://t.co/7NIBSe22Ec

[Nir Piterman @n_pite]

An opportunity to do a PhD with my colleague @YehiaLazkany!

[Peyman Milanfar @docmilanfar]

when authors names are revealed after double-blind review

[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.

[Shaun Azzopardi @shaunazzopardi]

@Lib_Development @JustSomeSwede_ @constans @ManBanality @weatherdai It's not a problem, you just need to plan ahead. Anyway, this is a service provided by the landlord or association. You can always install a washing machine in your apartment if you want. It's great.

[Shaun Azzopardi @shaunazzopardi]

@JustSomeSwede_ @ManBanality @constans @Lib_Development @weatherdai Yea it's not a bother at all. 😅

[Shaun Azzopardi @shaunazzopardi]

@ManBanality @constans @Lib_Development @weatherdai Eh no, in Sweden lots of apartments have common laundry rooms that are in use.

[RSE Meeting @MeetingRse]

The Robotics & Software Engineering community is emerging!
@LadyMartinz @pellicciTwit @thorsten_berger @lurebelobs @SvenPeldszus @nico_roboticist @smr_mousavi

[Shaun Azzopardi @shaunazzopardi]

@asabelfeld @BeneriSec @adamdoupe @kcotsneb @stecalzavara Congrats @BeneriSec!

[Shaun Azzopardi @shaunazzopardi]

Congrats @CClaudiacauli :D

[Nir Piterman @n_pite]

Congratulations to @CClaudiacauli who successfully defended her PhD thesis "Pre-deployment Description Logic-based Reasoning for Cloud Infrastructure Security". Thesis here: https://t.co/80oGN8MeXu. She is now a graduate of @cse_gbg and @goteborgsuni. #proudsupervisor

[Shaun Azzopardi @shaunazzopardi]

@lorisdanto @n_pite @BjornerNikolaj @1306lou Have you tried MathSAT? It seems to give us what we want (sometimes the formula isn't as compact as possible, but oh well), for the examples I tried out at least.

[Shaun Azzopardi @shaunazzopardi]

@n_pite @lorisdanto @BjornerNikolaj @1306lou Not yet..

[Shaun Azzopardi @shaunazzopardi]

:D

[Nir Piterman @n_pite]

Picking up @CClaudiacauli's thesis w @shaunazzopardi. Exactly four weeks until the great day! Just the one box for us ...

[Shaun Azzopardi @shaunazzopardi]

@tritlo Goodluck!

[Shaun Azzopardi @shaunazzopardi]

@tritlo Well done! :)

[Computer Science and Engineering, Gothenburg @cse_gbg]

Nir Piterman new professor of computer science. Congrats @n_pite 💪 https://t.co/UKrYvHSOXe

[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: https://t.co/tYxrf3m8x9.

[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 https://t.co/M1qBhAgWSQ. Here is what you should really expect…