
Sandro Stucki
@stuckintheory
Computer scientist, programmer, theorist, science geek (he/him).
ID: 3315105618
http://sstucki.github.io/ 14-08-2015 15:08:53
657 Tweet
258 Followers
421 Following



PhD and postdoc positions in security and privacy Chalmers ICT Computer Science and Engineering, Gothenburg in our ambitious projects @strategiskaSSF SSF WebSec, WASP Research WASP NEST CyberSecIT, and Vetenskapsrådet VR NewGen. Please, spread the word!


Here's an opportunity to work with some of the top-researchers in security and privacy that also happen to be my awesome colleagues. Highly recommended! Computer Science and Engineering, Gothenburg Chalmers ICT


Idag sänds mitt sommarprat! Om varför svart historia har varit undertryckt, varför det bör ändras på och vad historia kan lära oss om idag. Var svårt att få ett så stort ämne till ett koncist program som går att hänga med i. Förhoppningsvis har jag lyckats sverigesradio.se/avsnitt/amat-l…


Maybe less of a problem in CS, but developing and maintaining software research infrastructure is challenging even in our field. Ironically, it becomes harder as the user community grows. Reminds me of the Agda team and their amazing work. Ulf Norell, Andreas A, @agdakx, & co 🙏

Join us online on Monday December 12th for the 17th Workshop on Programming Languages and Analysis for Security plas2022.github.io. Many exciting research papers and a keynote by the amazing Elaine Shi. Sunjay Cauligi #PLAS2022






Great episode! Thanks for making the Type Theory Forall podcast Pedro Abreu, keep up the good work! 🙏

Available Chalmers University of Technology in a collaboration between Simon Olsson, Martin Rahm, and me, bringing together WASP Research and Wallenberg Centre for Quantum Technology - WACQT: a postdoc position in AI-driven optimization of variational algorithms for near-term quantum computers. Deadline 10 March. chalmers.se/en/about-chalm…


This looks like a cool paper connecting Dana Scott’s and Shannon’s conception of using lattices to represent computation and information respectively by Sebastian Hunt, Dave Sands, and Sandro Stucki: dl.acm.org/doi/pdf/10.114…
