Christoph Bühler
Researcher with the Programming-Group at the University of St. Gallen, Switzerland. Interested in nearly everything related to computers ;-)
@aseconf.bsky.social
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
@hifabienne.bsky.social
@icseconf.bsky.social
ICSE is the premier conference in software engineering Other social media accounts: X: https://x.com/icseconf (but you need to be logged in to X) Facebook: https://www.facebook.com/icseconf/ Main website: https://conf.researchr.org/home/icse-2025
@infrastructureascode.ch
Network Automation; Infrastructure as Code; Open source; https://infrastructureascode.ch/ https://ubaumann.ch/
@mirkostocker.bsky.social
👨🏫 Software Engineering Prof. https://ost.ch/i 📙 Author of Patterns for API Design https://api-patterns.org/ ✍🏻 Growing Green Software Blog https://medium.com/growing-green-software
@tomvog.bsky.social
Testing software and engineering autonomous and self-adaptive systems | Software researcher at Humboldt-Universität zu Berlin https://thomas-vogel.github.io/
@lsalander.bsky.social
Associate Professor @ University College Dublin | Director of the MSc in Cybersecurity @ University College Dublin Research Interests: Software Engineering, Requirements Engineering & Cybersecurity
@azaidman.bsky.social
Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
@philippleitner.net
Associate Professor @ Chalmers University of Technology http://icet-lab.eu
@owasp.org
We improve the security of apps with community-led open source projects, 260 local chapters, and tens of thousands of members worldwide. Famous for OWASP Top 10
@csaudk.bsky.social
Official profile for Department of Computer Science at Aarhus University. We share IT research and official news from #csaudk in Danish and English.
@jetbrains.com
The World's Leading Provider of Professional Development Tools. Makers of IntelliJ IDEA, ReSharper, PyCharm, TeamCity, Kotlin, and more.
@someshjha.bsky.social
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@ranzato.bsky.social
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
@adolfont.github.io
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Post mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social
@prg-grp.bsky.social
Programming Group at the University of St. Gallen - School of Computer Science Prof. Guido Salvaneschi https://programming-group.com
@arxiv-cs-pl.bsky.social
Computer Science -- Programming Languages (cs.PL) source: export.arxiv.org/rss/cs.PL maintainer: @tmaehara.bsky.social
@phdcomics.bsky.social
Comics by Jorge Cham: Oliver's Great Big Universe, Elinor Wonders Why, We Have No Idea and PHD Comics
@timbl.bsky.social
Inventor of WWW Co-founder & CTO Inrupt.com | Lead, Solidproject.org Co-founder WebFoundation.org & theODI.org Founder w3.org Follow me on Mastodon https://w3c.social/@timbl Pre-order my memoir ‘This is for Everyone’ https://linktr.ee/thisisforeveryone
@paperswelove.org
A community of folks into computer science research and using it for great justice. 🌏 https://paperswelove.org 👀 https://pwlconf.org 🦣 https://mstdn.io/@paperswelove 📺 https://www.youtube.com/@PapersWeLove
@ai-fm-papers.bsky.social
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@shwestrick.bsky.social
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl) https://cs.nyu.edu/~shw8119/
@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
@david-lo.bsky.social
@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
@spdavid.bsky.social
PhD student at @prg-grp.bsky.app making Infrastructure as Code more reliable https://david-spielmann.ch/
@unisg.ch
Welcome to the official account of the University of St.Gallen (HSG). https://www.unisg.ch
@tonofcrates.bsky.social
@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