Techs I've worked with
CUDA Programming

CUDA Programming

Optimized GPU computing with CUDA for high-performance applications.
Intel TBB

Intel TBB

Multithreading and parallel execution using Intel's Threading Building Blocks.
OpenMP

OpenMP

API for multi-platform shared memory parallel programming in C, C++, and Fortran.
MPI (Message Passing Interface)

MPI (Message Passing Interface)

Standard for distributed memory parallel computing in C, C++, and Fortran.
Machine Learning

Machine Learning

Training deep learning models with Spark ML.
Neo4j

Neo4j

Graph database optimized for connected data and complex queries.
Coq Proof Assistant

Coq Proof Assistant

Formal verification and theorem proving with dependent types.
Modern Java

Modern Java

Building high-performance applications with Java 17+ features like Records, Streams, and Virtual Threads.
Drools with Java

Drools with Java

Business rule management system (BRMS) for Java-based applications.
Python

Python

Versatile programming language for data science, AI, automation, and web development.
C / C++

C / C++

High-performance programming languages for systems, embedded, and parallel computing.