Technical Interests

The technical areas I keep coming back to, from formal verification and neural operators to blockchains and agent evals. Each page links to the work where the interest shows up. Grey marks are the other five layers, kept in place so positions stay honest.