معرفی
Jacques Carette is an Associate Professor at McMaster University, affiliated with the Department of Computing and Software. His research bridges formal and applied domains, including Mechanized Mathematics, Correct-by-Construction Software, and Game Design, with a focus on User Experience and Visual Scaling in games. He actively explores Reversible Computing, Quantum Programming, and DSLs for software generation.
Research Interests:
- Mechanized Mathematics: Formalizing mathematical theories for software correctness.
- Game Design: Visual scale impact on user experience and cognitive components in gaming.
- Reversible & Quantum Computing: Reversible program transformations and quantum algorithm design.
- Software Engineering: Metaprogramming, code generation, and productivity analysis.
Trends in Articles: His work spans Quantum Computing, Game Design, Formal Methods, and Software Sustainability. Recent publications emphasize DSLs, reversible models, and emotional computational models in games.
Contact Information:
- Email: c@rtte@mcmaster.ca
۰مقاله منتشرشده
