Research



Below are some links related to my own research interests in the fields of computational logic and formal modeling/verification. Further information can be found in the home page of TCSLAB.

Logic Programming

Verification and Formal Methods

The Rest

Copyright © 2003 Ulf Nilsson

Page responsible: Ulf Nilsson
Last updated: 2013-04-11