| CARVIEW |
Sign in to view Patrick’s full profile
Welcome back
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
New to LinkedIn? Join now
or
New to LinkedIn? Join now
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
Sign in to view Patrick’s full profile
Welcome back
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
New to LinkedIn? Join now
or
New to LinkedIn? Join now
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
Newark, New Jersey, United States
Sign in to view Patrick’s full profile
Welcome back
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
New to LinkedIn? Join now
or
New to LinkedIn? Join now
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
3K followers
500+ connections
Sign in to view Patrick’s full profile
Welcome back
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
New to LinkedIn? Join now
or
New to LinkedIn? Join now
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
View mutual connections with Patrick
Welcome back
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
New to LinkedIn? Join now
or
New to LinkedIn? Join now
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
View mutual connections with Patrick
Welcome back
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
New to LinkedIn? Join now
or
New to LinkedIn? Join now
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
Sign in to view Patrick’s full profile
Welcome back
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
New to LinkedIn? Join now
or
New to LinkedIn? Join now
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
About
Welcome back
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
New to LinkedIn? Join now
Activity
Sign in to view Patrick’s full profile
Welcome back
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
New to LinkedIn? Join now
or
New to LinkedIn? Join now
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
-
NSF said it will select around three topic areas “in which the U.S. must retain or regain technical dominance,” possibly including quantum…
NSF said it will select around three topic areas “in which the U.S. must retain or regain technical dominance,” possibly including quantum…
Liked by Patrick Shafto
-
We’ve open-sourced pbcc: a streamlined Protobuf compiler for Python built for performance and scale. 🚀 Standard Protobuf implementations often…
We’ve open-sourced pbcc: a streamlined Protobuf compiler for Python built for performance and scale. 🚀 Standard Protobuf implementations often…
Liked by Patrick Shafto
-
The mathematical world is changing. Go boldly!
The mathematical world is changing. Go boldly!
Shared by Patrick Shafto
Experience & Education
-
Defense Advanced Research Projects Agency (DARPA)
******* *******
-
******* ********** * ******
********* ** *********** *** ******** *******
-
*******
*******
-
************ **********
****** ** ********** ***** ********* ******* undefined
-
-
************ **********
*** ** undefined
-
View Patrick’s full experience
See their title, tenure and more.
Welcome back
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
New to LinkedIn? Join now
or
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
Projects
-
DARPA XAI program: Model Explanation by Optimal Selection of Teaching Examples, PI
- Present
-
DARPA XDATA program: CrossCat and BayesDB
-
-
DARPA ASIST: Cooperative AI for human-machine teaming
-
-
DARPA Red: Intent obfuscation for adversarial attacks
-
-
DARPA Sail-On: AI approaches to open-world learning
-
Honors & Awards
-
Fellow of the Cognitive Science Society
The Cognitive Science Society
Fellows of the Cognitive Science Society are individuals whose research has exhibited sustained excellence and had sustained impact on the Cognitive Science community.
-
Henry Rutgers Term Chair in Data Science
Rutgers University
-
Visiting Fellow, Center for the Study of Language and Information
Center for the Study of Language and Information (CSLI), Stanford University
-
Outstanding Scholarship, Research and Creative Activity Award in Basic and Applied Sciences
University of Louisville, College of Arts and Sciences, 2012-2013.
-
NSF Early Career Scholar (CAREER) award
National Science Foundation
More activity by Patrick
-
I will be at the Joint Mathematics Meetings #JMM2026 next week! · Talk Monday: "Autoformalization and the future of mathematics" in the AMS…
I will be at the Joint Mathematics Meetings #JMM2026 next week! · Talk Monday: "Autoformalization and the future of mathematics" in the AMS…
Shared by Patrick Shafto
-
We are thrilled to welcome Lila Davachi, a pioneer in the study of human memory, as a member of the Wu Tsai Institute. Currently at Columbia…
We are thrilled to welcome Lila Davachi, a pioneer in the study of human memory, as a member of the Wu Tsai Institute. Currently at Columbia…
Liked by Patrick Shafto
-
2025 was a huge year for me and the UW–Madison Data Science Institute. I tried to capture some highlights in my year in review (on updated…
2025 was a huge year for me and the UW–Madison Data Science Institute. I tried to capture some highlights in my year in review (on updated…
Liked by Patrick Shafto
-
We are pleased to invite submissions to the ICLR 2026 Workshop on Artificial Intelligence and Partial Differential Equations (AI&PDE), taking place…
We are pleased to invite submissions to the ICLR 2026 Workshop on Artificial Intelligence and Partial Differential Equations (AI&PDE), taking place…
Liked by Patrick Shafto
-
𝗢𝘂𝗿 𝗰𝗹𝗼𝘀𝗲𝗱 𝗯𝗲𝘁𝗮 𝗳𝗼𝗿 𝗟𝗲𝗺𝗺𝗮 𝗶𝘀 l𝗮𝘂𝗻𝗰𝗵𝗲𝗱! 🚀 Many kudos to the team for getting our co-explorer for science, math, and…
𝗢𝘂𝗿 𝗰𝗹𝗼𝘀𝗲𝗱 𝗯𝗲𝘁𝗮 𝗳𝗼𝗿 𝗟𝗲𝗺𝗺𝗮 𝗶𝘀 l𝗮𝘂𝗻𝗰𝗵𝗲𝗱! 🚀 Many kudos to the team for getting our co-explorer for science, math, and…
Liked by Patrick Shafto
-
At 𝐀𝐱𝐢𝐨𝐦𝐚𝐭𝐢𝐜, we’ve been building 𝐀𝐈 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 that work at the frontier of 𝐩𝐡𝐲𝐬𝐢𝐜𝐚𝐥 𝐚𝐧𝐝 𝐦𝐚𝐭𝐡𝐞𝐦𝐚𝐭𝐢𝐜𝐚𝐥…
At 𝐀𝐱𝐢𝐨𝐦𝐚𝐭𝐢𝐜, we’ve been building 𝐀𝐈 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 that work at the frontier of 𝐩𝐡𝐲𝐬𝐢𝐜𝐚𝐥 𝐚𝐧𝐝 𝐦𝐚𝐭𝐡𝐞𝐦𝐚𝐭𝐢𝐜𝐚𝐥…
Liked by Patrick Shafto
-
AI for Physics is here. Incredible Dirk Englund Frank Koppens Jake Taylor Marin Soljacic
AI for Physics is here. Incredible Dirk Englund Frank Koppens Jake Taylor Marin Soljacic
Liked by Patrick Shafto
-
Very much enjoying meeting so many enthusiastic Lean users! I got a Lean-themed t-shirt printed in time for this event, it’s the blue one at the…
Very much enjoying meeting so many enthusiastic Lean users! I got a Lean-themed t-shirt printed in time for this event, it’s the blue one at the…
Liked by Patrick Shafto
-
Happy to see our ideas about partitions and primes included in SciAm’s 2025 list. A reminder that simple questions can still lead to unexpected…
Happy to see our ideas about partitions and primes included in SciAm’s 2025 list. A reminder that simple questions can still lead to unexpected…
Liked by Patrick Shafto
-
Kathleen Fisher, Nathan Labenz and I got into the nitty gritty of formal verification and neurosymbolic AI . Listen in: https://lnkd.in/eRJN4chp
Kathleen Fisher, Nathan Labenz and I got into the nitty gritty of formal verification and neurosymbolic AI . Listen in: https://lnkd.in/eRJN4chp
Liked by Patrick Shafto
-
Excited to have visited one of our Defense Advanced Research Projects Agency (DARPA) performers in Mark Cuban Cost Plus Drug Company, PBC (Mark…
Excited to have visited one of our Defense Advanced Research Projects Agency (DARPA) performers in Mark Cuban Cost Plus Drug Company, PBC (Mark…
Liked by Patrick Shafto
-
If people are so hungry for an ML researcher with a Google affiliation making progress on a long standing open problem in math, check out Justin…
If people are so hungry for an ML researcher with a Google affiliation making progress on a long standing open problem in math, check out Justin…
Liked by Patrick Shafto
View Patrick’s full profile
-
See who you know in common
-
Get introduced
-
Contact Patrick directly
Other similar profiles
Explore top content on LinkedIn
Find curated posts and insights for relevant topics all in one place.
View top contentOthers named Patrick Shafto
Add new skills with these courses
Sign in to message Patrick
Welcome back
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
New to LinkedIn? Join now
or
New to LinkedIn? Join now
By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
LinkedIn is better on the app
Don’t have the app? Get it in the Microsoft Store.
Open the app