Reliable verification systems
Test architecture, domain models, property-based and metamorphic testing, observability, and failure analysis.
MetronForge
MetronForge studies how hidden structure can be recovered from incomplete observations—and how those inferences can be tested, falsified, and implemented.
An independent research notebook by Viktor Mikhalkin, connecting work in progress with reproducible projects and publications.
Subscribe via RSSNew and updated research notes, without an account.
Current directions
Solvers and certificates
Structural methods for linear and nonlinear systems, executable numerical certificates, and adversarial experiments.
Reconstruction and transforms
Geometric integration, Radon-type transforms, sparse reconstruction, and ideas developed through calculation and falsification.
Featured Notes
Introducing MetronForge: An Independent Research Notebook
Updated:AnnouncementMetronForge is an independent research notebook for engineering observations, computational experiments, projects, and formal publications.