Guido Salvaneschi
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
@tonofcrates.bsky.social
@unisg.ch
Welcome to the official account of the University of St.Gallen (HSG). https://www.unisg.ch
@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/
@david-lo.bsky.social
@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
@jahrim.bsky.social
PhD Student in Programming Languages at the University of St. Gallen (HSG)
@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
@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/
@kha.functional.cafe.ap.brid.gy
makes Lean at Lean FRO Munich, Germany [bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
@ranzato.bsky.social
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
@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.
@jetbrains.com
The World's Leading Provider of Professional Development Tools. Makers of IntelliJ IDEA, ReSharper, PyCharm, TeamCity, Kotlin, and more.
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@milessabin.com
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
@reifyreflect.bsky.social
@ai-fm-papers.bsky.social
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
@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.
@camlist.bsky.social
Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
@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
@aittalam.bsky.social
Dad of 3564020356.org, PicoGopher, and two amazing kids. Interested in open applications of ML on federated systems. Trustworthy AI at mozilla.ai. Genetically a teacher, forever a student. He/him. @mala@fosstodon.org
@marcolancini.it
💼 Principal Security Engineer 💬 I tweet about Cloud Security and technical leadership ✍🏻 Subscribe to CloudSecList.com 📚 CloudSecBooks.com is out now!
@mgpf.bsky.social
Docente in Uni (#Reputation, #Cybersec, #DataDriven), CEO & Imprenditore (http://TheFool.it + http://42lf.it + altre), Speaker e Divulgatore. Scrivo su @ilriformista. US IVLP
@mariosangiorgio.com
🇮🇹🇬🇧 Senior software engineer at . I like programming languages, developer tools and distributed systems. I also play with my homelab and electronics. Solar powered
@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
@lucaponzanelli.bsky.social
@voxxed.com
Sharing expert knowledge on Java, JVM, Methodology, Cloud, Mobile & Future tech. Follow us for tutorials, presentations and interviews.
@lu.voxxeddays.com
Voxxed Days conference in Luxembourg. Organized by @yajug.bsky.social. https://luxembourg.voxxeddays.com/en/#registration
@racket-lang.org
Racket is... * A language-oriented programming project * a family of programming languages * a native code compiler and other tools, * a diverse community 😁 Join us at https://racket.discourse.group/ https://racket-lang.org/
@AndrzejWasowski.scholar.social.ap.brid.gy
An insolent elitist derogatory fearless context-free professor conjugates a well-typed glass of higher-order prilimubary students. Living in and […] [bridged from https://scholar.social/@AndrzejWasowski on the fediverse by https://fed.brid.gy/ ]
@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
@alfonsofuggetta.bsky.social
Professore di Informatica al Politecnico di Milano (in aspettativa). Dico quello che penso. Faccio al meglio delle mie capacità quel che dico. Ultimo libro: Alla ricerca del buon management. Scrivo su Pensieri: https://www.alfonsofuggetta.it.
@raistolo.bsky.social
Tinkerer, security geek, recovering entrepreneur, full professor at www.polimi.it, frequent flyer, private pilot, and generic pundit. He/Him 🏳️🌈 For aviation follow me on Instagram, same id!
@andreamocci.bsky.social
Junior Group Leader @ http://codelounge.si.usi.ch . Tweets about software engineering, politics & more | He/him
@felienne.bsky.social
Ik ben Felienne Hermans, hoogleraar didactiek van de informatica aan de Vrije Universiteit Amsterdam, en leraar informatica op de Open Schoolgemeenschap Bijlmer! Ik schrijf vooral over inclusiviteit in de digitale wereld.
@bugcounting.mastodon.acm.org.ap.brid.gy
Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana (Lugano, Switzerland). [bridged from https://mastodon.acm.org/@bugcounting on the fediverse by https://fed.brid.gy/ ]
@lanzamichele.bsky.social
@philippleitner.net
Associate Professor @ Chalmers University of Technology http://icet-lab.eu
@mehdijazayeri49.bsky.social
@confcav.bsky.social
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
@balzarot.bsky.social
Professor in Computer Security @EURECOM Ex Defcon CTF organizer with @oooverflow
@paolotonella.bsky.social
Professor at USI, former PI of ERC research project https://pre-crime.eu, honorary professor at UCL