# SCS Undergraduate Thesis Topics

Name | Academic Advisor | Thesis Topic |
---|---|---|

Gregory Price | Frank Pfenning | Toward Efficient Proof Search for Linear Logic |

Name | Academic Advisor | Thesis Topic |
---|---|---|

Gregory Price | Frank Pfenning | Toward Efficient Proof Search for Linear Logic |