你已经访问了我的网络服务器。请在哔哔声后留言。
帕斯比尔达蒂格 图片2014

教育类

2014年-2017年图木琴的信息大师
2014年-2015年在北海道大垣的赫斯特普留学
2011年-2014年图木琴信息学士

学生社团

2017年夏季富士通实验室实习
2016年世界峰会逻辑与验证讲座硕士论文(I21)
2015年世界峰会18年级学生助理
2014年夏季18年级学士论文
WS2013-2014年数据库系统主席助理(I3)
WS2012-2013年网络和分布式系统主席的学生助理(I8)

出版物

2019
[IEEE公司]
[出版社]
基于数据流灵活组合的实时物联网服务平台Dracena
Yamaoka,H。,
IEEE/SICE国际系统集成研讨会
2018
[BibTeX,PDF]
命题逻辑的形式化证明系统
Michaelis,J。,尼普科,T。
第23届国际会议校样和节目类型(2017年)
2018
[斯普林格]
验证的iptables防火墙分析和验证
迪克曼,C。,赫佩尔,L。,Michaelis,J。,哈斯贝克,M。,卡尔,G。
自动推理杂志
2016
[BibTeX公司]
[PDF格式]
网络验证研究中的中间盒模型
迈克尔,J。
未来互联网(FI)和创新互联网技术与移动通信(IITM)研讨会论文集,2015/2016冬季学期
2016
[PDF格式]
验证的iptables防火墙分析
迪克曼,C。,Michaelis,J。,哈斯贝克,M。,和卡尔,G。
IFIP网络2016
2016
[法新社]
降序二元决策图的算法(给伊莎贝尔/霍尔)
Michaelis,J。,哈斯贝克,M。,拉米奇,P。,和赫佩尔,L。
正式证据归档
2014
[PDF格式]
[IEEE公司]
ieee802.11硬件在监控模式下的注入能力和媒体访问分析
Günther,S.M。,莱克莱尔,M。,Michaelis,J.和卡尔,G。
2014年5月,波兰克拉科夫,第14届IEEE/IFIP网络运营与管理研讨会论文集。

兴趣

我喜欢函数式编程的简洁性和表现力,以及形式证明的自信,因此我喜欢在伊莎贝尔/霍尔.

最近,我对修补电子产品也产生了一点兴趣。越容易上手,越能帮助我放松。

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

我保持着某种博客我记录活动的地方。

顾问

伊莎贝尔标志托比亚斯·尼普科
科尼利厄斯·迪克曼
带3个定制天线的Intel NUC斯蒂芬格恩瑟

链接

我的GitHub帐户
OpenClonk公司,一个我喜欢拖延的游戏。
DBLP公司