My background includes working with complex systems like virtual memory subsystem of NetBSD Operating system, working on software systems implementing RFCs and writing proofs for software systems using TLA+. In my spare time I work on NetBSD and FreeBSD …