Current instructor

Adithya Murali

What students say

Original student reviews · all captured dates

No unambiguous review-profile match is available.

Personal experiences, not a representative survey. Profile matching and captured coverage are shown in the source details.

Classes with Adithya Murali

COMPSCI 681

Senior Honors Thesis

3 credits

Senior Honors Thesis is an individual study for seniors completing theses for honors in the Computer Sciences major, arranged with a faculty member.

Offering recorded · Spring 2027 · Sources

Fred SalaMing Liu+20 more

No recorded grade history

COMPSCI 703

Program Verification and Synthesis

3 credits

Formal methods for program verification covering model-checking, temporal logics, automata connections, and special topics like program synthesis and privacy property verification.

Offering recorded · Spring 2027 · Sources

Recent recorded grades — Spring 2025: 3.77 GPA, 100.0% A/AB (n=11 letter grades).

Adithya Murali

historical GPA · grades

Fall 2022–Spring 2025 · limited sample
COMPSCI 899

Pre-dissertator Research

1–9 credits

Pre-dissertator independent research supervised by a faculty member for students who have completed a master's degree but have not reached dissertator status.

Offering recorded · Spring 2027 · Sources

Fred SalaSong Gao+63 more

No recorded grade history

Recorded teaching history

Distinct courses recorded per term

Explore courses taught by this instructor →
Browse recorded courses
TermCourseTitle
Spring 2027COMPSCI 681Senior Honors Thesis
Spring 2027COMPSCI 703Program Verification and Synthesis
Spring 2027COMPSCI 799Master's Research
Spring 2027COMPSCI 899Pre-dissertator Research
Fall 2026COMPSCI 538Introduction to the Theory and Design of Programming Languages
Fall 2026COMPSCI 682Senior Honors Thesis
Fall 2026COMPSCI 799Master's Research
Fall 2026COMPSCI 899Pre-dissertator Research

Teaching history may be incomplete. Course pages contain course-specific feedback and citations.

Instructor identity & provenance 
{
  "instructor_uid": "instructor_1f76910c57da4dfc0d426595",
  "source": "enrollment",
  "source_instructor_id": "amurali9",
  "identity_basis": "netid",
  "identity_status": "source_identified",
  "name": "Adithya Murali",
  "email": "ADITHYAMURALI@CS.WISC.EDU",
  "first_observed_at": "2026-09-07 15:55:43.033547+00:00",
  "last_observed_at": "2026-10-14 17:50:09.728220+00:00",
  "current": true,
  "courses": [
    {
      "course_uid": "course_059395ab1bb5e9c017244fe2",
      "course_id": "COMPSCI 899",
      "title": "PRE-DISSERTATOR RESEARCH",
      "credits_min": 1,
      "credits_max": 9,
      "gpa": null
    },
    {
      "course_uid": "course_9430df00f7270c292c1efdd3",
      "course_id": "COMPSCI 799",
      "title": "MASTER'S RESEARCH",
      "credits_min": 1,
      "credits_max": 9,
      "gpa": null
    },
    {
      "course_uid": "course_a495c0d9f6ed226e1fc144ee",
      "course_id": "COMPSCI 681",
      "title": "SENIOR HONORS THESIS",
      "credits_min": 3,
      "credits_max": 3,
      "gpa": null
    },
    {
      "course_uid": "course_ecff5c2de6527b0350b0998a",
      "course_id": "COMPSCI 703",
      "title": "PROGRAM VERIFICATION AND SYNTHESIS",
      "credits_min": 3,
      "credits_max": 3,
      "gpa": 3.75
    }
  ],
  "revision": "fc1811fa52e581ea57a35c0cf3343f8740a8ffbf",
  "instructor_url": "/instructors/ADITHYA_MURALI"
}