LAP logo

Logic and Programming

research group at

Department of Computer Science, Applied Mathematics and Statistics, UdG


Main research line:


Methods and foundations of logic-based tools for dealing with hard computational problems



Logic plays a fundamental role in many computer science areas: databases, programming languages, software engineering, verification… In fact, logic has been called "the calculus of computer science", as it plays a similar role in computer science to that of calculus in the physical sciences and traditional engineering disciplines (M. Vardi, 2007)


The group has done research in automated theorem proving in first-order logic with equality (paramodulation) and in higher-order logic (higher-order unification). Nowadays the group is interested in propositional satisfiability (SAT) and SAT modulo theories (SMT) and their applications to solve combinatorial problems in areas such as planning and scheduling: timetabling, task sequencing in industrial processes, etc.



Members:



Past members:



Software:



Publications: please check personal pages

 


Last update: May 26, 2015