您已经到达我的Web服务器。请在哔哔声后留言。
帕斯比尔达提格 图片2014

教育类

2014 - 2017TU Munchen的信息大师
2014 - 2015在北海道大宅HUSTEP留学
2011 - 2014慕尼黑大学信息学学士

学生关系

2017年夏季富士通实验室实习
2016年华尔街日报逻辑与验证主席的硕士论文（I21）
2015年华尔街日报I8的学生助理
2014年上半年I8的学士论文
WS2013-SS2014年数据库系统主席学生助理（I3）
WS2012-SS2013网络和分布式系统主席学生助理（I8）

出版物

2019
[电气与电子工程师协会]
[按下]
Dracena：一个基于数据流灵活组合的实时物联网服务平台
山冈，H。，等
IEEE/SICE系统集成国际研讨会
2018
[BibTeX，PDF格式]
命题逻辑的形式化证明系统
迈克利斯，J。，T.尼普科。
第23届国际会议证明和程序类型（2017年类型）
2018
[施普林格]
验证的iptables防火墙分析和验证
迪克曼，C。,L·休佩尔。迈克利斯，J。，哈斯贝克，M。,卡尔，G。
自动推理杂志
2016
[BibTeX公司]
[PDF格式]
网络验证研究中的中间盒模型
J·迈克利斯。
未来互联网（FI）和创新互联网技术与移动通信（IITM）研讨会论文集，2015/2016冬季学期
2016
[PDF格式]
验证的iptables防火墙分析
迪克曼，C。迈克利斯，J。，哈斯贝克，M。、和G·卡尔。
2016年IFIP网络
2016
[法新社]
降阶二元决策图的算法（对于Isabelle/HOL）
迈克利斯，J。，哈斯贝克，M。,拉米奇，P。、和Hupel，L。
正式证据档案
2014
[PDF格式]
[电气与电子工程师协会]		 IEEE 802.11硬件在监控模式下的注入能力和媒体访问分析
Günther，S.M.公司。,勒克莱尔，M。Michaelis，J.和G·卡尔。
2014年5月，第14届IEEE/IFIP网络运营与管理研讨会（NOMS 2014）会议记录，波兰克拉科夫。

利息

我喜欢函数编程的简单性和表达性，喜欢形式证明的自信，因此我喜欢在伊莎贝尔/HOL.

最近，我也对修补电子产品产生了兴趣。越是摇晃，它就越能帮助我放松。

为了平衡这一点，我学习日语，骑自行车或步行旅行更长时间。

我保持着某种博客我在那里记录活动。

顾问

Isabelle标志托比亚斯·尼普科
科尼利厄斯·迪克曼
Intel NUC带3个自定义天线斯蒂芬·孔瑟（Stephan Günther）

链接

我的GitHub帐户
OpenClonk（打开时钟），一个我喜欢拖延的游戏。
DBLP公司