Shayan Hosseini

I’m a computer science MSc student at the University of British Columbia. I’m working with Ivan Beschastnikh on distributed systems and software verification. During the summer of 2022, I worked at Microsoft Research Redmond, building tools for operating large data centers.

I spent 5 years in the industry building cloud services, where I managed teams of 5-10 engineers. I was an early member of the internal infrastructure team at Cafe Bazaar and co-led the team’s transition into a public cloud company, Sotoon.

I was an avid competitive programmer back in my undergrad and high school. I was an ACM ICPC World Finalist in 2017 and won second place twice in ICPC West Asia Regional Contest.

I’m a software engineer, and I’m on the job market. Feel free to reach out!
[email protected] /in/sshayanh /shayanh

You can find my resume here.

News:

• Jul 2023: Presented my MSc thesis work!
• Mar 2023: We won the Distinguished Artifact Award at ASPLOS. Check out the UBC article about it.
• Sep 2022: Our paper “Compiling Distributed System Models with PGo” is accepted to ASPLOS'23!
• Jun 2022: I am starting my internship at Microsoft Research Networking Research Group.
• Feb 2022: Presented PGo in AWS Automated Reasoning Group.

Publications: