User:Lambda C

My main interests are Hoare Logic and Formal Grammar Fuzzing for Software Verification and Bug Bounty.

My broad additional areas of interest include mathematics (First Order Theories, Decidable Theories, platonism,...), philosophy (Modal Logic, Modal Logic with World Semantics as Metaphysics, Metaphysics & Ontology, Linguistics), Computer Science (All kinds of automata, BB function and exotic hypercomputing models of computations), relativity (Mostly simpler metrics for now) and electromagnetism - especially optical system like lasers.

I am mostly active on the german wikipedia though I intend to focus more on the english in the future.