Rajeev Alur
@RajeevAlur
Followers
2K
Following
1K
Media
17
Statuses
210
Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Philadelphia, PA
Joined March 2022
RT @FLoC2026: First Call for Workshops!.Important Dates.* Submission Deadline: September 24, 2025.* Notification of….
0
2
0
RT @LarsLindemann2: We’re excited to host the 8th Learning for Dynamics & Control (L4DC) Conference at the University of Southern Californi….
0
11
0
Named after Prof. Sahasrabuddhe, who was instrumental in establishing the first undergraduate degree program in computer science in India in 1978.
1
1
25
Was great honor and pleasure to deliver the Hari Sahsrabuddhe lecture at my alma mater @IITKanpur
0
2
30
It was great to meet @karandi65 Secretary @IndiaDST to discuss the various initiatives in AI by Government of India
0
1
27
With its innovative curriculum, state of the art facilities and visionary leadership, @PlakshaUniv has a bright future
It was great to visit @PlakshaUniv and address the incoming class of bright young minds about opportunities and perils of #AI.
0
0
10
It was great to visit @PlakshaUniv and address the incoming class of bright young minds about opportunities and perils of #AI.
0
1
6
RT @PennAsset: We are thrilled to be co-hosting this AI Research Mixer on 9/19 in collaboration with @WarrenCntrPenn, @PennDDDI, @PennEngAI….
0
7
0
Congratulations to @vardi and the Intel and IBM teams! This work was really important for adoption of formal specifications in hardware design tools.
And the CAV award goes to. 🥁🥁🥁.Roy Armoni, Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Limor Fix, John Havlicek, Avner Landver, Hiller Miller, and Moshe Vardi . 🏆 INDUSTRIAL TEMPORAL LOGIC SPECIFICATION MECHANISMS 🏆. @vardi
0
2
30
Start planning for FLoC next July in Lisbon!!.
FLoC brings together brings together the world's leading researchers in logic and computer science. 📍 Location: ISCTE, Lisbon, Portugal.📆 Dates: July 20-23, 26-29 (Conferences), July 18-19, 24-25 (Workshops), July 13-17 (FoPSS School).🌐 Website:
0
0
8
Very much enjoyed advocating for symbolic reasoning for Trustworthy AI in my NSF CISE lecture, the recording is now available at
nsf.gov
CISE Distinguished Lecture Series
0
12
50
Congratulations to @_ziyang_ for his outstanding thesis that advances theory, tools and applications of neurosymbolic AI, looking forward to his contributions as he sets up his own research group.
Congratulations to Dr. Ziyang Li (@_ziyang_) on defending his dissertation today! Titled "Neurosymbolic Programming in Scallop: Design, Implementation, and Applications", this dissertation proposed Scallop, a unified programming system for combining the otherwise complementary
0
0
20
Looking forward to discuss the promise of neurosymbolic approaches to trustworthy AI at @NSF CISE
nsf.gov
CISE Distinguished Lecture Series
1
5
32
RT @zgives: Excited that Phillip Hilliard (co-advised with @RajeevAlur) will present work on adaptively processing stream queries with ML o….
0
2
0
RT @ucsd_cse: Meet Prof. @lorisdanto!🙌 A first-gen student from Italy to @UCSanDiego CSE, he’s making code more accessible using formal me….
0
4
0
Pot of gold at the end of obstacle course with conference submission deadlines: a PhD! Congratulations to Dr. Anton Xue! @AntonXue
3
2
87
RT @PennAsset: We can’t wait to host the 2025 NeuS Conference here in Amy Gutmann Hall from May 28 - May 30! If you want to learn more or r….
0
2
0
Congratulations to Swarat Chaudhuri (PhD, @PennCIS 2007) for this wonderful honor from Guggenheim Foundation
gf.org
Since 1925, the Guggenheim Foundation has given Fellowships to exceptional artists, writers, scholars, and scientists, empowering them to pursue meaningful work under the freest possible conditions.
0
6
42
Honored to be highlighted in NSF CISE monthly newsletter, and grateful for the support from @NSF to do basic research over the years #SupportNSF
7
9
70
It was great to host NSF workshop to bring together many folks working to make AI safe and trustworthy #SupportNSF.
The @pennasset's @nsf Workshop on the Science of Safe AI brought together researchers to explore the future of AI safety. Watch the highlights in this video. @rajeevalur @cis_penn @pennengineers #SafeAI
1
3
25