基本信息
浏览量:45
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
个人简介
I am an Associate Professor (Docent) in the Functional Programming research group, in the Software Technology division at the CSE Department, Chalmers University of Technology and University of Gothenburg, Sweden (Official work page). My research area is Software Technology and I specialise in Generic Programming and Program Verification. I was chair of the Workshop on Generic Programming 2009 and deputy project leader of the Chalmers IMPACT project (2008-2010).
Do you want to work with us? Check the departmental vacancies page.
Do you want to study computer science here? Applications to our MSc programmes are welcome yearly Nov. to mid Jan. (deadline was 20100115). For European students, applications for Erasmus exchange is possible throughout the academic year. (See here for details.)
Already studying here? I'm currently looking for good MSc students interested in doing a MSc thesis project (some project ideas) during 2010 with me as supervisor or examiner.
Research Interests
(papers: ACM author profile, CiteSeerX) My research area is Software Technology and I specialise in Generic Programming and Program Verification. My local research neighbourhood contains Functional Programming Programming Logic, Software Methodologies and Systems, Language Technology and Formal Methods.
I'm a member of the IFIP Working Group 2.1 -- Algorithmic Languages and Calculi.
I have an active collaboration with the Potsdam Institute of Climate Impact Research (PIK) about functional programming, generic programming (in Agda, Haskell and C++), high-level modelling and e-science. (Contacts: Daniel Lincke, Cezar Ionescu, Nicola Botta, Carlo Jaeger)
I've been involved in Chalmers eScience Initiative (one of Chalmers' applications for strategic research areas 2009) which later turned into the Chalmers eScience Center.
I started out (in 1995) with Polytypic Programming [På svenska]. I have also worked with functional programming; specifically "Functional Generic Programming - where type theory meets functional programming" (polytypism, Generic Haskell, ...). I have also worked in the Cover project --- Combining verifiaction methods for software development (Haskell + QuickCheck + FOL + Agda). I have written a compiler for the language extension PolyP (Haskell extended with polytypic functions).
研究兴趣
论文共 81 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
JOURNAL OF PLASMA PHYSICSno. 3 (2024)
JOURNAL OF FUNCTIONAL PROGRAMMING (2023)
Istvan Pusztai, Ida Ekmark, Hannes Bergström, Peter Halldestam,Patrik Jansson,Mathias Hoppe,Oskar Vallhagen,Tünde Fülöp
Electronic Proceedings in Theoretical Computer Scienceno. Proc. TFPIE 2018 (2019): 79-90
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn