Radosław Waśko

http://radeusgd.com/

@enso-org Poland Interested in programming language theory and tooling, type theory, static analysis, software verification, as well as data-science and data processing tools.