Congratulations to CSD PhD graduate Katherine Kosaian who has received the Conference on Automated Deduction (CADE) Bill McCune PhD Award for her dissertation “Formally Verifying Algorithms for Real Quantifier Elimination”.
↧
Channel:
Comp Sci Dept Carnegie Mellon
X
Are you the publisher?
Claim or
contact us
about this channel.
X
0
Channel Details:
- Title: Comp Sci Dept Carnegie Mellon
- Channel Number: 76855091
- Language:
- Registered On: December 1, 2023, 12:57 pm
- Number of Articles: 31
- Latest Snapshot: March 18, 2025, 7:54 am
- RSS URL: https://mastodon.acm.org/@csdatcmu.rss
- Publisher: https://mastodon.acm.org/@CSDatCMU
- Description: Public posts from @CSDatCMU@mastodon.acm.org
- Catalog: //mellon794.rssing.com/catalog.php?indx=76855091
© 2025 //www.rssing.com