Skip to content

Brian DeVries

  • Ph.D. Student
  • Ph.D. Student
  • University of Texas at Dallas
  • 1PublicationsNumber of items in Brian's My Publications folder on Mendeley.
  • 2Followers

Research interests

software testing and debuggingprogramming toolsdeclarative programmingfunctional programmingcompilersprogramming language designprogramming languagesmodel checkingProloglogic programmingformal methodssoftware engineering

Followers (2)

Following (1)

  • Scott Moore

    Scott MooreHarvard University

Publications (1)

  • ActionScript bytecode verification with co-logic programming

    • DeVries B
    • Gupta G
    • Hamlen K
    • et al.
    N/AReaders
    N/ACitations

Professional experience

Ph.D. Student

The University of Texas at Dallas

January 2007 - Present

Education history

Ph.D. in Computer Science

The University of Texas at Dallas

January 2007 - Present

Bachelor of Science in Computer Science

Texas Tech Univeristy

August 2003 - December 2006(3 years)