Daniel Sokolowski

Hello world, I’m also on Bluesky now: bsky.app/profile/dsoko.… After scrolling for a few minutes, I really appreciate that some of the old Twitter vibe seems to be re-established there 😄

@DaSpielmann @ROpdebee @CoenDeRoover @a_zerou

Dear #IaC friends, please participate in the study #ansible #safeconfig

Thrilled to join AWS ARG as an Applied Scientist Intern in NYC! Excited to bridge academia and industry, advancing automated reasoning to enhance security and reliability of the cloud 🚀 #AWS #Internship #CloudComputing #Innovation

This role is a fantastic opportunity to gain strategic leadership skills, deep industry insights, and tackle impactful challenges with a diverse team of top talent. Excited for what lies ahead!

Thrilled to start as a #ProTeam Management Trainee at #LufthansaGroup. To my academic friends: I will continue my research and look forward to our ongoing collaborations.

Now it's time to explore more sophisticated grey-box and white-box test generation and oracle techniques, boosting the approach even further 🚀 Join us and discuss, try out, and improve your techniques for IaC program testing 🕺 [5/5]

🔧 ProTI is our first implementation of ACT for Pulumi TypeScript IaC programs. It comes with type-based generator and oracle plugins, which already showed to be effective 💪 proti-iac.github.io [4/n]

Infrastructure code #IaC must be correct to ensure systems are up and safe. So, test it! But how? 🤔 – I am excited that our new paper on "Automated Infrastructure as Code Program Testing" has been accepted at IEEE TSE! @DaSpielmann @guidosalva doi.org/10.1109/TSE.20… 🧵 [1/n]

@tianyin_xu Thank you! :)

@Soko2D @HSGStGallen @guidosalva @citostyle @TUDarmstadt Congratulation, Daniel!

🎓 I'm thrilled to share that I defended my dissertation on Thursday at @HSGStGallen! 🥳 Huge thanks to my supervisors @guidosalva and @citostyle, and to everyone else who supported me on this journey at @TUDarmstadt, @HSGStGallen, and beyond #IaC #DevOps #dissertation #defended

@BambergMarcel Danke Marcel! Grüße nach Berkeley!

@Soko2D @HSGStGallen @guidosalva @citostyle @TUDarmstadt Congratulations!

@akondrahman Thank you, Akond!

@Soko2D @HSGStGallen @guidosalva @citostyle @TUDarmstadt Congrats!

@aserebrenik Thank you, Alexander!

@Soko2D @HSGStGallen @guidosalva @citostyle @TUDarmstadt Congratulations

@asfmendes @HSGStGallen @guidosalva @citostyle @TUDarmstadt Thank you! :)

@Soko2D @HSGStGallen @guidosalva @citostyle @TUDarmstadt Congratulations! 🥳

@shane_mcintosh Thank you, Shane! 😁

@Soko2D @HSGStGallen @guidosalva @citostyle @TUDarmstadt Congratulations, Dr. @Soko2D!

@HofmT @HSGStGallen @guidosalva @citostyle @TUDarmstadt It is :) Thanks Tobias!

@Soko2D @HSGStGallen @guidosalva @citostyle @TUDarmstadt Congrats Daniel! That’s a huge milestone 🥳

@sback_ Thank you, Alberto!

@Soko2D @HSGStGallen @guidosalva @citostyle @TUDarmstadt Congratulations, Daniel! And congratulations to your advisor @guidosalva !

@NathanCassee Thank you, Nathan! :)

@Soko2D @HSGStGallen @guidosalva @citostyle @TUDarmstadt Congratulations Daniel!!