معرفی
Brad Lushman is an Associate Professor in the Department of Computer Science at the University of Waterloo. His research focuses on Typed and Untyped λ-Calculi, Functional Programming, and Type Systems.
- PhD in Computer Science from the University of Waterloo (2007)
- Certificate in University Teaching (CUT, Waterloo, 2007)
His publications span topics in programming language theory, type systems, and information retrieval. Key themes include semiunification algorithms, type inference for System F, and index maintenance techniques for large text collections. He has taught foundational courses such as Object-Oriented Software Development, Foundations of Sequential Programs, and Designing Functional Programs, often serving as sole instructor or primary course materials author.
For direct contact, email bmlushma@cs.uwaterloo.ca or visit his office in DC 3110.
۰مقاله منتشرشده
