Search Jobs Apply4Me Resume Career Advice

I’m interested in mentoring people from:

    Sreevarsha Challapalli

    Austin, Texas

    Java Implementation of Computational Tree Logic (CTL) Model Checker

    Formal Methods

    Specialties

    check markSoftware Development
    Where I've Worked
    F

    Jun 2021 – Present

    Java Implementation of Computational Tree Logic (CTL) Model Checker

    Formal Methods
    Where I've Studied

    2021

    MS, Computer Science

    Texas State University

    2012

    Bachelors, Electronics and Communication Engineering

    Jawaharlal Nehru Technological University

    Ask Me About

    People I've Reported To

    People I've Worked With

    People Who've Reported to Me

    Ask Me for a Referral

    Formal Methods

    In the Media

    Social Media