Computer Science

Default News Image

Feb 24, 2012 Purnell Cropper

Bauer ’10 Solves Open Problem in Computability Logic

The Villanova University Department of Computing Science reports that graduate student Matt Bauer ’10, in the course of working on his master's thesis in computer science, "solved an open problem in Computability Logic, showing that the basic first-order fragments of it is PSPACE-complete. The...

Default News Image

Feb 24, 2012 Purnell Cropper

Bauer ’10 Solves Open Problem in Computability Logic

The Villanova University Department of Computing Science reports that graduate student Matt Bauer ’10, in the course of working on his master's thesis in computer science, "solved an open problem in Computability Logic, showing that the basic first-order fragments of it is PSPACE-complete. The...

Default News Image

Jan 17, 2012 Donna Whitlock

Computer Science and Math Capstone Presentations

In December 2011 Computer Science and Math students held Capstone Presentations. Below are a sampling of the students’ Capstones with abstracts of their research: “The set chromatic number of a graph” Angela Adams, Ashley Knappenberger, Meagan Leas and Alyssa The abstract: The paper “The Set...