Analysis and manipulation of signals using computational methods.
Identification systems leveraging physiological biometric characteristics.
Information science integrated with healthcare decision-making.
Combining symbolic reasoning with data-driven models.
Formal logic from gate-level design to higher-order reasoning.
Data compression, error correction, and transmission theory.
Applied calculus for engineering analysis and systems design.
Statistical methods for planning and analysing controlled tests.
Statistical inference and probabilistic methods for engineering.