1w Talent

FEATURED TALENT

Dave A. D. Tompkins
Last Updated: 2007.04.24

Contact Information

Full Name: David Andrew Douglas Tompkins
Current Position: Ph.D. Candidate
Department of Computer Science
University of British Columbia
Mailing Address: Department of Computer Science
University of British Columbia
201-2366 Main Mall
Vancouver, BC, Canada
V6T 1Z4

Phone: (cell) +1.604.377.4335
(lab) +1.604.822.4599
(fax) +1.604.822.5485
email: davet(@)cs.ubc.ca
website: www.cs.ubc.ca/~davet/

Post-Secondary Education

Ph.D. Computer Science
University of British Columbia (Expected Spring 2008)
M.A.Sc. Electrical & Computer Engineering
University of British Columbia (2000)
B.E.Sc. Electrical Engineering
University of Western Ontario (1996) (Gold Medallist)
B.Sc. Computer Science
University of Western Ontario (1994)

Employment History

2004.01 - present Research Assistant
University of British Columbia, Vancouver, BC
Satisfiability research
1999.09 - present Teaching Assistant (part-time)
University of British Columbia, Vancouver, BC
See Teaching Experience Section for further details
1988.05 - present Sole Proprietor (contract/part-time)
synervations.com
Software development and consulting with numerous clients
2000.08 - 2001.08 Senior Software Developer
UB Video, Inc., Vancouver, BC
Software development of libraries (JPEG 2000, MPEG-4) for PC and
embedded DSP environments
2000.01 - 2002.12 Sessional Lecturer (part-time)
University of British Columbia, Vancouver, BC
EECE 467 - Real-Time Implementation of DSP Algorithms
1998.01 - 2000.08 Research Assistant
University of British Columbia, Vancouver, BC
Bi-Level image compression
1997.05 - 1997.12 Systems Analyst
Netcon Technologies, London, ON
Developed software and system solutions for clients
1996.05 - 1997.04 President
University Students’ Council, UWO, London, ON
Managed a variety of people and services for a large organization
1995.01 - 1995.12 Systems Analyst (summer/part-time)
MIS Solutions, Inc., London, ON
Developed software and system solutions for clients
1992.05 - 1994.08 IT Support & Development (summer/part-time)
Labatt Breweries of Canada, London, ON
IT Services: customer support, network administration, application development
Curriculum Vitae – Dave A.D. Tompkins – Last Updated: 2007.04.24 – page 2 of 9

Teaching Experience

Sessional Instructor

Class Lecture Overall
Term Course Size hours/week Evaluation
2002 Fall EECE 467 21 2.0 90
2002 Spring EECE 467 50 2.0 90
2001 Fall EECE 467 27 2.0 95
2001 Spring EECE 467 50 2.0 95
2000 Fall EECE 467 31 2.0 90
2000 Spring EECE 467 33 2.0 85

Teaching Assistant

Overall
Term Course Evaluation
2007 Spring CPSC 121 TBD
2006 Fall CPSC 320 89
2006 Spring CPSC 320 97
2005 Summer II CPSC 121 94
2005 Summer I CPSC 320 *
2004 Fall CPSC 320 90
2004 Spring CPSC 220 *
2003 Fall EECE 466 *
2002 Summer I EECE 466 *
1999 Fall EECE 467 *
(*) TA evaluations were not collected

Course Calendar Descriptions

CPSC 121 Models of Computation
Physical and mathematical structures of computation. Boolean algebra and combinations
logic circuits; proof techniques; functions and sequential circuits; sets and relations; finite
state machines; sequential instruction execution.

CPSC 220 Introduction to Discrete Structures
An introduction to computer science applications of discrete mathematics. Sets; logic;
functions and relations; induction; program correctness; mathematical rigour; algorithms
and applications.

CPSC 320 Intermediate Algorithm Design and Analysis
Systematic study of basic concepts and techniques in the design and analysis of algorithms,
illustrated from various problem areas. Topics include: models of computation; choice of
data structures; graph-theoretic, algebraic, and text processing algorithms.

