Mujtaba Ali
|
| Office: |
A.V. Williams 4176 |
| Phone: |
301-405-2726 |
|
What I'm working on:
- Cyclone "stuff" (porting the Boa web server, benchmarking it, etc.)
- Static analyses to infer annotations (unique region annotations in Cyclone)
Other stuff I'm interested in:
- Static analyses to check safety properties
- Run-time code specialization/generation
Tools for Computer Science Powerpoint Presentations:
Official home of the CS Ninja:
|
Profile
- utility belt provides quick access to
vital algorithms
- JoltTM cola in right hand
- slicing through hard problems (P != NP)
- as depicted, from the lambda clan
Initials of CS Ninja title holders
- Fall 2002 - Spring 2003 : MS
- Fall 2003 - Spring 2004 : (vacant)
- Summer 2004 - Present : NH
|
Personal:
|
|