Our consultancy specializes in high-performance declarative analytic reasoning. In our research careers, we have led the development of the world's fastest Datalog engines on CPUs, GPUs, and supercomputing clusters. At Algorithmic, we leverage our expertise—spanning high-performance computing, static analysis, database theory, reverse engineering, and compiler internals—to help your company tackle the world's most complex analytic reasoning problems.
Please Contact Us at consulting@algorithmic-llc.com
Who We Are

Thomas Gilray
Washington State
Static Analysis, Programming Languages, HPC

Sidharth Kumar
U. Illinois at Chicago
HPC, Data Management, GPUs, Graph Analytics

Kristopher Micinski
Syracuse University
Programming Languages, Security, Automated Reasoning
Our Expertise
We offer particular expertise in the following areas:
- Datalog (Soufflé, Ascent, etc.) and its applications
- In-Memory Analytic and Graph Databases (DuckDB, sled, Neo4j, etc.)
- Optimizing Comm / Throughput in HPC Workloads
- GPU-Based Data Analytics
- Static Analysis, Abstract Interpretation, Symbolic Execution, etc...
- Reverse Engineering
Why Hire Algorithmic?
Because optimizing internet-scale analytic reasoning workloads is a challenging and costly task. Analytic reasoning workloads are among the most challenging, hard-to-debug, and costly computing applications humans have ever made: small mistakes can waste months of time and millions of dollars. At Algorithmic, we bring our knowledge of the full computing stack to your hardest data analytics challenges. From formal verification to low-level implementation internals of modern datacenter GPUs, our team will work together to ensure that your company's analytics pipelines give you the highest-possible return on investment.
Still Unsure? Email Us!
As a new data analytics consultancy, we're looking to make connections. If you think you might find something useful in chatting with us, feel free to reach out; we're happy to give you our thoughts on the future of scalable data analytics, and are interested in hearing yours.
Feel free to drop us a line: kris@algorithmic-llc.com