Portrait of Pablo Levi
San Francisco / New York
Hello, I'm Pablo

Technologist. Hardware. Software. Artificial Intelligence

I built the computing power that runs the world. Now I help people harness that power.

Photo / Pexels

About Me

I am a computer scientist with expertise in technology, software/hardware engineering, and the business associated with them. I am great at communicating with people and at understanding and managing all aspects of complex systems. I value integrity, loyalty, curiosity, and pragmatism. My direct style is my way of respecting the limited time and resources that people have.

Quick Facts

Current Role

Researcher - AI Productivity

Languages

🇦🇷 Spanish (Native) 🇬🇧 English (Native level) 🇮🇱 Hebrew (Native) 🇫🇷 French

Skills

AI Product Engineering

AI agents, prompt design, guardrails, runtime enforcement, red-teaming mindset, and AI security.

Full-Scope Agent Engineering

Agentic solutions using state-of-the-art technologies for responsible AI that you own.

Hardware Design Verification

Verification of complex hardware processing units using the latest standards and state-of-the-art technologies.

Software Engineering

Design and development of software projects of all scales.

Collaboration & Leadership

Strategic solutions delivered through transparent collaboration and expert leadership from requirements through deployment.

Languages

Native Spanish and Hebrew; English (native level) and French.

Experience

Deep expertise in hardware design and verification, software engineering processes, and AI foundations, complemented with effective people management and communication skills.

January 2024 - Present

Stealth

Researcher

Technology San Francisco, CA / New York, NY (USA)
Key Achievements
  • Research AI applications and productivity.
  • Develop agentic engineering methodologies and prototypes.
  • Develop LLM verification methodologies.
April 2019 - December 2023

Quadric

Senior Principal Engineer / Head of Verification

Semiconductors Burlingame, CA (USA)
Key Achievements
  • Managed the company’s verification team.
  • Delivered work that led to multi-million dollars in partnerships and funding.
  • Delivered fully-functional first generation product.
  • Developed the company’s verification strategy.
  • Maintained the prototyping simulators.
  • Mentored team members.
  • Interviewed potential candidates.
October 2012 - February 2019

NVIDIA

Senior GPU ASIC and DV Lead / Senior GPU Architect

Semiconductors Santa Clara, CA (USA)
Key Achievements
  • Participated in the development of Maxwell, Pascal, Volta, and Turing families of GPUs, serving the whole spectrum of the processing power for the gaming, enterprise, high-performance, automobile, and AI applications.
  • Delivered work that led to multi-billion dollars in revenue.
  • Defined verification methodologies.
  • Evaluated design and verification tools from external vendors.
  • Analyzed the performance of GPUs.
  • Managed the verification of four units of the GPU.
  • Mentored peers and team members.
  • Interviewed potential candidates.
September 2000 - July 2012

Intel Corp.

Senior Verification Engineer / Technical Leader

Semiconductors Haifa (Israel)
Key Achievements
  • Participated in projects that individually contributed for above 80% of Intel’s revenue for the years 2000-2014.
  • Delivered work that led to multi-billion dollars in revenue.
  • Led department-wide methodology working groups.
  • Managed the verification of one of the main sections of the CPU.
  • Mentored and managed engineers.
  • Instructed the design and verification boot camps, featuring the main techniques and methodologies for design and verification, mandatory for every new employee.
  • Instructed the main course on the verification language used for the development of simulation models.
  • Interviewed potential candidates.

Tech Stack

Implementation toolkit supporting product-engineering work—languages, frameworks, data, AI/ML, and engineering software I use to ship features end to end.

Programming Languages

Python
Python
C++
C++
SystemVerilog/UVM
SystemVerilog/UVM
TypeScript
TypeScript

Web Fundamentals

HTML
HTML
CSS
CSS
Tailwind CSS
Tailwind CSS

Query Languages

SQL
SQL
NoSQL

Backend Frameworks

FastAPI
FastAPI
Flask
Flask

Frontend Frameworks

React
React
Next.js
Next.js
Vite
Vite
Vue.js
Vue.js

Data Science

NumPy
NumPy
Pandas
Pandas
Plotly
Plotly
Matplotlib
Matplotlib

AI/ML Frameworks

PyTorch
PyTorch
TensorFlow
TensorFlow
Scikit-learn
Scikit-learn
OpenCV
OpenCV
HF Transformers
Keras
Keras
vLLM
llama.cpp
Ollama
Ollama

Vector Stores

Pinecone
ChromaDB
Supabase
Supabase

Development Tools

Git
Git
GitHub
GitHub
GitLab
GitLab
VSCode
VSCode
Linux
Linux
Arch Linux
Arch Linux
Docker
Docker
Podman
Podman
Jupyter
Jupyter
Postman
Postman
Nginx
Nginx
Hugo
Hugo

Databases

PostgreSQL
PostgreSQL
MySQL
MySQL
SQLite
SQLite
MongoDB
MongoDB
Supabase
Supabase

Let's Connect

Contact Information

Let's connect! I'm always interested in hearing about new projects and opportunities.