\(\texttt{BITs}\) of
\(\textit{Information}\)

Oskari Manninen

Abstract

Unofficially interested in various subjects, ranging from natural sciences to graphics.
Academically and/or professionally enthusiastic about fields such as mathematics and computing.

Interesting Fields* (Dict. Order)

(Categorical) Algebra
Mathematical Logic
Programming Language Theory
Proof Assistants
Topology
Type Theory

(*) \(\verb+Recently, (among others)+\)

Quick facts

\(\textbf{Identifier} : \verb+/(7Gv|osk|maoskari|tgv)/g+\)
\(\textbf{Nationality} : Finnish\ \textbf{(FIN)}\)
\(\textbf{Status} : Student\ of\ mathematics\)

Notable links

\(\textbf{Github} \longrightarrow\) @x7Gv
\(\textbf{Discord} \longrightarrow\) \(\verb+@_7gv+\)

Keys


ssh-ed25519
AAAAC3NzaC1lZDI1NTE5AAAAIHGDjgEe2Ojqq+QuTpgBRc1FFuZdVPB2C3pDWwmS06vs
7gv

Abstract

Interesting Fields* (Dict. Order)

Quick facts 📋

Notable links

Keys

Quick facts