Reasoning About Truth: A 3-Week Course on Logic by Dr Christian Colombo

Reasoning About Truth: A 3-Week Course on Logic by Dr Christian Colombo

From daily arguments to artificial intelligence, from software programming to philosophical reasoning - knowingly or not - we use logical reasoning. 

In this exciting course you will learn how to: 

• capture basic truths and combine them together to construct logical statements. 
• consider all possible truth outcomes of a statement based on its components.
• use generic logical rules to reason about anything you like.

About the Lecturer

Christian Colombo obtained his PhD in Computer Science from the University of Malta in 2013 and currently holds the position of Senior Lecturer within the Department of Computer Science. His main areas of research are runtime verification, software testing, compensating transactions, and domain-specific languages, focusing on the creation of dependable software systems by verifying them against formal specifications at runtime. The applications of this body of research spans mobile device security, payment gateway systems, social network privacy policies, and tax compliance, amongst others. He is currently the chairperson of the Malta Humanist Association.