David Spielmann

@hashicorp.com

HashiCorp helps you automate multi-cloud and hybrid environments with Infrastructure and Security Lifecycle Management. Together, we can do cloud right.

@afd-icl.bsky.social

Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk

@chengyuzhang.bsky.social

Lecturer (Assistant Professor) at Loughborough University. Working on Software Engineering, Programming Languages, and Formal Methods. 🙌 Looking for PhD and visiting students.

@me.cbue.ch

Researcher with the Programming-Group at the University of St. Gallen, Switzerland. Interested in nearly everything related to computers ;-)

@mrigger.bsky.social

Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.

@dsoko.bsky.social

ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist

@unisg.ch

Welcome to the official account of the University of St.Gallen (HSG). https://www.unisg.ch

@jahrim.bsky.social

PhD Student in Programming Languages at the University of St. Gallen (HSG)

@grgzkhr.bsky.social

PhD student at @prg-grp.bsky.app Interested in PL and Type Systems. Programmer for more than 10 years. Based in 🇨🇭 from 🇱🇧 (he/him) https://grgz.me

@prg-grp.bsky.social

Programming Group at the University of St. Gallen - School of Computer Science Prof. Guido Salvaneschi https://programming-group.com

@guidosalva.bsky.social

Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app