Home    Schedule    Model Database    Paper Calls    Publications    Research   
People       Faculty       Undergraduates       Alumni

Rahul Kumar Tonglaga Bao Neha Rungta


  • Rahul Kumar
    • email: rahul@cs.byu.edu
  • Academic Background
    • Pursuing Phd, Computer Science,
      Brigham Young University
    • M.S., Computer Science,
      Brigham Young University, 2004.
    • B.S., Computer Engineering,
      Brigham Young University, 2002.
  • Personal Bio
    • I am originally from India, having lived in the West, East, North and South parts of India. Currently I am a graduate student (MS) working with Eric Mercer and Mike Jones, and love doing research with them. I spend a significant part of the day reading different books about math, religion, philosophy and food/travel. Travelling is one of the most involved hobbies I have after cooking and reading. I also like to go walk around and talk to random people about the ontological existence of the universe.
  • Current Projects
    • I am working on two major projects:
      1. Overcoming dynamic node loss in a distribute verification process
      2. Symmetry reduction in Murphi in a distributed environment
  • Past Projects
    • In the past I have worked on the following projects for my graduate research
      1. Adding LTL liveness property checking in Murphi
      2. Parallelizing the Murphi verifier using MPI


  • Tonglaga Bao
    • email: tonglaga@hotmail.com
  • Academic Background
    • Pursuing M.S., Computer Science,
      Brigham Young University
  • Personal Bio
    • I am from China
  • Current Projects
    • Disk based murphi


  • Neha Rungta
    • email:neha@byu.edu
  • Academic Background
    • Pursuing PhD, Computer Science
      Brigham Young Univeristy
    • M.S., Computer Science,
      Brigham Young University, 2006
    • B.S., Computer Science
      Brigham Young University, 2004
  • Personal Bio
    • I am from India. I enjoy cooking, good music, entertaining movies and reading in my leisure time. I love sports. Cricket is the passion in my life.
  • Publications
  • Visit my Blog for some CS and Fun




    • Validation and Verification • 3325 Talmage • Brigham Young University • Provo UT

    Disclaimer