Explores validated-aware software for continuous system validation in safety-critical environments, emphasizing the importance of anticipatory real-time assurance and semantic-level validation.
Explores supervised learning in financial econometrics, covering linear regression, model fitting, potential problems, basis functions, subset selection, cross-validation, regularization, and random forests.