Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs
My name is not common. I still correct people in work emails when they get it wrong.
businessinsider.comยท15h
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.orgยท5d
Beamformed 360{\deg} Sound Maps: U-Net-Driven Acoustic Source Segmentation and Localization
arxiv.orgยท2h
OpenBSD Seeks Testers for Enhanced 802.11g AP Compatibility
discoverbsd.comยท2d
Loading...Loading more...