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:10, 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