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
First Call for Workshops! https://t.co/dimEY1v63D Important Dates * Submission Deadline: September 24, 2025 * Notification of Acceptance: October 17, 2025 * Workshop Dates - first block: July 18-19, 2026 * Workshop Dates - second block: July 24-25, 2026
0
2
2
We’re excited to host the 8th Learning for Dynamics & Control (L4DC) Conference at the University of Southern California from June 17–19, 2026 ☀️🌴 Consider submitting your latest research at the interface between learning, optimization, and control, see https://t.co/L5IF5Nrx0y
0
11
56
Named after Prof. Sahasrabuddhe, who was instrumental in establishing the first undergraduate degree program in computer science in India in 1978
2
1
27
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
29
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
1
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
We are thrilled to be co-hosting this AI Research Mixer on 9/19 in collaboration with @WarrenCntrPenn, @PennDDDI, @PennEngAI, and the Penn IDEAS Center! RSVP at the link below to attend - all Penn community members interested in AI research are welcome!
Save the date for our AI Research Mixer on 9/19! This full-day event will feature faculty presentations, poster sessions, and networking opportunities that highlight the breadth of artificial intelligence research taking place across Penn. RSVP here: https://t.co/KA1FKqSQkw
0
7
9
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
11
49
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
Excited that Phillip Hilliard (co-advised with @RajeevAlur) will present work on adaptively processing stream queries with ML operations, in the aiDM workshop at SIGMOD in ~1 hour! The idea: under QoS/budget constraints, we should adaptively trade off accurate vs fast models.
1
2
18
Meet Prof. @lorisdanto!🙌 A first-gen student from Italy to @UCSanDiego CSE, he’s making code more accessible using formal methods + ML Off campus? He’s a surfer, climber, musician, magician!🏄🪄 Welcome to the team!🎉 https://t.co/1iI8O8LxXr
#FacultySpotlight #FirstGen #CSE
0
3
30
Pot of gold at the end of obstacle course with conference submission deadlines: a PhD! Congratulations to Dr. Anton Xue! @AntonXue
3
2
86
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 register for the event, please use the link https://t.co/UjtUuWVkVf! Early registration will end May 15th.
The registration link is now live for the 2nd International Conference on Neuro-symbolic Systems (NeuS)! Join us in Philadelphia from May 28-30! 🔗
0
2
7
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
7
43
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
69
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