Neuroscientists found that logical reasoning does not rely on the brain regions involved in language processing.

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

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

Natural Language Processing (NLP) is a subfield of Linguistics and Computer Science that deals with processing and understanding huge volumes of unstructured text data. To leverage NLP to analyze ...

The demand for people with knowledge and skills in artificial intelligence (AI) and machine learning (ML) hugely outstrips the supply. This means that learning and gaining qualifications in these ...

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