Omar Chowdhury
@ochowdhu
Followers
748
Following
2K
Media
11
Statuses
438
Associate Professor at @sbucompsc. Works on Automated Reasoning, Security, Privacy, and Software Engineering. Views are my own.
Stony Brook, NY
Joined April 2009
@smmukitrashid will present our work on state-machine and property-guided testing/fuzzing tomorrow at 1:30 pm @acm_ccs. Join the talk if you are around. Feel free to play with this new tool: https://t.co/JBUoUjHwdy. Joint work with @ochowdhu.
github.com
Contribute to SyNSec-den/Proteus development by creating an account on GitHub.
For stateful protocol testing, instead of mutating inputs arbitrarily, mutate "state machine" and apply testing budget-aware & property-guided mutations! Check out our @acm_ccs'24 paper: https://t.co/z6rPH55mTB Thanks, @smmukitrashid & team (@ochowdhu), for the hard work.
0
1
3
Two 19-year-old students from the University of Washington, Thomas Pryor and Navid Azodi have developed a pair of gloves that convert sign language to speech or text.
259
3K
17K
@sbucompsc is hiring tenure-track faculty in AI including NLP, Vision, and Robotics. We have a strong #NLProc group (@HAndySchwartz, @OwenRambow, Jordan Kodner, & myself) and an amazing vision group. Come join us. https://t.co/JlfUTQ1QYD Ping me if you have questions.
0
10
23
That time a horse sneaked into a cycling race In 1997, a horse jumped over a fence and joined the peloton of the of the Critérium International, eventually passing it, leaving the race only 20 km from the finish line. https://t.co/uOPaO6WMP5
410
5K
33K
ANNOUNCEMENT: The @NSF Secure and Trustworthy Cyberspace (SaTC) 2.0 Vision Statement is publicly available on arXiv! Check it out here:
arxiv.org
The Secure and Trustworthy Computing (SaTC) program within the National Science Foundation (NSF) program serves as the primary instrument for creating novel fundamental science in security and...
0
24
59
The appetizer video to our article The Silent (R)evolution of SAT in the Communications of the ACM, June 2023, https://t.co/WlZeF1OvRa (Open Access) Propositional Satisfiability (SAT) has been a cornerstone of computational complexity theory; now, it has become a central target
2
29
67
Excited to announce that I am joining @UnivOfKansas as an Assistant Professor of EECS starting Fall '23! I will soon be recruiting students interested in Programming Languages. Feel free to reach out!
17
12
128
Folks, I am looking for a post-doc to work with me on some formal methods and programming languages work starting September 1st. If you are interested, then please consider applying to the following job posting:
3
17
25
It’s not that you can always hear a Turing award winner give an in person talk
0
0
14
Every year I read a lot of grad school applications from accomplished people that don't give me the info I'm looking for. It feels like a major hidden curriculum thing. So here's (my opinion on) how to write a great Statement of Purpose/Research for a PhD program. 🧵 1/
106
3K
13K
📣 Coinciding: 8ᵗʰ Iowa Computer Science #GradResearchSymposium. Senior #PhDstudents
@CurrinFlannery @joyantadebnat10 @HankyuJang @arjunvish1993 will 💬 their #UIowaResearch before Prof. @bijayaAdh keynote. Deets @ https://t.co/mICVavd1xU
#PhDLife 2/2 👨🎓 👩🎓 #PKI #SMT #HCI #HAIs
0
2
4
📢 @UIowaCS invites applications for multiple #TenureTrack ➕ #InstructionalTrack #CSfaculty positions eff. Aug 2023. Deets @ https://t.co/dLIyHpqVau 🗓️ Full consideration to apps received by 1/1/23. RTs welcome 😉 #CompSci #Informatics
0
7
12
How I start my favourite research projects: Take a complex problem P that no one knows how to solve and find its irreducible core. Strip away all complexity, layer by layer, until you find the easiest problem statement P' s.t. if you solve P', you can solve P.
1
7
38
It’s a dark day for the country. I have difficulty understanding this when we are 2022. Seriously people not 1922, it’s 2022. Unbelievable!!
0
0
8
I am delighted to share that our paper titled "Removing the Reliance on Perimeters for Security using Network Views" got the "Best Student Paper" award in #SACMAT2022. Find the paper here:
3
2
12
Excited to be participating in today's @ACM_SACMAT panel on enforcing security policy in emerging systems and networks! Thanks for having me #SACMAT22!
0
1
7
📣 Congrats to @LifeAtPurdue Professor Elisa Bertino, newly elected Vice President of @TheOfficialACM. #ComputerScience #PurdueCS #Purdue #PurdueUniversity #TheNextGiantLeap
1
4
33
Cool paper alert 😎! Consider a conversation between a French and an English speaker. What is the simplest way for the English speaker to translate a word “apple" for the French speaker? Well, simply bring an apple to the French speaker :) (1/6)
3
38
201
📢 @bijayaAdh just received an award for "#HealthDisparities➕#ML Community Feasibility." His team will develop #equitable surveillance #algorithms for accurate 🖼️ of large-scale #epidemics w/ 🔎 on #RegionalEquity➕Demographic #Fairness 🖱️: https://t.co/OInTZlxH0u
#CSforGood 👍
0
1
9
We have a very exciting set of papers for #sacmat22. Please consider joining us virtually. June 8-10. https://t.co/cuT2ZlNNac
0
1
4