个人资料图片

你好！这是拉尔斯的主页。

拉尔斯是Giesecke+Devrient，一家专注于支付、连接、身份和数字基础设施的全球性公司。他们本质上是一名工程师，致力于为人们提供现代金融服务。拉尔斯写文章和谈论众多的话题。

此前，Lars是TU慕尼黑在逻辑和验证领域。他们的研究重点是从定理证明器生成验证代码的技术。

联系人

代词：他们/他们，er（仅德语）
联系电子邮件：lars@hupel.info

通过订阅我的原子馈送。它包括以下所有项目我在这里和其他地方发布。

配置文件

长期有效邀请

灵感来自帕特里克·麦肯齐，我发出长期邀请：如果你想谈谈研究或软件，我想和你谈谈。有关详细信息，请查看本页。

即将举行的会谈

软件质量日，奥地利维也纳
TUM区块链沙龙德国慕尼黑

航班状态

CO总量₂ 航班造成的损失：96吨（100%偏移基于我的方法)

Cookie

此页面不存储Cookie（请参阅这里有详细信息).但我知道我的很多访客都很喜欢饼干。这就是我在这里放饼干的原因：🍪

你可以随意使用它。

为了方便起见，您甚至可以单击此按钮将cookie复制到剪贴板：