约翰内斯·哈特曼
约翰内斯 哈特曼
博士生
沃尔夫森大厦,牛津OX1 3QD公园路
利息
我叫约翰内斯·哈特曼，是牛津大学计算机科学专业的一名博士生，目前就职于凯洛格学院。我的重点是函数编程，对Haskell特别感兴趣。我正在探索选择monad的潜在应用，我之前曾将其作为不同类型算法的模型进行过研究，包括贪婪算法。我的研究兴趣还包括编程语言、依赖类型等类型系统以及效果和处理程序。我热衷于提高对函数式编程及其应用程序的理解。请随时通过johannes.hartmann“at”cs.ox.ac.uk与我联系。
传记
2019年开始在牛津大学攻读计算机科学博士学位之前，我在杜宾根大学获得了医学计算机科学学士学位，并在伦敦玛丽女王大学获得了软件工程硕士学位。此外，在我开始DPhil之前的一年，我在凯捷担任软件工程师。
在我的本科学习期间，我创建了AHSoftwareSolutions，这是一家初创公司，专注于开发中风记事本，一种用于在中风和心脏病患者去医院的路上预先通知他们的工具。这一经历使我进一步探索了技术和医疗保健的交叉点。
作为我在牛津大学助教奖学金的一部分，我曾担任过许多本科课程的助教，包括函数编程、编程语言原理、算法设计与分析、并发编程和强制编程1、2和3。此外，我还担任过兼职软件工程项目的函数编程课程的讲师和助教。
选定出版物
查看全部管理出版物
活动
监督人
