基本信息
浏览量:106
职业迁徙
个人简介
I'm Adam M. Smith, computer scientist, design researcher, and software artist. Tens of people have read my dissertation, tens of thousands have listened to my music, and tens of millions have played with my software toys.
Artificial intelligence for design is my description for the work I started with Michael Mateas at UC Santa Cruz and continued with Zoran Popović at the University of Washington. My dissertation, Mechanizing Exploratory Game Design, built a design automation practice in the interdisciplinary space between game design, design studies, computational creativity, and symbolic AI. I often employ answer set programming (and related combinatorial search/optimization tools such as model checkers and constraint solvers) in the service of exploratorily posing and automatically solving high-complexity analysis and synthesis problems arising in creative design domains. As a postdoctoral researcher, I applied these ideas to deep design automation for educational games played by millions of students around the world.
Recently, I've been researching ways of making this search-intensive automation available to everyday programmers who are invested in domains outside of artificial intelligence. The result, blending recent ideas from machine learning, formal verification, processor design, and cryptography, is a surprising new way of programming. This idea is being developed by my new company: Quasilinear Research.
Actually, the new company is on hold for now. I've taken a job as a Research Engineer at Microsoft. (A researcher at Microsoft but outside of MSR? It's an experiment!) I'm associated with the Research in Software Engineering (RiSE) group in MSR while being embedded in an Enterprise engineering organization. I'm on Sumit Gulwani's team developing developing industrial strength and widely accessible program synthesis by example systems.
Aaaaactually, I've accepted a job as tenure-track faculty within the department of Computational Media at UC Santa Cruz. In the meantime, however, I've been pleasantly/exhaustingly interrupted by the engrossing world of fatherhood. I'll think about updating this webpage when I get back to sleeping more than ninety minutes at a time.
In addition to the serious stuff above, I like to explore generative visual art and music, recreational programming all the way down to the hardware/RF level, and infinitesimal-thrust spacecraft design and orbital dynamics. I also bake bread.
研究兴趣
论文共 91 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Proceedings of the 18th International Conference on the Foundations of Digital Gamespp.20:1-20:11, (2023)
AIIDE '23: Proceedings of the Nineteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainmentno. 1 (2023): 315-325
ACM SIGSOFT Software Engineering Notesno. 4 (2023): 46-50
Proceedings of the 18th International Conference on the Foundations of Digital Gamespp.21:1-21:9, (2023)
International Conference on Foundations of Digital Games (FDG)pp.68:1-68:3, (2022)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn