www.cs.stanford.edu
Open in
urlscan Pro
193.108.153.6
Public Scan
Submitted URL: https://www.formalverification.com/
Effective URL: https://www.cs.stanford.edu/rjones
Submission: On July 02 via api from US — Scanned from DE
Effective URL: https://www.cs.stanford.edu/rjones
Submission: On July 02 via api from US — Scanned from DE
Form analysis
2 forms found in the DOMGET /search
<form action="/search" method="get" accept-charset="UTF-8">
<label class="su-site-search__sr-label" for="key">Search this site</label>
<input type="text" id="key" name="key" class="su-site-search__input" placeholder="Search this site" maxlength="128">
<button type="submit" name="search" class="su-site-search__submit su-sr-only-text">Submit Search</button>
</form>
GET /search
<form action="/search" method="get" accept-charset="UTF-8">
<label class="su-site-search__sr-label" for="key-mobile">Search this site</label>
<input type="text" id="key-mobile" name="key" class="su-site-search__input" placeholder="Search this site" maxlength="128">
<button type="submit" name="search" class="su-site-search__submit su-sr-only-text">Submit Search</button>
</form>
Text Content
Skip to main content Stanford University (link is external) Email forwarding for @cs.stanford.edu is changing. Updates and details here. Stanford Engineering Computer Science Engineering Search this site Submit Search Menu * Search this site Submit Search * Home * About * Gates Building * Work Here * Academics * Courses * Bachelor's * BS Tracks * Program Sheets * BS Requirements * Math Requirements * Science Requirements * Engineering Fundamentals * Technology in Society * Core Requirements * Depth Requirements * Eligible Humanities Electives * Senior Project * Writing in the Major Requirement * Petitions, Deviations, & Transfer Credits * Honors Program * How to Declare * CS Minor * Research Opportunities * Independent Study * Frequently Asked Questions * Master's * MS Specializations * MS Program Sheets * MS Degree Requirements * Overall * Foundations Requirement * Significant Software Implementation * Breadth Requirements * Depth Requirements * Electives * Coterm Program * Honors Cooperative Program * Course Assistant/Research Assistant * Frequently Asked Questions * PhD * Program Requirements * CS300 Seminar * First-Year Research Rotation Program * Course Requirements * Foundation & Breadth Requirements * Candidacy Requirement * Qualifying Examination * Teaching Requirements * Reading Committee * Thesis Proposal * University Oral Examination * Dissertation * Progress Guidelines * Advising Guide * Monitoring Progress * Petition for MS Degree * Research Assistantship * Course Assistantship * Special Registration Statuses * Graduate Student Forms * Frequently Asked Questions * Curricular Practical Training * Joint Programs * MS/MBA * MS/Law * PhD/Law * Student Services * CS Commencement Ceremony * New Student Orientation * New Graduate Student Checklist * Incoming CS MS Students * Incoming CS PhD Students * Computer Forum | Career Readiness * Admissions * PhD Admissions * Frequently Asked Questions * Master's Admissions * Frequently Asked Questions * Coterminal Admissions * Frequently Asked Questions * Joint Degree Admissions * Joint CS MS/MBA Degree * Joint CS MS/Law Degree * Joint CS PhD/Law Degree * Graduate Application Checklists * Graduate Application Deadlines * Current Stanford Students * Additional/Change of Degree * PhD Minor * Non-Degree Option * Student Resources * Contact Us * Research & Impact * People * People main menu * Faculty by Name * Faculty by Research * Architecture * Artificial Intelligence * Biomedicine and Health * Computational Biology * Computational Cognitive & Neuro-science * Computational Education * Computer Graphics * Computer Security * Computer Systems * Computer Vision * Data Science * Empirical Machine Learning * Human-Centered and Creative AI * Human-Computer Interaction (HCI) * Machine Learning * Natural Language Processing and Speech * Networking * Operating/Distributed Systems * Programming Systems and Verification * Reinforcement Learning * Robotics * Statistical or Theoretical Machine Learning * Theory * Lecturers * Emeritus Faculty * Courtesy Faculty * Adjunct Faculty * Research Staff * Visiting and Acting Faculty * Administrative Staff * Get Involved * Affiliate Programs * Our Members PAGE NOT FOUND Main content start Oops! We can't find that page! We have a new site and things have moved around a bit. Here are some good places to start. STARTING POINTS Homepage Search this site... THE CS INTRANET: RESOURCES FOR FACULTY, STAFF, AND CURRENT STUDENTS For Faculty & Staff For Current CS Students Intranet Stanford ENGINEERING Web Login ADDRESS Gates Computer Science Building 353 Jane Stanford Way Stanford, CA 94305 United States * Contact Us * Directions to the Gates Building * Campus Map * Follow us on LinkedIn LINKS TO * Events * News from Stanford Engineering * Stanford Engineering Magazine * Student Resources * CS IT Support CS STUDENT RESOURCES * Computer Forum | Career Readiness * Computing & Society * Engineering Entrepreneurship Center * SERIS Program * Terman Engineering Library Stanford University (link is external) * Stanford Home (link is external) * Maps & Directions (link is external) * Search Stanford (link is external) * Emergency Info (link is external) * Terms of Use (link is external) * Privacy (link is external) * Copyright (link is external) * Trademarks (link is external) * Non-Discrimination (link is external) * Accessibility (link is external) © Stanford University. Stanford, California 94305. Back to Top