Curriculum Vitae – Dave A.D. Tompkins – Last Updated: 2007.04.24 – page 3 of 9
EECE 466 Digital Signal Processing Systems
DSP fundamentals; digital filter FIR and IIR structures; filter design; DSP architectures;
DSP applications.
EECE 467 Real-Time Implementation of DSP Algorithms
DSP systems overview; DSP architectures; programming DSPs in ‘C’ and Assembly, I/O
issues; real-time operating systems; host interfaces; code mapping and optimization; testing;
DSP solutions in speech, audio, radar, telecommunications and control.
Scholarships and Awards
2006 Best Paper Award
The Nineteenth Canadian Conference on Artificial Intelligence (AI-06)
(National Conference)
2006 UBC Computer Science Graduate TA Award
(Departmental)
2006 UBC Graduate TA Award (Nomination)
(Institutional)
2003 BC Advanced Systems Institute Exchange Communication (Poster) Award
$500 (Regional)
2003 UBC Faculty of Graduate Studies Travel (Conference Paper) Award
$400 (Institutional)
2001-2003 Natural Sciences and Engineering Research Council PGS-B Scholarship
$38,200 (National)
1999-2000 University of British Columbia University Graduate Fellowship
$16,000 (Institutional)
1999 BC Advanced Systems Institute Exchange Communication (Poster) Award
$200 (Regional)
1999 UBC Faculty of Graduate Studies Travel (Conference Paper) Award
$400 (Institutional)
1998-1999 Natural Sciences and Engineering Research Council PGS-A Scholarship
$31,400 (National)
1994-1996 University of Western Ontario Achievement Awards:
Harry Cross Gold Medal (top EE graduating student)
John H. Chapman Memorial Prize (top EE student: year 3)
Steinmetz-Woonton Award (top EE student: year 2)
$1,000 (Institutional)
Curriculum Vitae – Dave A.D. Tompkins – Last Updated: 2007.04.24 – page 4 of 9
1991-1996 University of Western Ontario Entrance Scholarship
$10,000 (Institutional)
1991-1995 Canada Scholarship
$8,000 (National)
1991-1995 Labatt Employee Scholarship
$4,000 (Private)

Service to the University Community

2003.01 - present UBC President’s Committee on the Naming of Facilities
2001.10 - present Institute for Computing, Information & Cognitive Systems (ICICS)
Student Advisory Committee
1998.01 - present Alma Mater Society of UBC
1998.01 - present Graduate Student Society of UBC
2006.12 - 2006.12 ICICS Director Selection Committee
1999.03 - 2004.03 UBC Senate
Committees: Budget, Teaching and Learning, Library, Appeals on Academic
Standing
1999.03 - 2004.03 UBC Faculty of Graduate Studies Council
2000.01 - 2000.03 UBC Teaching and Learning Enhancement Fund committee

Service to the Academic Community

Paper Reviews
• Twentieth International Joint Conference on Artificial Intelligence (IJCAI 07)
• Twelfth International Conference on Principles and Practice of Constraint Programming
(CP 06)
• Ninth International Conference on Theory and Applications of Satisfiability Testing
(SAT 06)
• Nineteenth National Conference on Artificial Intelligence (AAAI 04)
• Ninth International Conference on Principles and Practice of Constraint Programming
(CP 03)
Curriculum Vitae – Dave A.D. Tompkins – Last Updated: 2007.04.24 – page 5 of 9
• Sixth International Conference on Theory and Applications of Satisfiability Testing
(SAT 03)
• IEEE Transactions on Image Processing

Professional Memberships
• American Association for Artificial Intelligence (AAAI), student member.
• Institute of Electrical and Electronics Engineers (IEEE), student member.
• Professional Engineers of Ontario (PEO), engineer in training.

Professional Development
• Stochastic local search workshop, IJCAI-01.
• Empirical analysis and methods workshop, IJCAI-01.
• Dale Carnegie course in professional communication.

Publications

