UW-Madison
Computer Sciences Dept.

Akash Lal

Picture of Akash

Spring 2007

  •    Math 742: Abstract Algebra II
  •    RA under Tom Reps

Fall 2006

  •    Math 741: Abstract Algebra I
  •    RA under Tom Reps

Spring 2006

  •    Finance 700: Introduction to Financial Management
  •    RA under Tom Reps

Fall 2005

  •    CS706: Analysis of Software Artifacts
  •    MATH 770: Foundations of Mathematics (Introduction to Logic)
  •    RA under Tom Reps

Spring 2005

  •     CS703: Graduate Seminar on Software Quality
  •     CS736: Advanced Operating Systems
  •     RA under Tom Reps

Fall 2004

  •     CS764: Topics in Database Management Systems
  •     CS810: Models and Formalisms of Computation
  •     RA under Tom Reps: Model Checking using weighted pushdown systems
  •     Study under Dieter: Study of complexity theory and the graph isomorphism problem

Spring 2004

  •     CS704: Principles of Programming Languages
  •     Research under Tom Reps: Analysis of x86 code to find semantic no-ops
  •     Study under Dieter: Study of complexity theory and the graph isomorphism problem
  •     ACM-ICPC: Preparation for the world finals in March 2004
  •     TA for CS538: Introduction to Programming Languages

Fall 2003

  •     CS787: Advanced Algorithms and Data Structures
  •     CS701: Programming Languages and Compilers
  •     Research under Tom Reps: Implementation of summarizing numeric domains
  •     TA (Lab Consultant) for CS302: Introduction to Programming

 
Computer Sciences | UW Home