Research @ Meta. PhD @ Cornell.
www.neiladit.com
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Working on genaiscript / LLM / GenAI . Formerly DeviceScript, JACDAC, MakeCode for micro:bit and others. Opinions are my own.
Robotics PhD @ UW | IITK, CMU
Wandering musician with a beach ball
Program verification/analysis, software engineering, and programming languages.
PhD Student at University of Southern California.
Opinions are my own.
he/him
i study programming languages @ ucsd cse.
trans rights forever! 🏳️⚧️
ninehusky.github.io
Incoming PhD @ MIT EECS. ugrad philosophy & CS @ UWa
PhD student @uwnlp.bsky.social
Programming languages and database systems.
a human on planet earth (hopefully in space one day 🚀)
cs ms/phd student @ the university of washington doing some pretty cool protein stuff
occasional science fiction writer
(the alya initiative coming eventually)
comp arch phd @uwcse.bsky.social
Robotics PhD @uwcse | Formerly Overland AI, @Waymo & @Stanford
Research Scientist, UW CS
Lead developer, projectsidewalk.org
UW robotics // Learning & Control
this account exists for me to give more visibility to the work my friends do
5th year PhD student at UW CSE, working on Security and Privacy for ML
Robotics PhD student at @utah.edu - https://adlarkin.github.io/
Science of language models @uwnlp.bsky.social and @ai2.bsky.social with @PangWeiKoh and @nlpnoah.bsky.social. https://ianmagnusson.github.io
