Tag: projects

Project Turing (working title)

Research: Verification of Custom Hash and Comparator Functions in C++

    A research project examining custom hash and comparator functions in C++, their usages and semantics in practice, and formally verifying their soundness and correctness using static analysis. This research is funded in part by an NSERC CGS-M and a Mitacs Accelerate Fellowship.

    tags: projects  research  hashcomps  active 

Project Silverthrone (closed)

Research: SWAN (SWift ANalysis)

    Can I detect security vulnerabilities in my Swift app? In this work, we have been developing SWAN, a program analysis framework for Swift programs based on WALA. The framework enables a wide range of static analyses, from simple constant propagation to sophisticated taint anlaysis using the powerful infrastructure that WALA provides.

    tags: research  swan  projects  active 

Project Colony (on hiatus)

    A new game project featuring gorgeous pixel art, atmospheric soundscapes, and an unforgettable adventure. Stay tuned for more information, concept art, and prototypes coming soon!

    tags: projects  games  colony  caldera 

Student Games Archive

    This is an initiative in two parts to archive and display standalone digital student works created at the University of Alberta as part of the Game Development Certificate. The archival portion is in the works through the library and the website is currently under design and development. The website will display students’ games and information about them, and the members involved along with their roles, as well as other useful information related to game design, game development, and the certificate.

    tags: projects  web  gamedev  active 

> turing

    turing

    > turing is a text adventure game set in the future where general artificial intelligence has become developed enough to threaten human employability. You play as an employee at a firm where you are tasked with conducting pre-screening interview chats with candidates in order to determine whether or not they are AIs. The game features a retro-futuristic command-line console interface, original soundtrack, and a colorful ensemble of human and AI characters. Will you side with humans and try to prevent as many AIs from getting jobs as possible? Or will you be sympathetic to AI rights and self-determination?

    Read more... tags: turing  games  projects 

Research: Unit Interaction Analysis

    Independent research examining whole-of-system analysis of games using unit interactions as the bases for building situational understanding and representations. The foundations for this research and its utility in classifying and understanding games and unit interactions in games, particularly multiply-metaleptic games which defy traditional narratological or interactive taxonomy, were presented at HUCON ‘18 and DiHuCon ‘19. Supervised by Dr. Astrid Ensslin.

    tags: research  narratology  projects 

Research: StarCraft 2 AI Situational Awareness

    A research project creating a StarCraft II AI bot based on Command Center with situational awareness and hierarchical strategic planning capabilities. Includes build order and tech trees, map analysis, opponent information uncertainty, realtime disruptions, and threat vectors. Supervised by Dr. Michael Buro; NSERC USRA funded.

    tags: projects  games  starcraft2