CV

Here comes a brief yet infrequently updated CV (sorry).

Publications

Publications are shown (most of the time including electronic, local versions of the actual papers) on a separate page. Please note that I do not guarantee timely updates to that page either.

My general research interests can be found elsewhere.

Employment

Education

Training of Highly Qualified Personnel

  • Graduate and post-graduate supervision:
    • Chailong Huang: MSc student since September 2015
    • Sunita Singh: MSc student since September 2014; research area: combined, logical and algebraic approaches to formal methods
    • Davidson Madudu: MSc student since September 2013; research area: process algebrae
    • Umair Naushahi: MSc student January 2013 - February 2016; [ thesis ]
    • A.F.M. Nokib Uddin: MSc student September 2013 - July 2015 [ thesis ]
    • Erick Leon: Msc student January 2014 - May 2015 [ thesis ]
    • Yujie Sun: MSc student May 2012 - January 2015 [ thesis ]
    • Mary Sarah Ruth Wilkin: MSc student January 2011 - November 2014 [ thesis ]
    • Benjamin Teissier: MSc student September 2011 - November 2013 [ thesis ]
    • Farzad Salehi: MSc student January 2011 - December 2011 [ thesis ]
    • Chun Dai: MSc student, September 2006 - December 2008 [ thesis ]
    • Md. Tawhid Bin Waez: MSc student, September 2006 - December 2008 [ thesis ]
    • Yuanqiao Zhang: MSc student, September 2006 - December 2008 [ thesis ]
    • Zhiyu Zhang: MSc student, January 2007 - December 2008 [ thesis ]
    • Jianguo Chen: visiting scholar, September 2006 - September 2007
  • Undergraduate supervision
    • USRA research assistantship: Rob Britton (May 2006 - August 2006), Scott Stoddard (May 2004 - August 2004), and Zaheer Bawar (May 2003 - August 2003)
    • Research assistanship (non-USRA): Xueyuan Peng (May 2010 - August 2010), Petter Haggholm (May 2004 - August 2004)
    • Have supervised two honours theses, two one-year projects, and several one-term projects in the Department of Computer Science, Bishop's University

Research funding

Other research contributions and accomplishments

Other contributions

  • Member, Graduate Studies Committee (Bishop's University, 2015 - present)
  • Member, Senate (Bishop's University, 2015 - present)
  • Member, Evaluation Committee (Bishop's University, 2010 - 2014)
  • UCOSP faculty mentor for Bishop's University (2010 - present)
  • Graduate Coordinator, Department of Computer Science (Bishop's University, 2005 - present)
  • Executive member at large, Faculty Council (Bishop's University, 2005 - 2009)
  • Member, Information Technology Policy Committee (Bishop's University 2003 - 2007, 2008 - 2011)
  • System administrator, departmental computing facilities (two servers, one 25-machine computing lab; Bishop's University, May 2003 - August 2003, July 2007 - September 2008)
  • Alternate member, Appeals Committee (Bishop's University, 2005 - 2007)
  • Chair, Computer Science Appointment Committee (Bishop's University, 2003)
  • Involved in Folle Course Informatique/Mad Programming Race as member of Bishop's organizing team. Authored one of the problems included in the contest (2003)
  • Active member of the open source community; sole maintainer of prolog-mode (a major Emacs mode for Prolog programming) and emacs-pilot (synchronizes Emacs data with Palm OS devices)