Distinguished Lecture: The Quest for Average Response Time

Responsiveness -the requirement that every request to a system be
eventually handled- is one of the fundamental liveness properties of a
reactive system and lies at the heart of all methods for specifying
and verifying liveness. Average response time is a quantitative
measure for the responsiveness requirement used commonly in
performance evaluation. The static computation of average response
time has proved remarkably elusive even for finite-state models of
reactive systems. We present a robust formalism that allows the

Data Analyst


Company name: DXC Technology, Madison, WI.

Job title: Data Analyst, Healthcare Analytics Team, DXC Technology, Madison, WI.

Position: Contract to hire.

Open to both Undergraduate and Graduate students. Apply by sending your resume to: saddanki@dxc.com

DXC Technology Analytics Services team, located in Madison Wisconsin, has multiple openings ranging from entry-level, mid-career, and experienced Data Analysts to join the team.

MegaTGIF Quiz bowl

Are you a curious person? Do you like trivia and know random stuff about technology, movies, TV-series, games, books etc? If yes, this is the perfect place for you. Pit your knowledge against the best at MegaTGIF's Quiz Bowl and enjoy a fun evening of food, trivia, and good times. Undergraduates, graduates, faculty, and staff are all invited.

Software Development Intern


Software Development Intern

In Madison, WI, we are looking for Software Development Intern for the duration of 3-6 months working part-time (15-20h/week) to support our engineering team with various exciting tasks for the cloud product. We offer you the opportunity to become part of a team of pioneering designers of tools for multicore design.


Subscribe to UW-Madison Computer Sciences Department RSS