- 🔭 I’m currently working on hardware accelerators for SAT at UC Santa Barbara
- 💬 Ask me about SAT and superconducting circuits
- 🌱 I’m currently learning Verilog and Backtracking solvers
- 🤔 I’m looking for help with category theory
- 📫 How to reach me: LinkedIn message
- ⚡ Fun fact: I love archery, grappling, and fencing
-
UC Santa Barbara
Highlights
- Pro
Block or Report
Block or report danielespo
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
learnverilog.v
learnverilog.v PublicA verilog file containing all of the verilog syntax and common expressions.
Verilog 2
-
Solving-SAT-in-FPGA-UCSB
Solving-SAT-in-FPGA-UCSB PublicCreating a hardware solver in Verilog and then uploading to FPGA and connecting to a PC to solve SAT problems.
-
UCSB-SAT-Benchmarking
UCSB-SAT-Benchmarking PublicData and plotting functions for benchmarking work done during UCSB PhD of SAT and MAXSAT solvers
Jupyter Notebook
-
Altium_Public_Portfolio
Altium_Public_Portfolio PublicDaniel Espinosa's professional PCB Design / Altium portfolio.
HTML
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.