About j kruer

just some guy. recovering semantics dweeb, formal methods practicioner, and software engineer. now in my sabbatical era, getting jacked and investigating new methods for approximate model checking :~)

Lists

Timeline

cohylomorphism has no activity yet