Vijay Chandru

1953

• Optimization methods for logical inference
• Protein folding on lattices