Area 51 » Dan Christensen

214
reputation
12 views
discussion user
network profile

Registered User

name Dan Christensen
member for 2 months
seen Nov 21 '21 at 22:13
website
location London, Ontario, Canada

I'm a professor in the Department of Mathematics at the University of Western Ontario, with a cross appointment to the Department of Applied Mathematics, and an affiliation with the Perimeter Institute for Theoretical Physics.

My research interests include algebraic topology (especially stable homotopy theory and model categories), homotopy type theory and univalent foundations, derived categories, modular representation theory, mathematical physics (quantum gravity), algebraic and scientific computation, and category theory (especially higher categories).

0

Proposals


1

Current Commitment

353
committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
beta

0

Fulfilled Commitments


1

Followed

353
committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
beta

1

Example Question


3

Votes Cast

3 up

0 down