conf.researchr.org / Yoshiki Takashima
![Yoshiki Takashima](https://conf.researchr.org/getProfileImage/yoshikitakashima/fd8f57b7-f306-4991-83ff-450e9003622b/small.jpg?1711512355000)
Registered user since Wed 10 Mar 2021
Name:Yoshiki Takashima
Country:United States
Affiliation:Carnegie Mellon University
Research interests:Program Synthesis, Verification
Contributions
Registered user since Wed 10 Mar 2021
Contributions