Posted on:30 Jun 2023
Lucas Pena
Java Programming, Python Programming, Logical reasoning, Statistics, Game theory, Haskell
Chicago, IL, USA | 1 Year 8 months
About Me
PhD in Computer Science, with a focus on formal methods and verification.
Education
| Degree | Institute | Years of Passing | Percentage |
|---|---|---|---|
| Degree in Computer Science | University of Pennsylvania | 2015 | 100 % |
| PhD Degree | University of Illinois at Urbana-Champaign | 2022 | 100 % |
| Degree in Mathematics | University of Pennsylvania | 2015 | 100 % |
Past Employer
| Experience | Employer Name | Designation | Location |
|---|---|---|---|
| 11 months | Tweag | Engineers | Paris, France |
| 3 months | Runtime Verification, Inc. | Engineers | Urbana, IL, USA |
| 3 months | Runtime Verification, Inc. | Engineers | Urbana, IL, USA |
| 3 months | Amazon | Engineers | Seattle, WA, USA |