Skip to content

Commit

Permalink
fix typo
Browse files Browse the repository at this point in the history
  • Loading branch information
jwkai committed Dec 13, 2024
1 parent ec8fe22 commit 49721b6
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 @@ -19,7 +19,7 @@ I am a student in the BCS-ICS (second Bachelor's in Computer Science) program at

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**.

I am fortunate to have worked [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.
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.

Outside of this, I have worked as a software developer in scientific research, from full-stack development to implementation of DSP algorithms and statistical analyses.

0 comments on commit 49721b6

Please sign in to comment.