Difference between revisions of "Micky Abir"
From FSL
| Line 8: | Line 8: | ||
{{Header | Research Interests}} | {{Header | Research Interests}} | ||
| − | + | Verification, Logic, Programming Languages | |
{{Header | Short Biogarphy}} | {{Header | Short Biogarphy}} | ||
Latest revision as of 02:11, 16 October 2019
|
|
| Research Interests |
|---|
Verification, Logic, Programming Languages
| Short Biogarphy |
|---|
- 2018 to present - MS in Computer Science. University of Illinois at Urbana-Champaign
- Summer 2017 - Software Engineering Intern. Uber
- Summer 2016 - System Support Engineering Intern. U.S. Cellular
- 2014 to 2018 - BS in Computer Engineering. University of Illinois, Urbana-Champaign
| Teaching |
|---|
- Fall 2018 - Teaching assistant for CS440. University of Illinois, Urbana-Champaign
- 2016 to 2017 - Course Assistant for ECE391. University of Illinois, Urbana-Champaign
- 2016 to 2017 - Engineering Learning Assistant Lead for ENG100/ECE. University of Illinois, Urbana-Champaign
| Interesting Facts |
|---|
- I am a native Hebrew speaker and understand intermediate Japanese
- I love to cook, meal prep, brew beer, and make pickles
