Interests: HPC (parallel computing/multithreading/distributed systems), Accelerated Computing and Specialized Architectures, Computational Mathematics, Open Source
This project aims to provide a database for collections of varieties defined over finite fields. At the moment, there is functionality provided that allows one to compute a list of representatives for projective equivalence classes of hypersurfaces (of a specified degree and dimension) in projective space over a given finite field.
This is an open-source project which is still in early stages.
Oscar.jl is an Open Source Computer Algebra Research system written in Julia; it builds on a large network of computer algebra systems (e.g. GAP, Singular, Polymake). Hecke.jl is a software package for computational number theory; it plays a large part in the algebra and number theory functionality of Oscar.jl.
I am a contributor to Hecke.jl and Oscar.jl.
NixOS is a free and open-source operating system built on top of the Linux kernel. Unlike most Linux based systems, however, NixOS builds from the specification of a configuration file, written in the functional Nix language, and stores system binaries via a Merkle tree. This means that a NixOS system is declarative, immutable, and reproducible.
Here are the configuration files for my machines (a desktop and a Surface laptop).