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 and Prolog by U. Nilsson and J. Maluszynski
• Prolog FAQs
• Logic programming newsletter
• Logic programming @ oxford
• Cetus links on Prolog
• Association of Logic Programming
• Functional Logic Programming
• Systems: SICStus, XSB

• Safety-Critical Systems @ Oxford
• Formal Methods @ Oxford
• Concurrency @ Oxford
• Distributed systems
• Calculi for Mobile Processes
  
• Encryption and Security-related Resources
• Tom Dunigan's security page
  

• FSA Utilities
• Finite Model Theory
• Computer Science Bibliography
• A Collection of Computer Science Bibliographies
• CiteSeer
• ACM Conferences
• Interesting Conferences & Workshops
• Associations: ALP, EAPLS, ACM, IEEE Computer Soc
• Programming Languages
• The Stony Brook Algorithm Repository