Why do people make the choices they do? Researchers from the Center Synergy of Systems (SynoSys) at TUD Dresden University of Technology, the Max Planck Institute for Human Development, and the ...

As a result, researchers are exploring ways to embed better logic into AI. The goal isn’t so much to make LLMs smarter; it’s ...

Perplexity unveiled Computer for Counsel on June 24 — a legal-specific configuration of its agentic platform that routes tasks across more than 20 frontier AI models while connecting to the document ...

Basic information and contact details for the University of Rome II – Tor Vergata The University of Rome II, also known as the University Tor Vergata, is a young university in Italy, founded in 1982.

Note: This repository is archived and read-only. It serves as a historical record of coursework completed between 2014-2018. Four years of computer science education distilled into one repository.

I am an Assistant Professor in the Principles of Programming Group of the Computer Science Department at Carnegie Mellon University. The goal of my research is to enable the construction of ...

Self-driving cars, autonomous robots, modern airplanes, or robotic surgery: we increasingly entrust our lives to computers and therefore should strive for nothing but the highest safety standards - ...

Abstract: We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reasoning about quantum states. In our model, the separating conjunction of BI describes ...

I moved to Carnegie Mellon University. This page is no longer maintained. Visit the link above for the new webpage. My current research focusses on two major challenges for SAT solving: 1) exploiting ...

How can we build such testing bots? To create tests for some software, a testing bot first must be able to interact with it—that is, produce inputs, examine outputs, relate these to the inputs, and ...