Ben Datsko

I'm a PhD student in Computer Engineering at the University of Michigan. I design custom chips and write the firmware and software that run them.

Select work

200-variable k-SAT solver in TSMC 28nm. 3.5× faster and 3× more energy-efficient than prior hardware solvers.

Continuous-time 3-SAT solver with unrestricted three-body spin interactions. 100% solvability on SATLIB benchmarks.

A 64-element 28 GHz digital beamformer using tileable synchronized distributed processing chiplets.

An $80 battery-powered supply with 40% lower noise than a $1,400 Agilent E3631A.

Remote-access platform that lets DARPA and NASA QuAIL researchers run problems on our solver chips from anywhere.

Mobile application for split tracking and mental race rehearsal.