Contacts

Analysis of software requirements and specifications with computer-aided tools and techniques
Configurable model-driven development (MDD)
Practitioner-friendly specification and design notations that have precise semantics suitable for automated analysis
Software modeling, model checking, documentation, and analysis

Waterloo Formal Methods Research Group

Personal Website

Link to profile: Joanne Atlee

Lisa Aultman-Hall

Professor, Systems Design Engineering

laultman@uwaterloo.ca

Research Expertise

Transportation systems data collection and modeling
Energy demand for electric vehicle charging
Intercity travel and accessibility

Link to profile: Lisa Aultman-Hall

Michael Barnett-Cowan

Associate Professor, Kinesiology

mbc@uwaterloo.ca

Research Expertise

Vestibular (balance) system
Object recognition
Head movement and orientation
Coordinated movement

Multisensory Brain and Cognition Lab

Link to profile: Michael Barnett-Cowan

Otman Basir

Professor, Electrical and Computer Engineering

otman.basir@uwaterloo.ca

Research Expertise

Biologically inspired intelligent systems
Human Computer Interaction (HCI)/Human Machine Interface (HMI) systems
Hybrid systems
Intelligent embedded systems
Sensory systems design

Centre for Pattern Analysis and Machine Intelligence (CPAMI)

Personal Website

Link to profile: Otman Basir

Sanjeev Bedi

Professor, Mechanical and Mechatronics Engineering

sanjeev.bedi@uwaterloo.ca

Research Expertise

5-Axis numerically controlled machining
Automated polishing
Complex curve machining methods: Principle Axis Method (PAM) and Multi-Point Method (MPM)
Design of Numerical Control (NC) machines and controllers
Efficient tool path planning
Flank milling
Gouge detection and avoidance mechanisms
Machined surface evaluation
Surface finish estimation

5-Axis Surface Machining Lab

Personal Website

Link to profile: Sanjeev Bedi

Elliot Biro

Assistant Professor, Mechanical and Mechatronics Engineering

elliot.biro@uwaterloo.ca

Research Expertise

Metallurgical Transformations During Welding
Post-weld Properties
Improving Weld Process Robustness (increasing Manufacturability)
Effect Of Microstructure And Mechanical Property Hetrogenity On Weld Performance
Physical Simulation Of The Welding Process
Weld Defect Formation
Welding Advanced High Strength Steel (AHSS)
Dissimilar Material Welding

Centre for Advanced Materials Joining (CAMJ)

Link to profile: Elliot Biro

Jim Bookbinder

Professor, Management Sciences

jbookbinder@uwaterloo.ca

Research Expertise

Applied operations research
Logistics/Inventory management
Modes of transport and transportation systems

Waterloo Management of Integrated Manufacturing Systems (WATMIMS)

Link to profile: Jim Bookbinder

Slim Boumaiza

Professor, Electrical and Computer Engineering

slim.boumaiza@uwaterloo.ca

Research Expertise

Advanced signal processing algorithms for wireless communication
Cognitive and software defined radios (CR and SDR)
Design of high power and spectrum efficient linear radio frequency amplifiers
Hybrid Radio Frequency and Digital Signal Processing (RF/DSP) design of wireless communication transmitters
Microwave and millimeter-wave circuits and systems design
Multiple Input Multiple Output (MIMO) transceiver schemes
Nonlinear and linear radio frequency (RF) circuits and systems characterization and behavioural modeling
Power amplifier and transmitter linearization techniques (Baseband and RF Digital Predistortion, Feed-forward)
RF integrated circuits (CMOS)

Emerging Radio Systems Group (EmRG)

Link to profile: Slim Boumaiza

Catherine Burns

Professor, Systems Design Engineering

catherine.burns@uwaterloo.ca

Research Expertise

Cognitive work analysis
Ecological interface design
Graphical interface design and visualization

Advanced Interface Design Lab

Link to profile: Catherine Burns

Clifford Butcher

Assistant Professor, Mechanical and Mechatronics Engineering

cbutcher@uwaterloo.ca

Research Expertise

Fracture
Formability
Plasticity
Micromechanics
Computational Mechanics
Automotive Metal Forming & Crash Simulations
Advanced/Ultra High Strength Steels
Aluminum alloys
Magnesium alloys
Warm Forming & Hot Stamping

Waterloo Forming and Crash Lab

Link to profile: Clifford Butcher

Jack Callaghan

Professor, Kinesiology

jack.callaghan@uwaterloo.ca

Research Expertise

Lower back pain and injury

Centre of Research Expertise for the Preventative of Musculoskeletal Disorders (CRE-MSD)

Link to profile: Jack Callaghan

Claudio Cañizares

Professor, Electrical and Computer Engineering

ccanizares@uwaterloo.ca

Research Expertise

Battery charging systems
Network/distributed and web-based programming applications in power systems
Nonlinear systems theory and its applications to electricity markets
Optimal power management in competitive electricity markets
Smart charging systems

Power and Energy Systems Group

Personal Website

Link to profile: Claudio Cañizares

Jeff Casello

Professor, School of Planning

jcasello@uwaterloo.ca

Research Expertise

Application of geographic information systems (GIS) to urban area analysis
Design and operation of public transportation systems, highway systems, and facilities for non-motorized modes of transport
Development and implementation of utility-based multi-modal travel forecasting models
Transportation and land use impacts
Urban transportation systems

Waterloo Public Transportation Initiative

Link to profile: Jeff Casello