Nice to meet you :)

Things i'm learning:

• Oct 2025 HASE'2025
• Aug 2025 population count
• Aug 2025 recursive definitions in lean - joachim breitner
• Jun 2025 big proof 2025
• May 2025 knaster-tarski theorem
• Mar 2025 silent failures
• Mar 2025 inductive approach to spacer - t. tsukada et al.
• Feb 2025 acl2
• Feb 2025 a sat-based procedure for verifying finite state machines in ACL2 - w. hunt et al.
• Feb 2025 lean-mlir
• Feb 2025 a very very small intro to category theory
• Dec 2024 2024 takeaways
• Dec 2024 my research
• Oct 2024 theory of latency-insensitive design - carloni et al., 2003
• Oct 2024 big spec 2025
• Jun 2024 pldi 2024
• Jun 2024 the method of coalgebra - j. rutten
• Jun 2024 modern automata theory - z. esik
• May 2024 hw design with/for ml - lizy john
• Mar 2024 cell morphing: from array programs to array-free horn clauses - d. monniaux et al.
• Mar 2024 cgo 2024
• Mar 2024 the essence of bluespec
• Feb 2024 semantics for hardware design
• Jan 2024 omega tactic in lean4
• Nov 2023 high-level abstractions and modular debugging for FPGA design validation - y. iskander et al., 2014
• Oct 2023 buechi, lindenbaum, tarski: a program analysis appetizer - v. d'silva et al.
• Oct 2023 what are the semantics of hardware, bernstein et al., 2021
• Sep 2023 abstract interpretation from B"uchi Automata - m. hoffman et al.
• Sep 2023 finite presentations of infinite structures: automata and interpretations - a. blumensath et al.
• Sep 2023 formal verification at higher levels of abstraction - d. kroening et al., 2007
• Sep 2023 fsm anomaly detection using formal analysis - f. farahmandi et al., 2017