My general research interests are in the logic, semantics, and implementation of programming languages. In particular, I am interested in using logic to help design and verify that software systems ...

School leaders must decide how — and whether — to integrate artificial intelligence-specific lessons into computer science ...

Answer Set Programming (ASP) and Logic Programming represent key paradigms in contemporary computer science, particularly in the field of artificial intelligence. ASP is a form of declarative ...

The intersection of machine learning and mathematical logic — spanning computer science, pure mathematics, and statistics — has catalyzed recent advances in artificial intelligence and deep learning ...

The Graduate Certificate in Cyber Security Analytics (CSAN) is intended for students who are interested in training in the core areas of cyber security, machine learning, and data analytics. This ...