From be5f6bfd177d1131446762692e2a9242d932018f Mon Sep 17 00:00:00 2001 From: jwkai Date: Fri, 13 Dec 2024 02:16:59 -0800 Subject: [PATCH] update about text --- _pages/about.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_pages/about.md b/_pages/about.md index e78bc22..65aa491 100644 --- a/_pages/about.md +++ b/_pages/about.md @@ -17,7 +17,7 @@ social: true # includes social icons at the bottom of the page I am a student in the BCS-ICS (second Bachelor's in Computer Science) program at the University of British Columbia. Before this, I studied Mathematics and Music at McGill University. -My current interests center around **automated reasoning**: formal verification, mathematical logic, programming language theory and probabilistic models of computation. I am interested in investigating the applicability of these concepts to **safe and explainable AI**. +My current interests include **automated reasoning**, **formal verification**, mathematical logic, programming language theory and probabilistic models of computation. I am interested in investigating the applicability of these concepts to **safe and explainable AI**. I am fortunate to have worked with [Dr. Alex Summers](https://www.cs.ubc.ca/~alexsumm/) at the University of British Columbia on the [Viper](https://www.pm.inf.ethz.ch/research/viper.html) project, and with [Dr. Mina Tahmasbi Arashloo](https://mina.arashloo.net/) at the University of Waterloo on network performance analysis. I previously worked as a long-term research assistant and lab manager at the UBC Vision Lab with [Dr. James Enns](https://psych.ubc.ca/profile/james-enns/), where I helped develop studies on action-perception theory, social psychology and object perception.