Brazilian computer scientist and programmer.
Created HVM (Higher-order Virtual Machine), a parallel evaluator based on interaction combinators that achieves optimal reduction of lambda calculus terms.
HVM exploits the inherent parallelism of Yves Lafont interaction nets: every reduction is local and independent, scaling linearly with cores.
Founded Kindelia and developed the Bend programming language, bringing interaction net computation to practical systems.
Demonstrated that functional programs can run on GPUs through interaction net encoding, achieving massive parallelism without manual threading.
His work provides the theoretical and practical foundation for the cyber virtual machine: deterministic, parallel, and verifiable computation.