Akash Lal

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