Brad Lushman

I am a Lecturer in Computer Science.

A little about me:

	Name:	Bradley Michael Lushman, CUT (Waterloo, 2007), PhD (Waterloo, 2007)
	Specialization:	Programming Languages
	Areas of Interest:	Typed and untyped λ-calculi, functional programming, type systems.
	Home Town:	Timmins, ON

Check me out on YouTube! Sample below:

Two of my efforts (this one and this one) were filmed on the UW campus!

Publications

Brad Lushman and Gordon V. Cormack. Constraint-Based typing for ML via Semiunification. Computer Science Tech Report CS-2008-10, University of Waterloo. Submitted to ACM Transactions on Programming Languages and Systems, 2008.
Brad Lushman. Direct and Expressive Type Inference for the Rank 2 Fragment of System F. Ph.D. Thesis, University of Waterloo, 2007.
Brad Lushman and Gordon V. Cormack. A Larger Decidable Semiunification Problem. In Proceedings of the 9th ACM SIGPLAN Symposium on Prinicples and Practice of Declarative Programming, 2007.
Stefan Buettcher, Charles L. A. Clarke, and Brad Lushman. Hybrid Index Maintenance for Growing Text Collections. In 29th ACM SIGIR Conference on Research and Development in Information Retrieval, 2006.
Stefan Buettcher, Charles L. A. Clarke, and Brad Lushman. Term Proximity Scoring for Ad-Hoc Retrieval on Very Large Text Collections. (Poster) In 29th ACM SIGIR Conference on Research and Development in Information Retrieval, 2006.
Brad Lushman and Gordon V. Cormack. Proof of Correctness of Ressel's adOPTed Algorithm. Information Processing Letters 86(6): 303-310, June 2003.
Brad Lushman and Gordon V. Cormack. A More Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order Lambda-Calculus. Computer Science Tech Report CS-2006-08, University of Waterloo, 2006.
Brad Lushman and Gordon V. Cormack. The R-Acyclic Semiunification Problem Computer Science Tech Report CS-2006-06, University of Waterloo, 2006.

Teaching

I have a Certificate in University Teaching.

I have had the following teaching assignments:

Fall 2011	CS 246 — Object-Oriented Software Development (2 sections)
Spring 2011	CS 241 — Foundations of Sequential Programs (2 sections)
Winter 2011	CS 135 — Designing Functional Programs (2 sections)
Fall 2010	MATH 135 — Algebra for Honours Mathematics (on Dubai Campus) CS 115 — Introduction to Computer Science 1 (on Dubai Campus)
Winter 2010	CSCI 2121 — Computer Organization with Assembly (at Dalhousie University) CSCI 3136 — Principles of Programming Languages (at Dalhousie University)
Fall 2009	CSCI 1105/INFX 1604 — Introduction to Computer Programming (at Dalhousie University) CSCI 2201/INFX 2601 — Introduction to Information Security (at Dalhousie University)
Spring 2009	CS 241 — Foundations of Sequential Programs
Winter 2009	CS 241 — Foundations of Sequential Programs
Fall 2008	CS 135 — Designing Functional Programs
Winter 2008	CS 442/642 — Principles of Programming Languages CS 134 — Principles of Computer Science
Fall 2007	CS 245 — Logic and Computation CS 133 — Developing Programming Principles
Spring 2007	CS 452/652 — Real-Time Programming
Winter 2007	CS 442/642 — Principles of Programming Languages
Spring 2006	CS 241 — Foundations of Sequential Programs
Winter 2006	CS 241 — Foundations of Sequential Programs
Winter 2005	CS 442/642 — Principles of Programming Languages
Winter 2004	CS 442/642 — Principles of Programming Languages
Winter 2003	CS 442/642 — Principles of Programming Languages

I had co-instructors for CS 246 Fall 2011, CS 241 Spring 2011, CS 241 Winter 2009, CS 241 Winter 2006, CS 133 Fall 2007, CS 134 Winter 2008, and CS 135 Fall 2008. For all other offerings, I was the sole instructor. I am the primary author of the course notes for CS 442/642.

Contact Info

I can be reached via email at bmlushma@cs.
If you would like to see me in person or reach me by phone, my office is DC 3110, and my extension is x36484.