Joseph C. Osborn

Assistant Professor of Computer Science
With 极速六合彩开奖结果 Since: 2018
  • Expertise

    Expertise

    Joseph C. Osborn is an AI researcher exploring representations of interactivity for computational systems. He designs novel knowledge representations by drawing on his fine arts game design background and computer science training. He works in areas as diverse as software model checking, machine learning, game studies and HCI to find ways for computer programs to reason about interactive systems (including video games) so they can help human designers better understand the consequences of the design decisions they make.

    Areas of Expertise

    • Game design
    • Machine learning
    • Software verification
    • Static analysis
    • Programming languages
    • Design support
  • Work

    Work

    A. Summerville, C. Martens, B. Samuel, J. C. Osborn, N. Wardrip-Fruin, and M. Mateas. Gemini: Bidirectional generation and analysis of games via ASP. In Artificial Intelligence and Interactive Digital Entertainment Conference, 2018.

    Summerville, A., Martens, C., Harmon, S. Mateas, M., Osborn, J. C., Wardrip-Fruin, N., and Jhala, A. (2017). 鈥淔rom Mechanics to Meaning,鈥 IEEE Transactions on Computational Intelligence and AI in Games. Journal article

    Lowood, H., Kaltman, E., and Osborn, J. C. (2017).  鈥淪creen Capture and Replay: Documenting Gameplay as Performance,鈥 In Histories of Performance Documentation: Museum, Artistic, and Scholarly Practices, Giannachi, G. and Westerman, J. (eds). Routledge. Book chapter

    Osborn, J. C., Ryan, J., and Mateas, M. (2017).  鈥淎nalyzing Expressionist Grammars by Reduction to Symbolic Visibly Pushdown Automata,鈥  Tenth International Workshop on Intelligent Narrative Technologies.

    Osborn, J. C., Samuel, B., Summerville, A., and Mateas, M. (2017). 鈥淭owards General RPG Playing,鈥  Fourth Workshop on Experimental AI in Games.

    Osborn, J. C., Lambrigger, B., and Mateas, M. (2017).  鈥淗yPED: Modeling and Analyzing Action Games as Hybrid Systems,鈥 Thirteenth Artificial Intelligence and Interactive Digital Entertainment Conference. Best Student Paper

    Osborn, J. C., Summerville, A., and Mateas, M. (2017). 鈥淎utomated Game Design Learning,鈥  Thirteenth IEEE Conference on Computational Intelligence and Games.

    Osborn, J. C., Summerville, A., and Mateas, M. (2017).  鈥淎utomatic Mapping of NES Games with Mappy,鈥  Workshop on Procedural Content Generation. (Mappy was featured on Slate in Brogan, J. (2017). 鈥.鈥

    Osborn, J. C., Wardrip-Fruin, N., and Mateas, M. (2017). 鈥淩efining Operational Logics.  Foundations of Digital Games,鈥 Best Paper Honorable Mention

    Kaltman, E., Osborn, J. C., and Wardrip-Fruin, N. (2017). 鈥淕etting the GISST: A Toolkit for the Creation, Analysis and Reference of Game Studies Resources,鈥 Foundations of Digital Games.

    Kaltman, E., Osborn, J. C., and Wardrip-Fruin, N. (2017). 鈥淕ame and Interactive Software Scholarship Toolkit (GISST),鈥  Foundations of Digital Games Demonstrations Track.

    Summerville, A., Osborn, J. C., Holmg氓rd, C., and Zhang, D. W. (2017).  鈥淢ARIO: Mechanics Automatically Recognized via Interactive Observation,鈥 Foundations of Digital Games.

    Summerville, A., Osborn, J. C., and Mateas, M. (2017). 鈥淐HARDA: Causal Hybrid Automata Recovery via Dynamic Analysis,鈥 International Joint Conference on Artificial Intelligence (IJCAI).

    Osborn, J. C., Samuel, B., and Mateas, M. (2017). 鈥淰isualizing the Strategic Landscape of Arbitrary Games,鈥 SAGE Journal of Visual Analytics, Special Issue on Visual Game Analytics.  Journal article

    Osborn, J. C., and Mateas, M. (2017). 鈥淓valuating a Solver-Aided Puzzle Design Tool,鈥 First Workshop on Mixed-Initiative Co-Creative Interfaces (MICI).

    Osborn, J. C., and Mateas, M. (2017). 鈥淎gainst Forward Models,鈥 First Workshop on What鈥檚 Next for AI in Games? (WNAIG).

    Martens, C., Summerville, A., Mateas, M., Osborn, J. C., Harmon, S., Wardrip-Fruin, N., and Jhala, A. (2016). 鈥淧roceduralist Readings, Procedurally,鈥 Workshop on Experimental AI in Games (EXAG).

    Fava, D., Shapiro, D., Osborn, J. C., Schaef, M., Whitehead, E. J. (2016). 鈥淐rowd-Sourcing Program Preconditions via a Classification Game,鈥 38th International Conference on Software Engineering.

  • Education

    Education

    Ph.D. in Computer Science, University of California, Santa Cruz

    M.F.A in Interactive Media, University of Southern California

    B.S. in Software Engineering and Computer Science (Double Major), Rochester Institute of Technology (RIT)

  • Awards & Honors

    Awards & Honors

    Best Student Paper Osborn, J. C., Lambrigger, B., and Mateas, M. (2017).  鈥淗yPED: Modeling and Analyzing Action Games as Hybrid Systems,鈥  Thirteenth Artificial Intelligence and Interactive Digital Entertainment Conference.

    Best Paper Honorable Mention Osborn, J. C., Wardrip-Fruin, N., Mateas, M. (2017). 鈥淩efining Operational Logics,鈥 Foundations of Digital Games.

    Outstanding TA Award 2016-2017

    Best Paper Nomination Osborn, J. C., Lederle-Ensign, D., Wardrip-Fruin, N., Mateas, M. (2015). 鈥淐ombat in Games,鈥 Foundations of Digital Games.