Tadiwa Mandava
Education
University of Oklahoma
B.S. Computer Engineering, Minor in Mathematics
Experience
Software Engineering Intern
K20 Center, University of Oklahoma
- Develop and deploy front-end and back-end web applications and Unity/C# educational games used by K–12 teachers and students; test across Center projects, reproducing and filing defects
- Built and shipped Hive, a classroom platform for curating and publishing boards of links, images, and video; owned the stack from PostgreSQL schema through REST API to deployed React SPA
IT Service Delivery Specialist
University of Oklahoma IT
- Administer identity and access management and Microsoft 365 services across 30,000+ user accounts, automating account provisioning and recurring administrative workflows with PowerShell
- Operate on a five-person cross-functional team handling ticket-driven telecom, account, and backend operations requests, sustaining a 98.4% satisfaction rate
Projects
- Designed a synthesizable RV32I core in SystemVerilog, extending a single-cycle implementation into a 5-stage pipeline with forwarding paths, load-use hazard detection and stall insertion, and predict-not-taken branch handling with pipeline flush
- Built a constrained-random verification environment generating RISC-V programs and differentially comparing architectural state (register file, PC, memory) against an instruction-set simulator, with coverage tracking and a regression test per bug caught
Skills
- Languages
- Python
ARM assembly C C++ CUDA C++ JavaScript Rust SQL SystemVerilog TypeScript - Frameworks & tools
- AdonisJS
arm-none-eabi-gcc AVX2 Basys 3 criterion Emscripten GDB GTKWave Nsight Compute OpenMP OpenOCD PostgreSQL proptest PyTorch React STM32F446 tokio Verilator Vite Vivado - Hardware & lab
- Basys 3 FPGA, STM32F446 (ARM Cortex-M4), logic analyzer
Vivado, Verilator, OpenOCD, GDB, ARM GCC, Nsight Compute RTL design, constrained-random verification, RISC-V RV32I