Tanya Verma

Co-Founder

San Francisco, California, United States7 yrs 2 mos experience

Most Likely To SwitchHighly Stable

Key Highlights

Co-founder of innovative AI privacy solutions.
Expertise in applied cryptography and machine learning.
Strong background in research and development.

Stackforce AI infers this person is a leader in AI and cryptography-focused technology.

Contact

tanya@tinfoil.sh LinkedIn

Skills

Core Skills

Applied CryptographyMachine Learning

Other Skills

Research and Development (R&D)Systems EngineeringGoRust (Programming Language)C (Programming Language)Functional ProgrammingLinux

About

Co-founder & CEO at Tinfoil. Interested in AI, privacy preserving protocols and applied cryptography. Recently, I've been particularly interested in making AI more distributed and private.

Experience

Tinfoil

Co-Founder

May 2024 – Present · 1 yr 10 mos · San Francisco, California, United States

Verifiably Private AI: https://tinfoil.sh

Applied CryptographyMachine LearningResearch and Development (R&D)

Cloudflare, inc.

2 roles

Research Engineer

Aug 2020 – Oct 2023 · 3 yrs 2 mos · San Francisco, California, United States

Cryptography Engineering Intern

May 2019 – Aug 2019 · 3 mos · San Francisco Bay Area

Nvidia

Systems Software Engineering Intern

May 2018 – Aug 2018 · 3 mos · Santa Clara, CA

Camera Systems Software - USB drivers for Android on Tegra

University of illinois at urbana-champaign, cubesat program

Lead Communications Software Developer

Sep 2017 – May 2019 · 1 yr 8 mos · Urbana-Champaign, Illinois Area

Error correcting and communications protocol software

Mitra research group

Undergraduate Research Assistant

May 2017 – Aug 2017 · 3 mos · Urbana-Champaign, Illinois Area

Setting up ROS on the Jetson TK1, installing dependencies to interface with peripherals (i.e. LIDAR, 3D camera, IMU, motor controller), and ensuring basic functionality of two autonomous cars (i.e. keyboard/telekey control and waypoint tracking).
Assembling a custom PCB that mounts a motor controller, and adjusting chassis design.
Implementing a ROS application for path planning and to improve the autonomous operation of an individual car overall.
Working on a distributed programming platform, to help make the complied code from the high-level language executable on the F1/10 platform.