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 ...

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 - ...

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.

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 ...

Basic information and contact details for the University of Salerno There has been a university in the Italian town of Salerno for over a millennium. A medical school, the Schola Medica Salernitana ...

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 ...

This paper reviews existing computer-supported learning systems that have claimed to adopt Socratic methods for enhancing critical thinking. Several notions of Socratic methods are differentiated: the ...

Electronic Design Automation: design tools for embedded systems, hardware-software integration, digital circuit theory, synthesis and verification of digital systems. “Power Analysis for Embedded ...