Kristopher Micinski
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@darsnack.bsky.social
NeuroAI Scholar @ CSHL https://darsnack.github.io Maintaining FluxML to procrastinate Previously EE PhD at UW-Madison, comp. eng. / math at Rose-Hulman
@stefanabikaram.com
Graduate Student (@SharcLab) + Research Faculty at @GeorgiaTech 🐝 Working on digital hardware design + AI https://stefanabikaram.com/
@mattthieulemerre.bsky.social
Researcher at CEA LIST, working on abstract interpretation of systems language
@mguarnieri.bsky.social
Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
@apaszke.bsky.social
Author of PyTorch, Research Scientist at Google DeepMind. Currently working on Pallas, Mosaic and dex-lang. MIMUW CS & Math graduate.
@carlo.daugavalabs.com
LatAm (🇻🇪) • Europe (🇮🇹🇱🇻) | software Spent too much time in 🇬🇧; now I drink black tea with milk. Neurodivergent + Inarticulate | Learning Latvian In a personal revolution against boredom.
@jgkoomey.bsky.social
Climate solutions, information technology, critical thinking skills. Born at 318 ppm. https://www.koomey.com
@samgoff.bsky.social
Connecter of dots. Performance optimization is my jam. I obsess over how to make apps & web sites radically faster. Formerly at HPE & now building in stealth
@vishallama.bsky.social
Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, philosophy, linguistics, literature, buddhism, running (5k), and more.
@mellquistlehto.bsky.social
Anthropologist of Technology and Society. Formerly Harvard Divinity, University of Toronto, & Arizona State University. Now I'm building conversations between scholarship and a greater public as CEO of @justdropin.bsky.social JustDropIn.io
@simrob.com
boston, cats, computers? he/him profile pic by chrisamaphone The good stuff is at https://social.wub.site/@simrob
@graveolens.bsky.social
Mathematics Sorceror (sensory alchemist) at the Arctangent Transpetroglyphics Algra Laboratory (ATAL), I transflarnx mathematics into living rainbows. http://owen.maresh.info https://github.com/graveolensa Psoeppe-Tlaxtlal, (an undreamt splendour?)
@paul-danger-kile.bsky.social
Legal name: Paul Danger Kile Name at birth: William Paul Caligiuri Anagram: Guardlike Panel Japanese Name: ポール・デンジャー・キレ Callsign: K0PDK Godless, Programming, Images, Opinion, Electric Bass dangerismymiddlename.com
@profilesafr.bsky.social
A podcast dedicated to discussing research projects funded by the government. https://open.spotify.com/show/1XKm1VSC7DD0SoV39Wgoh7 I appreciate any support to improve my equipment: https://ko-fi.com/profilesafr
@fredericjacobs.com
Cryptographic & Security Engineering “Blue Skies” on all things #cryptography, #security, #climate, European #aerospace, #energy and #mobility. Previously: helped start Signal, early Bellingcat contributor www.fredericjacobs.com
@snagycs.bsky.social
Faculty @utah.edu. My lab hunts bugs: https://futures.cs.utah.edu/bugs. Mastodon: snagy@infosec.exchange Twitter: @snagycs
@cjaganmohan.bsky.social
Research Assistant Professor, Virginia Tech | CSE UTA Alum | Software Engineering for AI Systems| AI Assurance| #SE4AI|
@plrg-bristol.bsky.social
This is the account of the Programming Languages Research Group at the University of Bristol. https://plrg-bristol.github.io/
@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/
@godsped.com
@pvldb.bsky.social
The Proceedings of the VLDB Endowment (PVLDB) https://vldb.org/pvldb/ RSS Feed: https://db.cs.cmu.edu/files/rss/pvldb-rss.xml Automated by @andypavlo.bsky.social
@vwuestholz.bsky.social
Principal Researcher at Consensys Diligence, previously at ETH Zürich, UT Austin, Microsoft Research, and Google
@cheater00.bsky.social
@petevilter.me
Working on grid interconnection at Pearl Street Technologies. Prev databases and things at RelationalAI, Bubble, Cockroach. https://petevilter.me
@vbimal.bsky.social
Assistant Professor of Computer Science at Virginia Tech https://people.cs.vt.edu/vbimal/
@vmgdev.bsky.social
@jjcmoon.bsky.social
PhD student @ KU Leuven | maene.dev | #neurosymbolic learning & #probabilistic reasoning