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
113 Followers
202 Following
USCIS
@USCIS
Official Twitter account of U.S. Citizenship and Immigration Services. Regional accounts: @USCISMediaNorth @USCISMediaSouth @USCISMediaCntrl @USCISMediaWestDiego
@dhdezr73
I was born one day, and since that day I have never stopped working. What is that thing everyone calls burnout?Igor Konnov @[email protected]
@k0nn0v
independent security and formal methods researcherIlya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.George Pîrlea
@GeorgePirlea
PhD student @NUSComputing. Programming languages, formal methods, distributed systems. ◎ pirlea.sol / Ξ pirlea.eth / https://t.co/YSWX6lMMgVManuel Rigger
@RiggerManuel
Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages. @[email protected]Jordan Lewis
@largedatabank
Senior director of engineering for CockroachDB Cloud. https://t.co/eMtoaGO2ov…Immanuel Trummer
@ImmanuelTrummer
Database Prof at Cornell. I make data analysis more efficient and more user-friendly.SIGMOD/PODS 2024
@SIGMODConf
2024 ACM SIGMOD/PODS International Conference on Management of Data.Jack Vanlightly
@vanlightly
@confluentinc thinking about event streaming. Previously @Splunk, @VMware @[email protected] Credit: ESO/B. Tafreshi (https://t.co/DvCarvC9L3)Shriram Krishnamurthi 🟤 🏴☠️ 👨🏽🏫 🚴♂️ 🏏
@ShriramKMurthi
🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketASPLOS
@ASPLOSConf
ACM conference on Architectural Support for Programming Languages and Operating Systems.Aws Albarghouthi 🍉 أوس
@awsTO
computer scientist, professor, palestinianSnoqualmie Pass
@SnoqualmiePass
Official WSDOT account for I-90/Snoqualmie Pass traffic. Questions? The answer might be here: https://t.co/FMsbewbq69…Washington State DOT
@wsdot
Official Washington State Department of Transportation Twitter account. For road hazards and emergencies, please call 911.Linus LinusMediaGroup
@linusgsebastian
Father of children, maker of YouTube videos, player of badminton, Canadian. Yes I play FAF.Somu Perianayagam
@somu_peri
A glorified typist, a curious bipedal, and a bipedal enthusiast! The opinions I express here are my own!Akshat Vig
@akshatvig
Sr. Principal Eng @ AWS -DynamoDB, Keyspaces. Love to solve hard distributed system problems. Learn, build, repeat. All opinions are my ownNadia Polikarpova
@polikarn
Associate prof @ucsd_cse. Building tools for program verification and synthesis.DynamoDB
@dynamodb
Amazon DynamoDB is a serverless database for applications that need high performance at any scale. Follow us! And join the team: https://t.co/VtAvkTtJj8Andy Jassy
@ajassy
Lead Amazon, married and father of two kids, big sports/music/film fan, experienced buffalo wings eater. Go Kraken!Daniel Guo
@realdanielkuo
Applied Scientist @AWS Proactive Security, Former Security Researcher @BaiduResearch, opinions are my own.Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Ankush Desai
@ankushpd
Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUwMountRainierNPS
@MountRainierNPS
The Official Mount Rainier National Park Twitter Feed!FLoC2022
@FLoC2022
Federated Logic Conferences 2022 Haifa, IsraelAdam Selipsky
@aselipsky
Husband & dad. Water skier/tennis player. Fan of Seahawks & Sounders. CEO at #AWS.Jeff Bezos
@JeffBezos
Amazon. Blue Origin. Washington Post. Bezos Earth Fund. Bezos Academy.Bill Gurley
@bgurley
VC @benchmark, Investor: @grubhub, @zillow, @uber, @stitchfix, @nextdoor, @glassdoor, @hacker0x01, @solvhealth, @roverdotcom, @instawork Trustee @sfiscienceFerhat Erata 🦀
@ferhaterata
PhD Student @Yale • Applying automated reasoning to software engineering & cryptographic code • Applied Scientist Intern @AmazonScience @AWSCloud • Views my ownXinyu Wang
@xwangsd
assistant professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.Somesh Jha
@jhasomesh
Professor of Computer Science and a music lover. Interested in formal methods, security, and Trustworthy ML. Oh yes, and classical music and jazz.Roopsha Samanta
@roopshasamanta
Ex-academic. Untenured, unapologetic, undaunted.Vaibhav Sharma
@vbsharma
PhD graduate from the University of Minnesota working on improving and applying program analysis towards security and software engineering applicationsTzu-Han👩🏻💻🎹
@TzuHanH
CS PhD student of @TheBorzoo, intern at @MSFTResearch @AWScloud, also a pianist & violinist, formal verification, security, hyperproperties, and🎻🎹🎵🎬🌹🥑☕🥂Swarat Chaudhuri
@swarat
Professor @UTCompSci. Automated Reasoning + Machine Learning + Formal Methods. @iclr_conf Program Chair.Marc Brooker
@MarcJBrooker
AI, databases, and serverless at AWS. Views are my own. On Mastodon: @[email protected]Tevfik Kosar
@tevfikkosar
CS Professor @UBuffalo | green and sustainable computing, distributed systems, data centers, cloud computing, IT carbon reduction, AI for systems optimization.Wen-Ding Li
@xu3kev
Program Synthesis & ML. Previously Student Researcher at @google. Previously intern at @theteamatx. Mastodon: [email protected]Vijay Chidambaram
@vj_chidambaram
Prof, UT Austin CS Dept. Views my own.Irene Zhang
@schemeprincess
[email protected] on Mastodon. schemeprincess on Instagram.AWS Cloud India
@AWSCloudIndia
☁️. On a mission to empower builders & businesses to build a better 🇮🇳. For support👉🏽 @AWSSupportPreeti Malani
@PreetiNMalani
Deputy Editor @JAMA_current, @umich @MedillSchool, #healthequity #InfectiousDiseases, pandemic puppy aficionado, 〽ichigan fan that bleeds maize & blue, she/herWilly Schultz
@willyjschultz
Murat Demirbas (Distributolog)
@muratdemirbas
MongoDB Research: Distributed {Systems, Databases, Consensus}. Ex-AWS. Professor @SUNY Buffalo. Opinions are my own. Blog at https://t.co/IqZPhhtcCCSAT Conference
@thesatconf
Next edition: 2023 in Alghero, Italy International Conference on Theory and Practice of SatisfiabilityU.S. Embassy India
@USAndIndia
Official account of U.S. Embassy in India. RTs/links are not endorsement. Follow US Ambassador to India at @USAmbIndia. Terms of use: https://t.co/Hz0PCXRUZ7AWS Events
@AWSEvents
We bring the cloud computing community together to connect, collaborate, and learn from #AWS experts.Alexandra Silva
@alexandra8silva
Computer scientist, loves traveling and food tasting!Prime Video
@PrimeVideo
This one’s for you *points into crowd*. The Idea of You is now streaming.