{"schema_version":1,"url":"https://uwcourses.com/courses/COMPSCI_703","title":"COMPSCI 703: Program Verification and Synthesis | UW–Madison","dataset":{"revision":"e243353dcb7d79b7247ced91d69443ef4c2a6349","repository":"twangodev/uwcourses","schema_version":6,"importer_version":"7","projection_id":"52a78527ff09011d88cb04c7d43867d9fbfec2930bf1dd2ec359ebd2844e0b07","observed_at":"2026-09-07T15:55:43.033547+00:00","built_at":"2026-09-10T19:50:42.743001+00:00","courses":8951,"current_instructors":5754,"limited":false,"terms":["1272","1264","1262","1254","1252","1244","1242","1234","1232","1224","1222","1212","1204","1202","1194","1192","1184","1182","1174","1172","1164","1162","1154","1152","1144","1142","1134","1132","1124","1122","1114","1112","1104","1102","1094","1092","1084","1082","1074","1072"],"term":"1272","departments":[{"subject":"AAE","count":90},{"subject":"ABT","count":20},{"subject":"ACCTIS","count":36},{"subject":"ACTSCI","count":14},{"subject":"AFAERO","count":10},{"subject":"AFRICAN","count":87},{"subject":"AFROAMER","count":71},{"subject":"AGROECOL","count":21},{"subject":"AMERIND","count":53},{"subject":"ANAT&PHY","count":7},{"subject":"ANATOMY","count":2},{"subject":"ANESTHES","count":8},{"subject":"ANSCI","count":57},{"subject":"ANTHRO","count":95},{"subject":"ART","count":125},{"subject":"ARTED","count":10},{"subject":"ARTHIST","count":121},{"subject":"ASIALANG","count":129},{"subject":"ASIAN","count":109},{"subject":"ASIANAM","count":28},{"subject":"ASTRON","count":38},{"subject":"ATMOCN","count":69},{"subject":"BIOCHEM","count":51},{"subject":"BIOCORE","count":10},{"subject":"BIOLOGY","count":14},{"subject":"BIOMDSCI","count":18},{"subject":"BME","count":66},{"subject":"BMI","count":41},{"subject":"BMOLCHEM","count":10},{"subject":"BOTANY","count":69},{"subject":"BSE","count":44},{"subject":"C&ESOC","count":73},{"subject":"CBE","count":48},{"subject":"CHEM","count":101},{"subject":"CHICLA","count":52},{"subject":"CIVENGR","count":133},{"subject":"CLASSICS","count":47},{"subject":"CNP","count":10},{"subject":"CNSRSCI","count":50},{"subject":"COMARTS","count":137},{"subject":"COMPBIO","count":15},{"subject":"COMPLIT","count":11},{"subject":"COMPSCI","count":138},{"subject":"COUNPSY","count":78},{"subject":"CRB","count":19},{"subject":"CS&D","count":71},{"subject":"CSCS","count":40},{"subject":"CURRIC","count":193},{"subject":"DANCE","count":93},{"subject":"DERM","count":8},{"subject":"DS","count":88},{"subject":"DYSCI","count":35},{"subject":"ECE","count":155},{"subject":"ECON","count":145},{"subject":"EDPOL","count":114},{"subject":"EDPSYCH","count":97},{"subject":"ELPA","count":70},{"subject":"EMA","count":53},{"subject":"EMERMED","count":17},{"subject":"ENGL","count":206},{"subject":"ENTOM","count":40},{"subject":"ENVIRST","count":148},{"subject":"EP","count":15},{"subject":"EPD","count":67},{"subject":"ESL","count":16},{"subject":"F&WECOL","count":60},{"subject":"FAMMED","count":22},{"subject":"FINANCE","count":50},{"subject":"FOLKLORE","count":40},{"subject":"FOODSCI","count":43},{"subject":"FRENCH","count":63},{"subject":"GEN&WS","count":145},{"subject":"GENBUS","count":72},{"subject":"GENECSLR","count":17},{"subject":"GENETICS","count":60},{"subject":"GEOG","count":113},{"subject":"GEOSCI","count":83},{"subject":"GERMAN","count":82},{"subject":"GLE","count":48},{"subject":"GNS","count":38},{"subject":"GREEK","count":27},{"subject":"HDFS","count":41},{"subject":"HEBR-BIB","count":13},{"subject":"HEBR-MOD","count":10},{"subject":"HISTORY","count":233},{"subject":"HISTSCI","count":56},{"subject":"HONCOL","count":13},{"subject":"ILS","count":43},{"subject":"INFOSYS","count":9},{"subject":"INTEGART","count":7},{"subject":"INTEGSCI","count":22},{"subject":"INTER-AG","count":18},{"subject":"INTER-HE","count":11},{"subject":"INTER-LS","count":22},{"subject":"INTEREGR","count":16},{"subject":"INTLBUS","count":21},{"subject":"INTLST","count":50},{"subject":"ISYE","count":83},{"subject":"ITALIAN","count":53},{"subject":"JEWISH","count":56},{"subject":"JOURN","count":88},{"subject":"KINES","count":128},{"subject":"LACIS","count":26},{"subject":"LANDARC","count":61},{"subject":"LATIN","count":24},{"subject":"LAW","count":120},{"subject":"LEGALST","count":48},{"subject":"LINGUIS","count":35},{"subject":"LIS","count":89},{"subject":"LITTRANS","count":78},{"subject":"LSC","count":52},{"subject":"M&ENVTOX","count":7},{"subject":"MARKETNG","count":62},{"subject":"MATH","count":153},{"subject":"MDGENET","count":8},{"subject":"ME","count":130},{"subject":"MEDHIST","count":43},{"subject":"MEDICINE","count":60},{"subject":"MEDIEVAL","count":32},{"subject":"MEDPHYS","count":39},{"subject":"MEDSC-M","count":29},{"subject":"MEDSC-V","count":41},{"subject":"MHR","count":68},{"subject":"MICROBIO","count":45},{"subject":"MILSCI","count":16},{"subject":"MM&I","count":22},{"subject":"MOLBIOL","count":6},{"subject":"MS&E","count":59},{"subject":"MUSIC","count":165},{"subject":"MUSPERF","count":126},{"subject":"NAVSCI","count":20},{"subject":"NE","count":44},{"subject":"NEURODPT","count":11},{"subject":"NEUROL","count":7},{"subject":"NEURSURG","count":4},{"subject":"NTP","count":11},{"subject":"NURSING","count":111},{"subject":"NUTRSCI","count":65},{"subject":"OBS&GYN","count":18},{"subject":"OCCTHER","count":39},{"subject":"ONCOLOGY","count":14},{"subject":"OPHTHALM","count":5},{"subject":"OTM","count":43},{"subject":"PATH","count":34},{"subject":"PATH-BIO","count":29},{"subject":"PEDIAT","count":26},{"subject":"PHARMACY","count":31},{"subject":"PHILOS","count":77},{"subject":"PHMCOL-M","count":11},{"subject":"PHMPRAC","count":45},{"subject":"PHMSCI","count":60},{"subject":"PHYASST","count":37},{"subject":"PHYSICS","count":88},{"subject":"PHYSIOL","count":3},{"subject":"PHYTHER","count":37},{"subject":"PLANTSCI","count":52},{"subject":"PLPATH","count":35},{"subject":"POLISCI","count":192},{"subject":"POPHLTH","count":58},{"subject":"PORTUG","count":33},{"subject":"PSYCH","count":101},{"subject":"PSYCHIAT","count":22},{"subject":"PUBAFFR","count":54},{"subject":"PUBLHLTH","count":23},{"subject":"RADIOL","count":11},{"subject":"REALEST","count":41},{"subject":"RELIGST","count":90},{"subject":"RHABMED","count":9},{"subject":"RMI","count":24},{"subject":"RP&SE","count":102},{"subject":"S&APHM","count":17},{"subject":"SCANDST","count":73},{"subject":"SLAVIC","count":89},{"subject":"SOC","count":149},{"subject":"SOCWORK","count":87},{"subject":"SOILSCI","count":46},{"subject":"SPANISH","count":83},{"subject":"SRMED","count":21},{"subject":"STAT","count":94},{"subject":"STDYABRD","count":52},{"subject":"STS","count":8},{"subject":"SURGERY","count":25},{"subject":"SURGSCI","count":33},{"subject":"THEATRE","count":91},{"subject":"URBRPL","count":60},{"subject":"UROLOGY","count":5},{"subject":"ZOOLOGY","count":89}],"deployed_at":null},"data":{"course":{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","course_id":"COMPSCI 703","course_uid":"course_ecff5c2de6527b0350b0998a","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","course_number":703,"subjects":["COMPSCI"],"title":"PROGRAM VERIFICATION AND SYNTHESIS","description":"Formal methods for program verification. Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking. Special topics include: program synthesis, verification and synthesis of privacy properties. Knowledge of programming languages and compiler design strongly encouraged, such asCOMP SCI 536.","requirements_text":"Graduate/professional standing","credits_min":null,"credits_max":null,"credit_offering_ids":[],"llm_job_id":"enrich-8b774950c2b6adfdc46d1b82","llm_output_id":"8e238f1ce7edf0c3fd54422419e77823cb069287b9812a492c3cf9f07ead75b0","llm_model":"nvidia/Qwen3.6-35B-A3B-NVFP4","llm_model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","llm_task_version":"14","llm_search_status":"valid","llm_summary":"COMPSCI 703 teaches formal methods for program verification, including model checking, temporal logic, and program synthesis.","llm_topics":["Model checking and temporal logic","Program synthesis and privacy properties"],"llm_skills":["Model checking and temporal logic reasoning","Program synthesis and privacy property verification"],"llm_assumed_background":["Programming languages and compiler design"],"llm_search_phrases":["formal methods program verification","model checking temporal logic","program synthesis privacy","COMPSCI 703 graduate verification"],"llm_requirements_status":"valid","llm_student_summary_status":"valid","llm_experience_status":"insufficient_evidence","catalog_variants":[],"student_summary":{"context_hash":"87e36eb8a319829747dc590e34d30f8fb2cf552fe0ef76bef937f8e6a1089630","course_id":"COMPSCI 703","current_instructors":[],"difficulty_workload":[],"errors":[],"historical_context":[],"message":"No course-specific reviews available","offered":false,"profile_hash":"5cb4dabf887cdbcd8c00d5a1312e10828b95c63f30bc3ea76aea199565390d02","quick_take":[{"citations":[{"course_id":"COMPSCI 703","run_id":"20260907T155543-ce3781c4","source_record":{"entity_id":"3e23efe6-72a4-3cc2-ac1f-10ac7a79aa03","file":"tables/observations.parquet","kind":"grades","source":"madgrades"},"table":"grades_latest","term_id":"1232","type":"grade"},{"course_id":"COMPSCI 703","run_id":"20260907T155543-ce3781c4","source_record":{"entity_id":"3e23efe6-72a4-3cc2-ac1f-10ac7a79aa03","file":"tables/observations.parquet","kind":"grades","source":"madgrades"},"table":"grades_latest","term_id":"1242","type":"grade"},{"course_id":"COMPSCI 703","run_id":"20260907T155543-ce3781c4","source_record":{"entity_id":"3e23efe6-72a4-3cc2-ac1f-10ac7a79aa03","file":"tables/observations.parquet","kind":"grades","source":"madgrades"},"table":"grades_latest","term_id":"1254","type":"grade"}],"text":"Recent recorded grades — Fall 2022: 3.80 GPA, 96.0% A/AB (n=25 letter grades); Fall 2023: 3.92 GPA, 96.0% A/AB (n=25 letter grades); Spring 2025: 3.77 GPA, 100.0% A/AB (n=11 letter grades)."}],"student_experience":[],"task_hash":"74fb0997943e888960bbc9e47db8c4fd12e4292d55c20509d8d89db6a9910f68","teaching_history":[],"term_id":"1272","term_name":"2026 Fall","version":2},"requirements":{"nodes":[{"children":[],"condition":"Graduate/professional standing","course":null,"evidence":"Graduate/professional standing","id":"n0","kind":"condition"}],"notes":["The requirement 'Graduate/professional standing' is modeled as a condition node."],"root":"n0","status":"parsed"},"instructors":[],"offerings":[],"sections":[],"grade_instructors":[{"instructor_uid":"instructor_f8dfbc35e41f372958ca1664","source":"madgrades","source_instructor_id":"5597286","identity_basis":"source_id","identity_status":"source_identified","name":"LORIS D'ANTONI","email":null,"first_observed_at":"2026-09-06 23:14:58.172943+00:00","last_observed_at":"2026-09-07 15:55:43.033547+00:00","ratings":{"review_count":8,"quality":3.75,"difficulty":3.38,"quality_count":8,"difficulty_count":8,"profile_id":"rmp:2124712","source_url":"https://www.ratemyprofessors.com/professor/2124712","match_basis":"exact_name","observed_at":"2026-09-07 16:22:45.738514+00:00","courses":{"course_20918224366f6bbd226f8ec0":{"review_count":8,"quality":3.75,"difficulty":3.38,"quality_count":8,"difficulty_count":8}},"bayesian_quality":3.6854898453904252,"prior_mean":3.6596857835465957,"prior_weight":20},"grade_statistics":{"gpa":3.075,"graded":640,"counts":[158,165,124,95,64,21,13],"sections":43},"instructor_url":"/instructors/LORIS_DANTONI--instructor_f8dfbc35e41f372958ca1664"},{"instructor_uid":"instructor_bf4a81f6aa7c91dfe31d8633","source":"madgrades","source_instructor_id":"3234525","identity_basis":"source_id","identity_status":"source_identified","name":"SOMESH JHA","email":null,"first_observed_at":"2026-09-06 23:14:58.172943+00:00","last_observed_at":"2026-09-07 15:55:43.033547+00:00","ratings":{"review_count":21,"quality":4.05,"difficulty":3.19,"quality_count":21,"difficulty_count":21,"profile_id":"rmp:981721","source_url":"https://www.ratemyprofessors.com/professor/981721","match_basis":"exact_name","observed_at":"2026-09-07 16:05:21.647929+00:00","courses":{"course_2e71825a82859020279c78b8":{"review_count":20,"quality":4,"difficulty":3.2,"quality_count":20,"difficulty_count":20},"course_20918224366f6bbd226f8ec0":{"review_count":1,"quality":5,"difficulty":3,"quality_count":1,"difficulty_count":1}},"bayesian_quality":3.859602821242242,"prior_mean":3.6596857835465957,"prior_weight":20},"grade_statistics":{"gpa":3.258,"graded":1507,"counts":[545,302,353,161,90,32,24],"sections":126},"instructor_url":"/instructors/SOMESH_JHA--instructor_bf4a81f6aa7c91dfe31d8633"},{"instructor_uid":"instructor_9c60f18bb44c3310da056c29","source":"madgrades","source_instructor_id":"2600204","identity_basis":"source_id","identity_status":"source_identified","name":"THOMAS REPS","email":null,"first_observed_at":"2026-09-06 23:14:58.172943+00:00","last_observed_at":"2026-09-07 15:55:43.033547+00:00","grade_statistics":{"gpa":3.361,"graded":276,"counts":[124,63,48,18,8,6,9],"sections":110},"instructor_url":"/instructors/THOMAS_REPS--instructor_9c60f18bb44c3310da056c29"},{"instructor_uid":"instructor_ff3ec31f568eb5f5950720d5","source":"madgrades","source_instructor_id":"6687748","identity_basis":"source_id","identity_status":"source_identified","name":"ADITHYA MURALI","email":null,"first_observed_at":"2026-09-06 23:14:58.172943+00:00","last_observed_at":"2026-09-07 15:55:43.033547+00:00","grade_statistics":{"gpa":3.773,"graded":11,"counts":[6,5,0,0,0,0,0],"sections":8},"instructor_url":"/instructors/ADITHYA_MURALI--instructor_ff3ec31f568eb5f5950720d5"}],"grades":[{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","course_id":"COMPSCI 703","course_uid":"course_ecff5c2de6527b0350b0998a","term_id":"1162","term_name":"Fall 2015","instructors":["Loris D'Antoni"],"a":5,"ab":6,"b":0,"bc":0,"c":0,"d":0,"f":0,"satisfactory":0,"unsatisfactory":0,"credit":0,"no_credit":0,"passed":0,"incomplete":0,"no_work":0,"not_reported":0,"other":0,"total":11,"source_aliases":["COMPSCI 703"]},{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","course_id":"COMPSCI 703","course_uid":"course_ecff5c2de6527b0350b0998a","term_id":"1174","term_name":"Spring 2017","instructors":["Somesh Jha"],"a":8,"ab":6,"b":1,"bc":0,"c":0,"d":0,"f":0,"satisfactory":0,"unsatisfactory":0,"credit":0,"no_credit":0,"passed":0,"incomplete":0,"no_work":0,"not_reported":0,"other":0,"total":15,"source_aliases":["COMPSCI 703"]},{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","course_id":"COMPSCI 703","course_uid":"course_ecff5c2de6527b0350b0998a","term_id":"1182","term_name":"Fall 2017","instructors":["Loris D'Antoni"],"a":5,"ab":5,"b":2,"bc":0,"c":1,"d":0,"f":0,"satisfactory":0,"unsatisfactory":0,"credit":0,"no_credit":0,"passed":0,"incomplete":0,"no_work":0,"not_reported":0,"other":0,"total":13,"source_aliases":["COMPSCI 703"]},{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","course_id":"COMPSCI 703","course_uid":"course_ecff5c2de6527b0350b0998a","term_id":"1192","term_name":"Fall 2018","instructors":["Loris D'Antoni"],"a":5,"ab":2,"b":1,"bc":0,"c":0,"d":0,"f":0,"satisfactory":1,"unsatisfactory":0,"credit":0,"no_credit":0,"passed":0,"incomplete":0,"no_work":0,"not_reported":0,"other":0,"total":9,"source_aliases":["COMPSCI 703"]},{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","course_id":"COMPSCI 703","course_uid":"course_ecff5c2de6527b0350b0998a","term_id":"1202","term_name":"Fall 2019","instructors":["Loris D'Antoni"],"a":6,"ab":4,"b":1,"bc":0,"c":0,"d":0,"f":0,"satisfactory":0,"unsatisfactory":0,"credit":0,"no_credit":0,"passed":0,"incomplete":0,"no_work":0,"not_reported":0,"other":0,"total":11,"source_aliases":["COMPSCI 703"]},{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","course_id":"COMPSCI 703","course_uid":"course_ecff5c2de6527b0350b0998a","term_id":"1212","term_name":"Fall 2020","instructors":["Loris D'Antoni"],"a":12,"ab":4,"b":5,"bc":0,"c":0,"d":0,"f":0,"satisfactory":0,"unsatisfactory":0,"credit":0,"no_credit":0,"passed":0,"incomplete":0,"no_work":0,"not_reported":0,"other":0,"total":21,"source_aliases":["COMPSCI 703"]},{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","course_id":"COMPSCI 703","course_uid":"course_ecff5c2de6527b0350b0998a","term_id":"1232","term_name":"Fall 2022","instructors":["Loris D'Antoni"],"a":16,"ab":8,"b":1,"bc":0,"c":0,"d":0,"f":0,"satisfactory":0,"unsatisfactory":0,"credit":0,"no_credit":0,"passed":0,"incomplete":0,"no_work":0,"not_reported":0,"other":0,"total":25,"source_aliases":["COMPSCI 703"]},{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","course_id":"COMPSCI 703","course_uid":"course_ecff5c2de6527b0350b0998a","term_id":"1242","term_name":"Fall 2023","instructors":["Thomas Reps"],"a":22,"ab":2,"b":1,"bc":0,"c":0,"d":0,"f":0,"satisfactory":0,"unsatisfactory":0,"credit":0,"no_credit":0,"passed":0,"incomplete":0,"no_work":0,"not_reported":0,"other":0,"total":25,"source_aliases":["COMPSCI 703"]},{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","course_id":"COMPSCI 703","course_uid":"course_ecff5c2de6527b0350b0998a","term_id":"1254","term_name":"Spring 2025","instructors":["Adithya Murali"],"a":6,"ab":5,"b":0,"bc":0,"c":0,"d":0,"f":0,"satisfactory":0,"unsatisfactory":0,"credit":0,"no_credit":0,"passed":0,"incomplete":1,"no_work":0,"not_reported":0,"other":0,"total":12,"source_aliases":["COMPSCI 703"]}],"statistics":{"gpa":3.75,"graded":140,"counts":[85,42,12,0,1,0,0]},"grade_conflicts":[],"evidence":{"history":["/data/e243353dcb7d79b7247ced91d69443ef4c2a6349/history/course_ecff5c2de6527b0350b0998a-0.json"],"traces":["/data/e243353dcb7d79b7247ced91d69443ef4c2a6349/traces/course_ecff5c2de6527b0350b0998a-0.json"],"results":["/data/e243353dcb7d79b7247ced91d69443ef4c2a6349/results/course_ecff5c2de6527b0350b0998a-0.json"]},"revision":"e243353dcb7d79b7247ced91d69443ef4c2a6349"},"context":{"all":{"term":"","gpa":3.75,"count":140,"university":{"size":3841,"gpaPercentile":55,"countPercentile":56,"medianCount":116,"histogram":[{"range":"0.0–0.4","count":0,"current":false},{"range":"0.4–0.8","count":0,"current":false},{"range":"0.8–1.2","count":0,"current":false},{"range":"1.2–1.6","count":0,"current":false},{"range":"1.6–2.0","count":0,"current":false},{"range":"2.0–2.4","count":1,"current":false},{"range":"2.4–2.8","count":13,"current":false},{"range":"2.8–3.2","count":318,"current":false},{"range":"3.2–3.6","count":1103,"current":false},{"range":"3.6–4.0","count":2406,"current":true}]},"departments":[{"subject":"COMPSCI","comparison":{"size":95,"gpaPercentile":63,"countPercentile":37,"medianCount":264,"histogram":[{"range":"0.0–0.4","count":0,"current":false},{"range":"0.4–0.8","count":0,"current":false},{"range":"0.8–1.2","count":0,"current":false},{"range":"1.2–1.6","count":0,"current":false},{"range":"1.6–2.0","count":0,"current":false},{"range":"2.0–2.4","count":0,"current":false},{"range":"2.4–2.8","count":0,"current":false},{"range":"2.8–3.2","count":15,"current":false},{"range":"3.2–3.6","count":31,"current":false},{"range":"3.6–4.0","count":49,"current":true}]}}]},"terms":{"1162":{"term":"1162","gpa":3.727272727272727,"count":11,"university":null,"departments":[{"subject":"COMPSCI","comparison":null}]},"1174":{"term":"1174","gpa":3.7333333333333334,"count":15,"university":null,"departments":[{"subject":"COMPSCI","comparison":null}]},"1182":{"term":"1182","gpa":3.5,"count":13,"university":null,"departments":[{"subject":"COMPSCI","comparison":null}]},"1192":{"term":"1192","gpa":3.75,"count":8,"university":null,"departments":[{"subject":"COMPSCI","comparison":null}]},"1202":{"term":"1202","gpa":3.727272727272727,"count":11,"university":null,"departments":[{"subject":"COMPSCI","comparison":null}]},"1212":{"term":"1212","gpa":3.6666666666666665,"count":21,"university":null,"departments":[{"subject":"COMPSCI","comparison":null}]},"1232":{"term":"1232","gpa":3.8,"count":25,"university":null,"departments":[{"subject":"COMPSCI","comparison":null}]},"1242":{"term":"1242","gpa":3.92,"count":25,"university":null,"departments":[{"subject":"COMPSCI","comparison":null}]},"1254":{"term":"1254","gpa":3.772727272727273,"count":11,"university":null,"departments":[{"subject":"COMPSCI","comparison":null}]}},"benchmarks":{"all":{"school":{"size":3841,"gpa":3.6524254873389905,"topShare":81.47933218148603,"count":116},"COMPSCI":{"size":95,"gpa":3.5698060762647956,"topShare":76.82408607098498,"count":264}},"terms":{"1162":{"school":{"size":954,"gpa":3.43726781345039,"topShare":68.05645304987395,"count":64.5},"COMPSCI":{"size":35,"gpa":3.3323013900568625,"topShare":63.38685451839816,"count":56}},"1174":{"school":{"size":955,"gpa":3.4597947384071412,"topShare":69.5290038366363,"count":69},"COMPSCI":{"size":30,"gpa":3.3383019285046376,"topShare":63.22952984555728,"count":108}},"1182":{"school":{"size":1025,"gpa":3.474159360325319,"topShare":70.34861441764347,"count":69},"COMPSCI":{"size":36,"gpa":3.352907303323745,"topShare":63.88103454195665,"count":90.5}},"1192":{"school":{"size":1077,"gpa":3.50327634323125,"topShare":72.44641925727845,"count":67},"COMPSCI":{"size":38,"gpa":3.3453717241366854,"topShare":64.2917310505246,"count":95.5}},"1202":{"school":{"size":1102,"gpa":3.5102605987403313,"topShare":72.78244569053733,"count":68},"COMPSCI":{"size":41,"gpa":3.3598624373657553,"topShare":65.26544910639922,"count":91}},"1212":{"school":{"size":1111,"gpa":3.5856416028074487,"topShare":77.58926748660845,"count":68},"COMPSCI":{"size":42,"gpa":3.450396020252364,"topShare":69.90950224603134,"count":96}},"1232":{"school":{"size":1216,"gpa":3.575457431972425,"topShare":77.33712216234007,"count":66},"COMPSCI":{"size":50,"gpa":3.522872390836507,"topShare":74.11555010870671,"count":82.5}},"1242":{"school":{"size":1295,"gpa":3.595302892737449,"topShare":78.36291889885307,"count":67},"COMPSCI":{"size":52,"gpa":3.5206188715369935,"topShare":74.2043106737207,"count":99}},"1254":{"school":{"size":1289,"gpa":3.6126423469389106,"topShare":79.48050408754871,"count":66},"COMPSCI":{"size":52,"gpa":3.482652727664103,"topShare":71.33786483648515,"count":105}}}}},"instructorTrends":[{"uid":"instructor_f8dfbc35e41f372958ca1664","name":"LORIS D'ANTONI","count":89,"terms":[{"term":"1162","count":11,"sections":1,"gpa":3.727272727272727},{"term":"1182","count":13,"sections":1,"gpa":3.5},{"term":"1192","count":8,"sections":1,"gpa":3.75},{"term":"1202","count":11,"sections":1,"gpa":3.727272727272727},{"term":"1212","count":21,"sections":1,"gpa":3.6666666666666665},{"term":"1232","count":25,"sections":1,"gpa":3.8}]},{"uid":"instructor_9c60f18bb44c3310da056c29","name":"THOMAS REPS","count":25,"terms":[{"term":"1242","count":25,"sections":1,"gpa":3.92}]},{"uid":"instructor_bf4a81f6aa7c91dfe31d8633","name":"SOMESH JHA","count":15,"terms":[{"term":"1174","count":15,"sections":1,"gpa":3.7333333333333334}]},{"uid":"instructor_ff3ec31f568eb5f5950720d5","name":"ADITHYA MURALI","count":11,"terms":[{"term":"1254","count":11,"sections":1,"gpa":3.772727272727273}]}],"following":[],"projection":null}}