404 bio not found
Work
Invited Assistant Professor at UCP
Skills/Languages
Java, Processing
Currently learning
Theory : [01] Propositional Calculus; [02] Predicate Calculus; [03] Constructive Nominalism; [04] Mereology; [05] Automata Theory and Linguistics;
Technical : [01] Java; [02] LISP;
Currently hacking on
Contributing to the λLang. platform.
Available for
Constructional systems, logic, linguistics, computational reasoning…
We're a place where coders share, stay up-to-date and grow their careers.
