Ashutosh Trivedi

Associate Professor of Computer Science, University of Colorado-Boulder.

[NeurIPS Conference @NeurIPSConf]

NeurIPS acknowledges that the cultural generalization made by the keynote speaker today reinforces implicit biases by making generalisations about Chinese scholars. This is not what NeurIPS stands for. NeurIPS is dedicated to being a safe space for all of us. We want to address the comment made during the invited talk this afternoon, as it is something that NeurIPS does not condone and it doesn't align with our code of conduct. We are addressing this issue with the speaker directly.
NeurIPS is dedicated to being a diverse and inclusive place where everyone is treated equally.

[CAV @confCAV]

🥁And the #cav24 Award goes to...🥁
Clark Barrett @Stanford, David Dill @Stanford, Kyle Julian @Wing, Guy Katz @CseHuji and Mykel Kochenderfer @aiprof_mykel @Stanford for their #cav17 paper “Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks”
Congratulations! 👏

[CAV @confCAV]

Taylor Dohmen, Mateo Perez, Fabio Somenzi and Ashutosh Trivedi (@astrivedi) receive the #cav24 Distinguished Paper Award for their paper "Regular Reinforcement Learning" 👏
Make sure to catch the talk on Friday at 09:40!

[Tianhan Lu @tianhanlu]

Excited to present our (w/ @bechang and @astrivedi) paper "Selectively-Amortized Resource Bounding" at Static Analysis Symposium 2021! Check out the preprint at https://t.co/ZyHqN4NlBP or read on for a quick summary! (1/x)

[Max Lee @genomelee]

@confCAV No female awardee and most are while males. Something is way off

[CAV @confCAV]

Congratulations to the 21 recipients of the 2021 CAV Award! #21in21 🎉
The award recognizes their "pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories (SMT)."
#cav21

[Sumit @SumitPurohit]

The Ending Of PARASITE Explained By Narendra Modi.

[Damski @PavlovLore]

@MsPackyetti @TomBradley11 The numbers we use today are based on drawings done by Phoenician merchants. Many of them were illiterate, so they added angles to a straight line and counted them instead. This picture explains it nicely:

[Ashutosh Trivedi @astrivedi]

Open Faculty Position in Computer Science Trustworthy Software https://t.co/DxmTMEHPF2

[City of Boulder @bouldercolorado]

70-degrees one day, snow the next: Classic spring weather in #Boulder. Photo by theboulderhikderchick via Instagram.

[ArchitecturalRevival @Arch_Revival_]

Sculpted from marble by the hand of Gian Lorenzo Bernini in 1621 AD

Beauty matters

[Colorado PLV @cuplv]

.@cuplv has a postdoc opening on program analysis for security with @cernypavol @bechang @sriram0339 @astrivedi https://t.co/JCjhA1KZm6

[City of Boulder @bouldercolorado]

City of Boulder commits to upholding Paris Climate Agreement and reducing emissions https://t.co/ZgdRbMeXeX

[Ashutosh Trivedi @astrivedi]

Congratulations Armin Biere, Alessandro Cimatti, Edmund M. Clarke, and Yunshan Zhu for receiving the first ever TACAS test-of-time award.

[Ashutosh Trivedi @astrivedi]

https://t.co/ccvc0EzHmu

[Ashutosh Trivedi @astrivedi]

Branches of mathematics.

https://t.co/eLFAdfpo25 via @youtube

[Ashutosh Trivedi @astrivedi]

https://t.co/z6SlohSxr1

[Ashutosh Trivedi @astrivedi]

Prof. Marta Kwiatkowska is named EATCS fellow of 2017. Congratulations!
https://t.co/QAGilTQ1RB

[Pride in London @PrideInLondon]

BREAKING Alan Turing Law receives Royal Assent. Thousands of gay men are posthumously pardoned for 'gross indecency' https://t.co/fGEy3iSYOt

[Ashutosh Trivedi @astrivedi]

ACM's Open-Conference Principle and Political Reality https://t.co/xFEEEKM0fr