Skip to content

Commit

Permalink
update about text - interests
Browse files Browse the repository at this point in the history
  • Loading branch information
jwkai committed Dec 13, 2024
1 parent be5f6bf commit e6d139d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion _pages/about.md
Original file line number Diff line number Diff line change
Expand Up @@ -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 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**.
My current interests include **automated reasoning**, formal verification, programming language theory, probabilistic models of computation and decision theory. 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.

Expand Down

0 comments on commit e6d139d

Please sign in to comment.