As part of the DFG project "Reinhart Koselleck PolyVer" I work on Polynomial Formal Verification (PFV) of complex circuits with a focus on RISC-V processors. The central question is whether certain architectures have polynomial time and space upper bounds and if available to determine these exactly.
Dynamic Transformation of Quantum Algorithms for Resource-Constrained Architectures
Formally Verifying Multiply-and-Accumulate Architectures Using Symbolic Computer Algebra
Polynomial Formal Verification of a RISC-V Processor
qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking