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.
@kirshanthans.bsky.social
Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
@umariqbal.bsky.social
Assistant professor at the Washington University in St. Louis. I research computer security and privacy.
@benstock.bsky.social
Tenured Faculty @c-i-s-p-a.bsky.social Helmholtz Center for Information Security
@pratyay85.bsky.social
Senior Director of Research @ Supra | Interested in Cryptography and Security | https://pratyay.net/
@nikela-p.bsky.social
never thinking straight | always thinking parallel #hpc #sustainability #parallelcomputing #supercomputing Low Carbon and Sustainable Computing Lecturer at UofGlasgow @uofgcompsci.bsky.social
@patalt.org
Trustworthy AI, Counterfactual Explanations, Open-Source Software and other PhD things at TU Delft. @julialang.org developer @taija.org Website: www.patalt.org
@bill-pugh.bsky.social
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications. Active maker, burner, traveler, husband, father.
@rachuri.bsky.social
Cryptography and privacy research at Visa Research. Views mine. rahulrachuri.github.io
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@guptaucsd.bsky.social
@zacharylipton.bsky.social
CTO & Chief Scientific Officer @ Abridge, CMU ML prof, occasional writer, relapsing 🎷, creator of d2l.ai & approximatelycorrect.com
@nc2y.bsky.social
Prof. at Carnegie Mellon University. Computer security, online crime, and assorted online seediness. Reformed(?) hacker. Economic migrant. 📍 Pittsburgh, PA, mostly 🕸️ https://www.andrew.cmu.edu/user/nicolasc
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@thenzinger.bsky.social
Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social
@ravimangal.bsky.social
Computer Scientist. Assistant Professor at Colorado State University. Formal Methods + Trustworthy Machine Learning
@stefanotessaro.bsky.social
Professor at the University of Washington, Paul G. Allen School of Computer Science & Engineering @uwcse.bsky.social Working on cryptography, theoretical computer science, and computer security. https://homes.cs.washington.edu/~tessaro/
@matteomaffei.bsky.social
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
@ratul.bsky.social
I SEE (study, engineer, educate) computer networks. Tweets are facts; retweets are alternative facts
@nicolaspapernot.bsky.social
Security and Privacy of Machine Learning at UofT, Vector Institute, and Google 🇨🇦🇫🇷🇪🇺 Co-Director of Canadian AI Safety Institute (CAISI) Research Program at CIFAR. Opinions mine
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@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.
@ai-slayer.bsky.social
🌟 Lead Data Scientist @ Codvo.ai 🔬 Expertise in: - LLMs - Optimization Problems - Computer Vision - Recommendation Systems
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@atlaswang.bsky.social
https://vita-group.github.io/ 👨🏫 UT Austin ML Professor (on leave) https://www.xtxmarkets.com/ 🏦 XTX Markets Research Director (NYC AI Lab) Superpower is trying everything 🪅 Newest focus: training next-generation super intelligence - Preview above 👶
@devanbu.bsky.social
Husband, Dad, Software Engineering researcher at UC Davis, Humboldtian. Loves good ideas, jokes, pranks and The Great Outdoors.
@kwangsungjun.bsky.social
kwang-sung jun. assistant professor at the u of arizona. ml, online learning, and bandits! i am a fan of regret minimalism, both in life and research.
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@necozay.bsky.social
Professor of EECS and Robotics at University of Michigan. Control theory, hybrid & cyber-physical systems, sys id, algorithms, safe autonomy. More info @ http://web.eecs.umich.edu/~necmiye/
@rahul.gopinath.org
Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing https://rahul.gopinath.org
@roydanroy.bsky.social
Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst. Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
@kornaropoulos.bsky.social
• Faculty: @georgemasoncs.bsky.social • Postdoc: @ucberkeleyofficial.bsky.social • PhD: Brown University Doing research in subsets of { Security, Cryptography, Privacy, AI, ∅}. URL: https://encrypted.systems
@ashrafaboulnaga.bsky.social
Professor of Computer Science at the University of Texas at Arlington https://ashraf.aboulnaga.me/
@jkinder.bsky.social
Professor @ LMU Munich Security, Program Analysis, Machine Learning
@borzoo.bsky.social
Associate Professor of Computer Science at Michigan State University
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@zakird.com
Internet Security, Trust, and Safety Researcher. Stanford CS Faculty, Censys Founder and Chief Scientist, ZMap Creator. https://zakird.com/
@profericwong.bsky.social
Assistant professor at University of Pennsylvania. Machine learning, optimization, robustness & interpretability. Home page: https://www.cis.upenn.edu/~exwong/ Lab page: https://brachiolab.github.io/ Research blog: https://debugml.github.io/
@cotyg.bsky.social
In love with research, painting, and biking. Professor @CarnegieMellon Director of Dynamic Decision Making Laboratory, co-director of AI Institute for Societal Decision Making