Welcome to EverybodyWiki ! Sign in or create an account to improve, watchlist or create an article, a company page or a bio (yours ?)...


Compte Twitter EverybodyWiki Follow us on https://twitter.com/EverybodyWiki !




Krzysztof Kapulkin

From EverybodyWiki Bios & Wiki
Jump to navigation Jump to search



Krzysztof Kapulkin
Kapulkin-wikipedia.jpg
Chris Kapulkin in 2017
Born15 August 1986
Alma materUniversity of Pittsburgh
Scientific career
FieldsMathematics
Cryptography
InstitutionsUniversity of Western Ontario
Institute for Advanced Study
Doctoral advisorThomas Callister Hales
Websiteuwo.ca/math/faculty/kapulkin/

Krzysztof "Chris" Kapulkin (born 15 August 1986) is a Polish-Canadian mathematician, specializing in homotopy type theory, category theory, and cryptography. Since July 2017, he has been an assistant professor in the Department of Mathematics at the University of Western Ontario.[1]

Biography[edit]

Kapulkin completed his PhD at the University of Pittsburgh in 2014. For his dissertation Joyal's Conjecture in Homotopy Type Theory, relating dependent type theory to locally cartesian closed quasicategories, he received the Thomas C. Hales Distinguished Research Award.[2]

In 2012-13, Kapulkin was a visiting student at the Institute for Advanced Study in Princeton, participating in the Special Year on Univalent Foundations.[3] In 2017, he became an assistant professor in mathematics at the University of Western Ontario.[1]

Work[edit]

Kapulkin is known for his work in the areas of homotopy type theory (in particular, semantics of type theory in higher categories and formal verification of mathematics in the univalent foundations) and cryptography. He is one of the authors of the CEK protocol for secure integer comparison.[4]

Selected publications[edit]

  • Kapulkin, K.; Lumsdaine, P. LeF. (2012). "The Simplicial Model of Univalent Foundations (after Voevodsky)". arXiv:1211.2851 [math.LO].
  • Ahrens, B.; Kapulkin, K.; Shulman, M. (2015), "Univalent Categories and the Rezk Completion", Math. Structures Comp. Sci., 25 (5)
  • Kapulkin, K. (2017), "Locally cartesian closed quasicategories from type theory", J. Topology, 10 (4)
  • Carlton, R.; Essex, A.; Kapulkin, K. (2018). Threshold Properties of Prime Power Subgroups with Application to Secure Integer Comparisons. RSA Conference Cryptographers’ Track.

References[edit]

  1. 1.0 1.1 "Full-time Faculty". Department of Mathematics, University of Western Ontario. Retrieved February 11, 2018.
  2. "2014 Thomas C. Hales Distinguished Research Award". Department of Mathematics, University of Pittsburgh. Retrieved February 11, 2018.
  3. "Program Participants". Special Year on Univalent Foundations of Mathematics. Retrieved February 11, 2018.
  4. "Accepted Papers". RSA Conference Cryptographers' Track. Retrieved February 11, 2018.

External links[edit]


This article "Krzysztof Kapulkin" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Krzysztof Kapulkin. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.