Bennett FornalASIC Architect and Design Lead with expertise in SOC interconnects, power management, top-level integration, and constrained random verification.
Andrew MihalSpecialties: Applied ML Research including Python and Pytorch, C++ including generic programming, constraint satisfaction problems including SAT/SMT