Linda Postniece, PhD
In Semester 1 2018, I am the second examiner for COMP1100/1130 Programming as Problem Solving (including Advanced). Previously, I have taught parts of Relational Databases and Formal Methods in Software Engineering.
Academic community service
In 2017, I served on the program commitee of The 16th International Conference on Artificial Intelligence and Law
Last updated: 13 February 2018
- Rajeev Goré and Linda Postniece, Combining Derivations and Refutations for Cut-free Completeness in Bi-Intuitionistic Logic, to appear in Journal of Logic and Computation.
- Rajeev Goré, Linda Postniece and Alwen Tiu, Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents, Proceedings of AiML 2008, 43-66, College Publications, 2008.
- Rajeev Goré and Linda Postniece, An Experimental Evaluation of Global Caching for ALC (System Description), Proceedings of IJCAR 2008, LNAI 5195:299-305, Springer-Verlag, 2008.