Ben Datsko
Hi! I'm a PhD student in electrical and computer engineering at the University of Michigan. I research analog computing, VLSI, and software-hardware codesign.
Select work
Hardware k-SAT solver in 28nm CMOS.
Hardware 3-SAT solver in 28nm CMOS.
28 GHz beamformer built from identical tiled chiplets.
Battery-powered bench supply for testing analog chips.
Remote job runner for our solver hardware.
Pace clock app for swimmers.
Typing speed test in the browser.
Watch pathfinding algorithms search a grid you draw.
Web app for the solar car team's race-strategy simulators.
Minecraft adventure map, released on Realms.
Minecraft adventure map, released on Realms.
Publications
-
Medusa: A Scalable Quantum-Inspired k-SAT Solver with Make and Break Feedback
IEEE Journal of Solid-State Circuits (JSSC), 2026, February
-
CMOS Quantum-Inspired Solvers for Low-Density Parity Check Codes and Satisfiability Problems
In 2026 Government Microcircuit Applications & Critical Technology Conference (GOMACTech), 2026, March
-
Medusa: A Quantum-Inspired 200-Variable 1016-Clause Analog k-SAT Solver
In 2026 IEEE International Solid-State Circuits Conference (ISSCC), 2026, February
-
CMOS Physics-Inspired Architectures and Circuits for Combinatorial Optimization Solvers
In 2025 International Electron Devices Meeting (IEDM), 2025, December
-
Daedalus: A Physics-Inspired Mixed-Signal Optimization Engine With Dynamic Continuous-Time Injection for Solving 3-SAT Problems
IEEE Journal of Solid-State Circuits (JSSC), 2025