Ben Datsko
I'm a PhD student in ECE at the University of Michigan, designing mixed-signal CMOS computer architectures that compute through the continuous-time dynamics of circuits.
I work with Michael Flynn at the Michigan Integrated Circuits Laboratory. My background is in computer science, but I design mixed-signal computer architectures in VLSI process nodes from 130 nm down to 4 nm, taking each chip from digital RTL through place-and-route to tapeout, and writing the firmware that drives it. These chips solve problems like k-SAT and LDPC decoding by allowing arrays of coupled oscillators to settle into an equilibrium state (a solution), and digitally sampling the output.
Recent work
MEDUSA A 200-variable k-SAT solver achieving 3.5× faster solution times and 3× greater energy efficiency than prior work. DACROQ Secure low-latency remote access platform for DARPA and NASA QuAIL, with hardware abstraction layer, API, and web frontend. DAEDALUS A continuous-time 3-SAT solver with unrestricted three-body spin interactions and 100% solvability on SATLIB benchmarks.