People

Chris Kapulkin

Assistant Professor, Mathematics.

Interests: Homotopy Type Theory, Formal Verification, Cryptography.

Website: http://www.math.uwo.ca/faculty/kapulkin/

Mayecxiliana Cardenas Montoya

PhD student (1st year), Mathematics.

Interests: Formal Verification, Cryptography.

Jefrey Judes

Undergraduate student (4th year), Mathematics.

Interests: Data Science, Cryptography.

Jinho Kim

Undergraduate student (4th year), Mathematics.

Interests: Cryptography, Formal Verification.

Jonathan Zhao

Undergraduate student (4th year), Mathematics.

Interests: Cryptography, Machine Learning.

Weija Zhou

Undergraduate student (4th year), Computer Science.

Interests: Artificial Intelligence, Cryptography, Algorithms & Complexity, Machine Learning.