基本信息
浏览量:89
职业迁徙
个人简介
Education and Employment
2009-present: Developer
Mozilla Corporation.
2006-2008: Research Fellow
G12 Constraint Programming Platform Project
Network Information Processing Research Program, National ICT Australia, Australia.
2006-2008: Honorary Research Fellow
Department of Engineering
University of Melbourne, Australia.
2005: Postdoctoral Fellow
The TRIPS Project
Department of Computer Sciences, University of Texas at Austin, USA.
2001-2004: PhD
Dynamic Binary Analysis and Instrumentation
Computer Laboratory, University of Cambridge, UK.
Supervisor: Prof Alan Mycroft
2001: Master of Computer Science
The Analysis Framework of HAL.
Department of Computer Science and Software Engineering, University of Melbourne, Australia.
Supervisors: Prof Peter Stuckey, Assoc Prof María García de la Banda.
Thesis grade: 91%.
1996-2000: Bachelor of Engineering (Software), with Honours
Department of Computer Science and Software Engineering, University of Melbourne, Australia.
Final Honours mark: 93%.
1990-1995: Victorian Certificate of Education
Ballarat Grammar School, Australia.
Tertiary Entrance Rank: 99.90.
--------------------------------------------------------------------------------
Scholarships and Selected Awards
2004 (life): Cambridge Commonwealth Trust - Fellow of the Cambridge Commonwealth Society
2001-2004: Trinity College, Cambridge - External Research Studentship
2001-2004: Cambridge Commonwealth Trust - Honorary Scholarship
2001-2004: Universities UK - Overseas Research Student Award
2001: Australian Government Department of Education, Science and Training - Australian Postgraduate Award
1999: Adacel - Adacel Software Engineering Award
1997, 1999, 2000: University of Melbourne - Faculty of Engineering, Dean's Honours List
1996, 1997: St Hilda's College, Melbourne - Academic Scholarships
1996: University of Melbourne - Faculty of Science, Dean's Prize
1995: Australian Government Department of Education, Science and Training - Australian Students' Prize
1995: Ballarat Grammar School - Dux (top of year)
1990-1995: Ballarat Grammar School - Full academic scholarship
--------------------------------------------------------------------------------
Professional
Primary Area of Interest
Improving software quality, particularly correctness, performance and usability.
Areas of Expertise and Experience
Programming language design and implementation
Dynamic and static analysis, theory and implementation
Computer architecture and operating systems
Software engineering processes and practice
研究兴趣
论文共 26 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Valgrind 3.3 - Advanced Debugging and Profiling for GNU/Linux applications (2008)
引用29浏览0EI引用
29
0
Constraintsno. 3 (2008): 229-267
CP'07: Proceedings of the 13th international conference on Principles and practice of constraint programming (2007): 529-+
Transactions on High-Performance Embedded Architectures and Compilers I (2007): 140-158
ACM SIGPLAN Noticesno. 10 (2007): 405-422
VEEpp.65-+, (2007)
PLDI '07: ACM SIGPLAN Conference on Programming Language Design and Implementation
San Diego
California
USA
June, 2007no. 6 (2007): 89-100
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn