Mohammad Hossein Khoshechin
@khoshechin.bsky.social
PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
🌟 Next week, HIGHLIGHTS'25 will take place in Saarbrücken, the beautiful city I call home. I'm thrilled to be part of the organizing team! I can't wait to connect with friends, students, and researchers, hear their talks, and discuss about verification and concurrency.
August 30, 2025 at 2:32 PM
🌟 Next week, HIGHLIGHTS'25 will take place in Saarbrücken, the beautiful city I call home. I'm thrilled to be part of the organizing team! I can't wait to connect with friends, students, and researchers, hear their talks, and discuss about verification and concurrency.
🚀 Heading to Aarhus next week (Mon-Sat) for CONCUR'25! Excited to present "ConDpor" on Tuesday at CONCUR. 📄 Check it out: doi.org/10.4230/LIPI...
If you'll be in the area and want to grab a coffee, meal, or drink and chat about concurrency & model checking, let me know! :)
If you'll be in the area and want to grab a coffee, meal, or drink and chat about concurrency & model checking, let me know! :)
Optimal Concolic Dynamic Partial Order Reduction
doi.org
August 20, 2025 at 3:42 PM
🚀 Heading to Aarhus next week (Mon-Sat) for CONCUR'25! Excited to present "ConDpor" on Tuesday at CONCUR. 📄 Check it out: doi.org/10.4230/LIPI...
If you'll be in the area and want to grab a coffee, meal, or drink and chat about concurrency & model checking, let me know! :)
If you'll be in the area and want to grab a coffee, meal, or drink and chat about concurrency & model checking, let me know! :)
🚀Heading to Zagreb next week (Sun-Sat) for the CAV'25 @confcav.bsky.social . If you'll be in the area and want to grab a coffee, meal, or drink and chat about concurrency & model checking, let me know! :)
July 16, 2025 at 10:35 AM
🚀Heading to Zagreb next week (Sun-Sat) for the CAV'25 @confcav.bsky.social . If you'll be in the area and want to grab a coffee, meal, or drink and chat about concurrency & model checking, let me know! :)