Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev- V @valyakuttan.bsky.social @valyakuttan.bsky.social
Reza Ebrahimi Atani @rezaebrahimiatani.bsky.social Dr. Reza Ebrahimi Atani is an associate professor in the Computer Engineering Department at the University of Guilan and Director of Computer Security Incident Response Teams Research Laboratory.
apanda @apanda.me I am A Panda. I work on systems and networking at NYU.
I mostly hang out at https://discuss.systems/@apanda
Research Elements @reselements.bsky.social Web development, data management and visualizations. Consulting services for scientific and r&d communities. https://www.researchelements.org/
Peter Scholl @schollster.bsky.social 
May Moon @maymoon90.bsky.social Turning complex blockchain concepts into understandable ideas.
#Tech #Blockchain
Doreen Riepel @doreenriepel.bsky.social Tenure-Track Faculty at CISPA โข Cryptography & Provable Security
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
Diego F. Aranha @dfaranha.bsky.social Associate Professor of Cryptographic Engineering at Aarhus University. https://dfaranha.github.io/
@masternsen.bsky.social @masternsen.bsky.social 
Ajitesh Shukla @ajitesh1.bsky.social Mathematical Research ( Algebraic Geometry, Geometric Topology, Differential Geometry), Quant, Large Language Models, Natural Language Processing, Quantum Computing, Cryptography, LORD KRISHNA IS GOD OF MATH
Joe Cutler @alphaconvert.bsky.social cutler.pl
Department of Computer Science, Aarhus University @csaudk.bsky.social We are taking a break from Bluesky. Maybe we will come back...
For now check out our profiles on LinkedIn, Instagram and Facebook.
๐๐ธ๐๏ธZhSigma@332ppmโ
ฮฃx,xโS={๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat;๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ด;Nno๐ฎ๐ธ๐ซ๐ด
Slv ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ/๐ง๐ฆ๐ฒ๐ช๐ง๐พ๐ธ๐ฎ
IE ๐ฌ๐ท๐ฎ๐ท HanZ ๐จ๐ณ๐น๐ผ๐ญ๐ฐ๐ฏ๐ต Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Klaus v. Gleissenthall @gleissen.bsky.social PL and Security research at VU Amsterdam https://gleissen.github.io
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Rodolphe Lepigre @rlepigre.bsky.social Computer scientist, OCaml programmer, Coq/Rocq hacker
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Sam Westrick @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/
Sabine Oechsner @proofnerd.bsky.social cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de