Aman Goel
@amangoelumich
Discovering LIFE.. Indian | Marian | Bansalite | IITian | Wolverine | Amazonian | Engineer
ID:302064323
https://aman-goel.github.io 20-05-2011 14:53:42
84 Tweets
114 Followers
202 Following
_A2MegB_2ASJ827
@2asj82736400
Shites
@Shites290900
Lyric
@lyric96847
Aks_hay657
@Hay657Aks40706
Robbie Gangi
@GangRobbi
Robbie / 23 / My Free Content👇😋
sophia
@sophia995922016
_AzureLily
@AzureLily251180
Igor Konnov @[email protected]
@k0nn0v
independent security and formal methods researcher
Shreesha G Bhat
@shreesha00
phd student at @IllinoisCS | research intern @MSFTResearch | cse '23 graduate from @iitmadras
Kathi Ceesay-Seitz
@K_CeesaySeitz
Harish Kumar
@harikumarpakala
Changjian Zhang
@changjian_zhang
Ph.D. Student in Software Engineering @ CMU-ISR | Formal methods | Software Architecture
Gary Hu
@rdsspq_eax
Ph.D. student at @HKUST. I'm focusing on formal verification.
Scofield Z.Q. Liu
@ZhengqingLiu
Ph.D. student @imperialcollege, tinkering with OS/Network, previous @maxplanckpress, @Polytechnique, @Inria, @ETH_en. He/Him
Duc-Than Nguyen
@_thannd
interested in Programming Languages & Formal Verification (he/him)
Junaid Babu
@TryCatchExcept
I don't bio
Daniel Guo
@realdanielkuo
Applied Scientist @AWS Proactive Security, Former Security Researcher @BaiduResearch, opinions are my own.
Sultan Mahmud Sajal
@SajalSultan
PhD student at Penn State, working in Workload Analysis, Performance Analysis in Cloud Computing.
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
🌊 🐳 🐋 🐬 💙
@CatCdrCons
radical feminist | Men Aren’t Women
Ankush Desai
@ankushpd
Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw
Ian
@IanDardik
I am currently a Software Engineering PhD student at Carnegie Mellon University.
Satish Talluri
@satishtalluri
Investment Partner at Andreessen Horowitz. Previously - growth & product at AppDynamics, https://t.co/vipvmt4XDI, BCG, Intel
Vaibhav Sharma
@vbsharma
PhD graduate from the University of Minnesota working on improving and applying program analysis towards security and software engineering applications
Ana Oliveira da Costa
@AOliveCosta
PhD student at TU Wien. Interested in beautiful computer science, formal methods and hyperproperties. Proud producer of https://t.co/GGlkf0wz1B.
Zohaib_Muzaffar
@desiviking7
Technology enthusiast,eternally in learning https://t.co/HeGFWwdXco is all about packets, bits and bytes. My Threema ID: https://t.co/iFhg7WjMrr
🤞
@chezjul
first generation ipad kid
Ferhat Erata 🦀
@ferhaterata
PhD Student @Yale • Applying automated reasoning to software engineering & cryptographic code • Applied Scientist Intern @AmazonScience @AWSCloud • Views my own
sidhant
@s1db_
Engineer, CS theory grad. Making data center networks (and sometimes solvers) go brrr...
Xinyu Wang
@xwangsd
assistant professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.
Kia Rahmani
@Kiarahmani_
Postdoctoral Fellow @UTCompSci working on neuro-symbolic algorithms for interpretable machine learning. Previous: @PurdueCS, @Microsoft
Tzu-Han👩🏻💻🎹
@TzuHanH
CS PhD student of @TheBorzoo, intern at @MSFTResearch @AWScloud, also a pianist & violinist, formal verification, security, hyperproperties, and🎻🎹🎵🎬🌹🥑☕🥂
Diego
@dhdezr73
I was born one day, and since that day I have never stopped working. What is that thing everyone calls burnout?
Tevfik Kosar
@tevfikkosar
CS Professor @UBuffalo | distributed systems, big data, scalability, green computing | previously with @NSF, @LSU, @UWMadison, @RPI, @UniBogazici_en, @IBM
Wen-Ding Li
@xu3kev
Program Synthesis & ML. Previously Student Researcher at @google. Previously intern at @theteamatx. Mastodon: [email protected]
Alireza Khadem
@arkhadem95
PhD in Computer Engineering @ University of Michigan
Javier
@2481632ds
Human.
Anirudh Rowjee @ override.bsky.social
@AnirudhRowjee
builder and craftsman | dev intern @couchbase | Rust, Golang, Distsys, Databases. Poetry, Guitar | he/him views mine GitHub @AnirudhRowjee
Alireza Farhadi
@AlirezaTCS
دع التکاسل تغنم فقد جری مثل که زاد راهروان چستی است و چالاکی
Victoria Blackie
@BlackieVictoria
Nikolaj Bjorner
@BjornerNikolaj
Hailin Zeng
@hailinzeng
I took the one less traveled by, And that has made all the difference.
Laura Titolo
@laura_titolo
Research Scientist At NIA/NASA Langley👩🏻💻 ~ Mum of 2 👨👩👧👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸
Yash Murty
@yashmurty
Software Engineer | IIT Madras
Divya Shah
@divya05101998
Willy Schultz
@willyjschultz
Mahadevan
@Megadevan92
Colgate comedy hour fan.
Yatin Manerkar
@ymanerkar
Assistant Professor @UMichCSE. Formerly postdoc @Berkeley_EECS. PhD @PrincetonCS. Views my own. RTs/likes are not endorsements.
Subhankar Pal | শুভঙ্কর পাল
@palsubh
Research Scientist at @IBMResearch • PhD+MS @UMichCSE • BE @BITS_Pilani • Computer Architecture and Systems • Tweets reflect my own opinions
Kristin Barber
@kristin_barber
Hardware Security @Google. PhD @OhioState. 🏳️🌈