Lars Hupel
INNOQ
Lars is an Evangelist at Giesecke+Devrient, a global company specialized in payments, connectivity, identities, and digital infrastructure. An engineer at heart, they are working to bring modern financial services to people. Lars writes articles and talks about a multitude of topics. Previously, Lars was a PhD student at TU München in the field of logic and verification. Their research focus was on techniques for verified code generation from theorem provers.
www.linkedin.com/in/la
Programmation en Logique
Prolog is one of the most underrated programming languages around; possibly because of its strange syntax and the unusual paradigm. But it is a very nice special-purpose programming language. In this talk, I would like to introduce Prolog’s programming model, showcase some programming domains in which Prolog allows for very concise, elegant programs, and finally describe how it can also be used as a general-purpose tool.
SlidesVideo ←Back
