Skip to content
View Autoparallel's full-sized avatar
🥨
webproving
🥨
webproving
Block or Report

Block or report Autoparallel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Autoparallel/README.md

Welcome!

You can find my personal site here: autoparallel.xyz. All opinions shared there are my own and do not reflect any views from any organizations I am associated with whatsoever.

In the past I studied mathematics and physics. Now, I'm more interested in computing and distributed systems as well as cryptography. There's a wonderful interplay between math and computing that I started to love over the years. I would really enjoy getting to apply the background I have in pure mathematics to formal verification of software. Quantum computing is another subject high on my list of interests (and would be fun to explore deeper given my background in Clifford algebras).

Currently a Staff Research Engineer at Pluto

Education

Ph.D. - Mathematics (Dissertation)

BS - Mathematics and Physics

Wrote an open source textbook: Mathematics for Physicists and Chemists.

Articles and Blogs

At Primitive:

Pinned Loading

  1. primitivefinance/arbiter primitivefinance/arbiter Public

    A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.

    Rust 652 65

  2. mathematics_for_physicists_and_chemists mathematics_for_physicists_and_chemists Public

    A textbook centered around teaching mathematics to physicists and chemists

    TeX 11 2