Somesh Jha
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.
@cispa.de
The CISPA Helmholtz Center for Information Security is a German national Big Science Institution within the Helmholtz Association. We research information security in all its facets.
@pauley.me
CEO: DScope Security Incoming Assistant Professor: Virginia Tech Cloud/Internet/ML Security&Measurement. Co-founder/former CTO @Sendtric. Instrument-rated Private Pilot.
@mguarnieri.bsky.social
Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
@abeirami.bsky.social
GenAI post-training at Google DeepMind / Google Research | ex-{Meta, EA, MIT, Harvard, Duke} | Georgia Tech PhD | زن زندگی آزادی | opinions my own 📍{NYC, YYZ} 🔗 https://www.mit.edu/~beirami/
@sahar-abdelnabi.bsky.social
Researcher @ Microsoft | ex. PhD @ CISPA | Neurodivergent 🧠🦋 | AI safety & security | life and peace for all ☮️, permanent ceasefire 🍉 Opinions my own.
@sebdarses.bsky.social
Math Assoc. Prof. at Aix-Marseille (France) Currently on Sabbatical at CRM-CNRS, Université de Montréal Teaching Project (non-profit): https://www.highkholle.fr/ https://sites.google.com/view/sebastien-darses/welcome
@stein.ke
Computer science, math, machine learning, (differential) privacy Researcher at Google DeepMind Kiwi🇳🇿 in California🇺🇸 http://stein.ke/
@senykamara.com
Head of Research & Distinguished Scientist @ MongoDB | ex-Professor @ Brown University | Aroki co-founder (acquired by MongoDB) | ex-Microsoft Research. More at senykamara.com
@chrisalbon.com
Director of Machine Learning at the Wikimedia Foundation. We host Wikipedia.
@vclatuwien.bsky.social
The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms. https://www.vcla.at
@ebagdasa.bsky.social
Assistant Professor at UMass Amherst CICS, Research Scientist at Google Research. https://people.cs.umass.edu/~eugene/
@preethac.bsky.social
Asst. Prof. Drexel Dept. Of Computer Science @drexeluniv | Research on mining software repositories, empirical software engineering https://preethac.github.io/
@ameerr.bsky.social
@dcampelo.bsky.social
Associate Professor at UFPE (Universidade Federal de Pernambuco), Recife, Brazil. | Data networking, vehicular networking, security and privacy. | https://www.cin.ufpe.br/~dcampelo/ Mastodon: @dcampelo@fediscience.org
@guidosalva.bsky.social
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
@nacrooks.bsky.social
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
@docmilanfar.bsky.social
Distinguished Scientist at Google. Computational Imaging, Machine Learning, and Vision. Posts are personal opinions. May change or disappear over time. http://milanfar.org
@joborgs.bsky.social
Associate prof at Uppsala University in Programming languages Swedish econ through an MMT lens - MMT for Sweden Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭 Private account, he/him, 🌹 🇺🇦 🟣
@sarahooker.bsky.social
I lead Cohere For AI. Formerly Research Google Brain. ML Efficiency, LLMs, @trustworthy_ml.
@akshayaj.bsky.social
Associate Professor (w/out tenure) at CMU; I study the costs and benefits of economic and environmental policies impacting fossil fuels and electricity markets. Website: http://www.akshayajha.com
@taliaringer.bsky.social
@chwress.bsky.social
Assistant Professor in Computer Security at Karlsruhe Institute of Technology (KIT) https://intellisec.de/chris
@ccanonne.bsky.social
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
@exomorphic.bsky.social
Assistant professor at Télécom Paris and Institut Polytechnique de Paris, working on decision making in complex systems. https://bakirtzis.net
@arnab.org
https://arnab.org | human-in-the-loop data infrastructure | Associate Professor, Computer Science at Ohio State | Co-founder, @thesteamfactory, @hackohio, @mobikitinc (acq.)
@tanusrees.bsky.social
Assistant professor @penn_state . Ph.D @UofIllinois . Usable Security, Trust, Decentralized Governance . Formerly @Google, @maxplanckpress . tanusreesharma.github.io
@lin-tan.bsky.social
Elmore New Frontiers Professor @PurdueCS | Ex @Meta @UWaterloo @IllinoisCDS @MSFTResearch @IBMResearch | #SE #TextAnalytics #LLM4Code #AI #Security https://www.cs.purdue.edu/homes/lintan/
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@norijacoby.bsky.social
Assistant professor at Cornell Psychology Department. CoCoCo Lab (Cornell Computational Cognition Lab) @co3lab.bsky.social. I am recruiting!
@drdannypenman.bsky.social
Author of the bestsellers 'Mindfulness: Finding Peace in a Frantic World' & 'Deeper Mindfulness: The New Way to Rediscover Calm in a Chaotic World.' www.franticworld.com @DrDannyPenman
@cryptocarsten.bsky.social
Professor at DTU Compute. Passionate about Cryptography, Hummus and coffee.
@aserebrenik.bsky.social
Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him
@zihengh1.bsky.social
CS Ph.D. Student @UWMadison. Research Intern @Apple AIML. Focusing on multimodal models, data curation, and data-centric AI. zihengh1.github.io
@adbrucker.bsky.social
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@balajee.bsky.social
CS prof @UIC; computer scientist (networks & systems); previously Nvidia, Purdue, BITS-Pilani; tennis aficionado; designed a chip for the first MacBook Air.
@lcavallaro.bsky.social
Pizza, Phrack, and Trustworthy AI for Systems Security at UCL Computer Science
@eskang.bsky.social
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
@jqchen.bsky.social
@sibin.bsky.social
Systems+Security faculty @GWTweets CS. Resiliency, OS, Networks, CPS, Real-Time. Photography. #AnnotatedEquations. He/him. Opinions/RTs personal.
@jeremyepstein.bsky.social
Former WH OSTP privacy guy. NSF SaTC (cybersecurity and privacy) lead for a decade, now trying to figure out what's next. Dad, grandfather. Personal account, nothing official here.