Theses
[1] Dave A. D. Tompkins. Rate control in bi-level image coding. Master of Applied Science,
University of British Columbia, August 2000.
Conference Proceedings (refereed)
[2] Dave A. D. Tompkins and Holger H. Hoos. On the quality and quantity of random
decisions in stochastic local search for SAT. In Luc Lamontagne and Mario Marchand,
editors, Advances in Artificial Intelligence: Proceedings of the Nineteenth Conference of
the Canadian Society for Computational Studies of Intelligence (AI 2006, Qu´ebec City,
QC, Canada, June 7–9, 2006), volume 4013 of Lecture Notes in Artificial Intelligence,
pages 146–158, Berlin, Germany, 2006. Springer Verlag.
[3] Dave A. D. Tompkins and Holger H. Hoos. UBCSAT: An implementation and experimentation
environment for SLS algorithms for SAT and MAX-SAT. In Holger H. Hoos
and David G. Mitchell, editors, Theory and Applications of Satisfiability Testing: Revised
Selected Papers of the Seventh International Conference (SAT 2004, Vancouver,
Curriculum Vitae – Dave A.D. Tompkins – Last Updated: 2007.04.24 – page 6 of 9
BC, Canada, May 10–13, 2004), volume 3542 of Lecture Notes in Computer Science,
pages 306–320, Berlin, Germany, 2005. Springer Verlag.
[4] Dave A. D. Tompkins and Holger H.Hoos. Warped landscapes and random acts of SAT
solving. In Proceedings of the Eighth International Symposium on Artificial Intelligence
and Mathematics (AI&M 2004, Fort Lauderdale, FL, USA, January 4–6, 2004), 2004.
[5] Dave A. D. Tompkins and Holger H. Hoos. Scaling and probabilistic smoothing: Dynamic
local search for unweighted MAX-SAT. In Yang Xiang and Brahim Chaib-draa,
editors, Advances in Artificial Intelligence: Proceedings of the Sixteenth Conference
of the Canadian Society for Computational Studies of Intelligence (AI 2003, Halifax,
Canada, June 11–13, 2003), volume 2671 of Lecture Notes in Artificial Intelligence,
pages 145–159, Berlin, Germany, 2003. Springer Verlag.
[6] Frank Hutter, Dave A. D. Tompkins, and Holger H. Hoos. Scaling and probabilistic
smoothing: Efficient dynamic local search for SAT. In Pascal Van Hentenryck, editor,
Principles and Practice of Constraint Programming: Proceedings of the Eighth International
Conference (CP 2002, Ithaca, NY, USA, September 9–13, 2002), volume 2470
of Lecture Notes in Computer Science, pages 233–248, Berlin, Germany, 2002. Springer
Verlag.
[7] Dave A. D. Tompkins and Faouzi Kossentini. A fast segmentation algorithm for bi-level
image compression using JBIG2. In Proceedings of the 1999 IEEE International Conference
on Image Processing (ICIP ’99, Kobe, Japan, October 24–28, 1999), volume 1,
pages 224–228, Los Alamitos, CA, USA, 1999. IEEE Computer Society Press.
[8] Magesh Valliappan, Brian L. Evans, Dave A. D. Tompkins, and Faouzi Kossentini.
Lossy compression of stochastic halftones with JBIG2. In Proceedings of the 1999 IEEE
International Conference on Image Processing (ICIP ’99, Kobe, Japan, October 24–28,
1999), volume 1, pages 214–218, Los Alamitos, CA, USA, 1999. IEEE Computer Society
Press.
Conference Papers & Posters (non-refereed)
[9] Dave A. D. Tompkins and Holger H. Hoos. Novelty+ and Adaptive Novelty+. SAT 2004
Competition Booklet, 2004. (solver description).
[10] Dave A. D. Tompkins, Frank Hutter, and Holger H. Hoos. Scaling and Probabilistic
Smoothing (SAPS). SAT 2004 Competition Booklet, 2004. (solver description).
[11] Dave Tompkins. Dynamic local search for SAT. British Columbia Advanced Systems
Institute Exchange, 2003. (poster).
Curriculum Vitae – Dave A.D. Tompkins – Last Updated: 2007.04.24 – page 7 of 9
[12] Dave A. D. Tompkins and Faouzi Kossentini. Lossless JBIG2 coding performance. In
James A. Storer and Martin Cohn, editors, Proceedings of the 1999 Data Compression
Conference (DCC ’99, Snowbird, UT, USA, March 29–31, 1999), page 553, Los
Alamitos, CA, USA, 1999. IEEE Computer Society Press. (abstract).
[13] Dave Tompkins. Document image compression. British Columbia Advanced Systems
Institute Exchange, 1999. (poster).
Technical Reports
[14] Dave Tompkins and Faouzi Kossentini. JBIG2 halftones: Analysis and considerations
for T.89. Submitted to ITU-T SG8, November 1999.
[15] Dave Tompkins and Faouzi Kossentini. Additional extension segments in JBIG2. Technical
Report N1318, ISO/IEC JTC1 SC29 WG1, July 1999.
[16] Dave Tompkins, Faouzi Kossentini, Soeren Forchhammer, Bo Martins, Ole Jensen, Ian
Caven, and Paul Howard. JBIG-like coding of bi-level image data in JPEG-2000. Technical
Report N1014, ISO/IEC JTC1 SC29 WG1, October 1998.
[17] Dave Tompkins and Faouzi Kossentini. Coding of numerical data in JBIG-2. Technical
Report N862, ISO/IEC JTC1 SC29 WG1, July 1998.

Invited Talks & Presentations
2006.06 “On the Quality and Quantity of Random Decision in Stochastic Local Search
for SAT.” The Nineteenth Canadian Conference on Artificial Intelligence (AI-06).
Qu´ebec City, QC.
2005.03 “Adventures in SAT Solving.” UBC Computer Science Graduate Student Recruitment
Talk. Vancouver, BC.
2004.05 “UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms
for SAT and MAX-SAT.” The Seventh International Conference on Satisfiability
(SAT-04). Vancouver, BC.
2004.05 “UBCSAT - An Implementation and Experimentation Environment for SLS Algorithms
for SAT and MAX-SAT” Laboratory for Computational Intelligence
Forum. Vancouver, BC.
2003.10 “Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted
MAX-SAT.” Laboratory for Computational Intelligence Forum. Vancouver, BC.
Curriculum Vitae – Dave A.D. Tompkins – Last Updated: 2007.04.24 – page 8 of 9
2003.06 “Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted
MAX-SAT.” The Sixteenth Canadian Conference on Artificial Intelligence (AI-
03). Halifax, NS.
2003.04 “Scaling and Probabilistic Smoothing for SAT and MAX-SAT.” Stochastic Local
Search Workshop. Vancouver, BC.
2000.04 “JBIG2 Halftoning.” Embedded Signal Processing Laboratory Seminar. Austin,
TX.
1999.10 “A Fast Segmentation Algorithm for Bi-Level Image Compression Using JBIG2.”
IEEE International Conference on Image Processing (ICIP-99). Kobe, Japan.
Curriculum Vitae – Dave A.D. Tompkins – Last Updated: 2007.04.24 – page 9 of 9