Elena Sherman, 2nd year PhD student

Email : esherman -at- cse.unl.edu
Office : Avery 104D - part of ESQuaReD lab.
Adviser: Dr. Dwyer
Research interests: Program analysis, formal methods, software testing.
Cool tools: Soot - Java™ optimization framework
JPF - Java™ Pathfinder 
 _____________
(  return to  ) 
( CSE || UNL  )
 ------------- 
       O 
        O   ^__^
         o  (oo)_______
            (__)       )\/\
                ||----w |
                ||     ||