We are pleased to announce our participation in the newly funded interdisciplinary project DIDI ("Different groups, different ...

Embed technical assurance into vendor contracts, requiring evidence of performance/robustness/bias testing, transparency ...

In our courses, Formal Methods in Software Engineering and Programming Languages, we’re evolving the classroom environment. We encourage our students to leverage large language models (LLMs) like ...

Lessons on digital citizenship, coding, debugging code, prompting AI, and analyzing AI outputs help students develop valuable ...

Those changes will be contested, in math as in other academic disciplines wrestling with AI’s impact. As AI models become a ...

Pioneering computer scientist who devised the Quicksort algorithm, ways of verifying programs and guards against hackers ...

Language apps tend to fall into two camps: either overly gamified with little substance, or structured but hard to stick with. Qlango finds a middle ground by combining game mechanics with a learning ...

The following is a story that originally appeared on the Trinity College of Arts and Sciences website. Spend enough time on a college campus and you will hear the usual stereotypes about computer ...

Human language may seem messy and inefficient compared to the ultra-compact strings of ones and zeros used by computers—but our brains actually prefer it that way. New research reveals that while ...

Something strange happened at University of California campuses this fall. For the first time since the dot-com crash, computer science enrollment dropped. System-wide, it fell 6% last year after ...

Connecting the dots: For the first time in more than two decades years, computer science enrollment across the University of California system has fallen, a drop some educators see as a reflection of ...