Welcome...

My name is Lan Zhang. Currently I am a PhD student of the University of Liverpool. I am interested in theorem proving.

My primary supervisor is Ullrich Hustadt and my secondary supervisor is Clare Dixon.

Activities and publications (in the reverse chronological order)

2011

• Worked as a tutor for COMP525 (Master Module) ``Reasoning about Action and Change''
• Worked as a tutor for COMP102 (Bachelor Module) ``Introduction to Database''

2010

• Lan Zhang, Ullrich Hustadt, and Clare Dixon
  ``CTL-RP: A Computation Tree Logic Resolution Prover''
  AI Communications, volume 23, number 2-3/2010, page 111-136. 2010.
  Online version (via IOS Press)
• Worked as a tutor for COMP102 (Bachelor Module) ``Introduction to Database''

2009

• Lan Zhang, Ullrich Hustadt, and Clare Dixon
  ``A Refined Resolution Calculus for CTL''
  In Proceedings of the 22nd International Conference on Automated Deduction CADE-22 (McGill University, Montreal, Canada, August 2 - 7, 2009), pp.245-260. LNAI 5663, Springer.
  Abstract (via Springer), BibTex (via DBLP),
  Full Text (via Springer), Presentation Material
• Lan Zhang, Ullrich Hustadt, and Clare Dixon
  ``CTL-RP: A Computation Tree Logic Resolution Prover''
  ``Automated Deduction: Decidability, Complexity, Tractability 2009'' (ADDCT 2009), McGill University, Montreal, Canada, August 2 2009.
  Presentation Material
• Attended the workshop ``Career Skills Workshop 2008'', April 15-17, 2009, Liverpool UK
• Lan Zhang, Ullrich Hustadt and Clare Dixon
  ``CTL-RP: A Computational Tree Logic Resolution Prover''
  Automated Reason Workshop 2009 (ARW'09), April 21-22, 2009, Liverpool UK
  Poster and Presentation Material
• Worked as a tutor for COMP525 (Master Module) ``Reasoning about Action and Change''
• Worked as a tutor for COMP101 (Bachelor Module) ``Introduction to Programming in Java''

2008

• Lan Zhang, Ullrich Hustadt and Clare Dixon,
  ``First-order Resolution for CTL''
  Technical Report ULCS-08-010, Department of Computer Science, University of Liverpool (2008)
  Full Text
  
• Attended ``2nd Workshop on Reachability Problems'', September 15-17, 2008, Liverpool UK
• Attended ``The European Summer School in Logic, Language and Information (ESSLI) 2008", August 4-15, 2008, Hamburg Germany
• Lan Zhang, Ullrich Hustadt and Clare Dixon
  ``A Refined Resolution Calculus for CTL''
  Automated Reason Workshop 2008, July 30-31, 2008, Birmingham UK
  PDF, Poster, Presentation Material
• Attended the workshop ``Liverpool Algorithm Day 2008'', 23rd May 2008, Liverpool UK
• Attended the workshop ``The University of Liverpool Poster Day 2008'', 6th Feb 2008, Liverpool UK
  Poster
• Attended the workshop ``First Year Skill Workshop 2008'', Jan 15-17, 2008, Liverpool UK
  Presentation Material
• Lan Zhang, Ullrich Hustadt and Clare Dixon
  ``First-order resolution for CTL''
  Postgraduate Workshop 2008, Jan 14th, 2008, Liverpool UK
  Presentation Material
• Worked as a tutor for COMP525 (Master Module) ``Reasoning about Action and Change''
• Worked as a tutor for COMP102 (Bachelor Module) ``Introduction to Database''
• Worked as a tutor for COMP101 (Bachelor Module) ``Introduction to Programming in Java''

2007

• Attended the workshop ``FTP 2007'', September 12-13, 2007, Liverpool UK
• Attended the conference ``FroCos 2007'', September 10-12, 2007, Liverpool UK
• Lan Zhang, Ullrich Hustadt and Clare Dixon
  ``Implementing tractable temporal logics''
  Automated Reason Workshop 2007, April 19-20 2007, London UK
  PDF, Poster, Presentation Material
• Attended the PDR workshop, February 14th 2007, Liverpool UK
• Attended ``University Demonstrator Training'', February 1st 2007, Liverpool UK
• Worked as a tutor for COMP525 (Master Module) ``Reasoning about Action and Change''

2006

• Lan Zhang,
  ``Implementing Tractable Temporal logics''
  (A brief version of my master thesis)