Chengyu Zhang
Lecturer (Assistant Professor) at Loughborough University.
Working on Software Engineering, Programming Languages, and Formal Methods.
🙌 Looking for PhD and visiting students.
@bbendrissou.bsky.social
Doctoral Student at Imperial College London | Software Security & Reliability | Fuzzing Enthusiast | Ex-CISPA
@tuda-systems.bsky.social
Systems Group at the Technical University of Darmstadt, led by Carsten Binnig and Zsolt István. Website: https://www.informatik.tu-darmstadt.de/systems/ Also: @cs-tudarmstadt.bsky.social @tuda.bsky.social
@sigsoft.bsky.social
The ACM Special Interest Group on Software Engineering provides a forum for computing professionals from industry, government and academia to examine principles, practices, and new research results in software engineering.
@stefanresearch.bsky.social
Assistant professor at TU Wien and associate faculty at the Complexity Science Hub. Previously: KTH, Brown, Uni Wien. Interested in social network analysis and graph algorithms. Connecting theory 🤝 practice. More info: https://neumannstefan.com.
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@spdavid.bsky.social
PhD student in the Programming Group at the University of St. Gallen making Infrastructure as Code more reliable https://david-spielmann.ch/
@vinnyarmentano.bsky.social
PhD Student, putting the 're' in research daily, @ucsandiego.bsky.social vincentarmentano.com Interested in Dev & Ag, Retweets != Endorsements, Former RA at @NU_GPRL, @NUecon Alum 2016 He/him/his
@jqchen.bsky.social
@dominikwinterer.bsky.social
Incoming Lecturer (Assistant Professor) at The University of Manchester 👩🎓👨🎓 Looking for PhD students! Formal Methods Engineering Lab: https://manchester-fme.github.io
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@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.
@benhermann.eu
Professor for Secure Software Engineering at TU Dortmund 🏳️🌈💻🎓 https://benhermann.eu https://sse.cs.tu-dortmund.de
@ruijiemeng.bsky.social
PhD candidate @NUS. Software Testing and Security. https://mengrj.github.io/
@guidosalva.bsky.social
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
@avandeursen.bsky.social
Professor in software engineering at Delft University of Technology, The Netherlands. I'm mostly active on Mastodon, as https://mastodon.acm.org/@avandeursen
@snagycs.bsky.social
Faculty @utah.edu. My lab hunts bugs: https://futures.cs.utah.edu/bugs. Mastodon: [email protected] Twitter: @snagycs
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@ethz.ch
Where the future begins. 🚀🔬 One of the world’s leading universities for technology & natural sciences. Posts in both English and German. www.ethz.ch