Linda Postniece, PhD

Resume

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.

Linda Postniece, Proof Theory and Proof Search of Bi-Intuitionistic and Tense Logic, PhD thesis. Submitted November 2010, accepted March 2011.

Linda Postniece, Deep Inference in Bi-intuitionistic Logic, Proceedings of WoLLIC 2009, LNAI 5514:320-334, Springer, 2009.
Rajeev Goré, Linda Postniece and Alwen Tiu, Taming Displayed Tense Logics Using Nested Sequents With Deep Inference, to appear in Proceedings of Tableaux 2009.

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.

Last updated: 13 February 2018