Asumu Takikawa
Asumu Takikawa is a PhD student in the Khoury College of Computer Sciences. Before joining Northeastern, he completed a BS at the University of British Columbia. With his colleagues in the PLT research group, he works on the Racket programming language with a focus on gradual type systems.
Education
- BS, University of British Columbia
About Asumu
- Hometown: Oregon
- Field of Study: Programming Languages
- PhD Advisor: Matthias Felleisen
What are the specifics of your graduate education (thus far)?
I am in the last year of my PhD program and getting close to defending my dissertation on gradual type systems.
What are your research interests?
I work on Typed Racket, a gradually-typed dialect of Racket. Recently I have been collaborating with a number of people in PRL on conducting performance evaluations of gradual typing.
What’s one problem you’d like to solve with your research/work?
My current goal is to enable developers to augment their dynamically-typed programs with type annotations that they can trust, and to minimize the performance costs of such annotations.
What aspect of what you do is most interesting?
Getting to learn deep technical ideas in programming languages while also being able to build real systems.
What are your research or career goals, going forward?
I plan to continue working on programming languages and free software.
Asumu Takikawa is a PhD student in the Khoury College of Computer Sciences. Before joining Northeastern, he completed a BS at the University of British Columbia. With his colleagues in the PLT research group, he works on the Racket programming language with a focus on gradual type systems.
Education
- BS, University of British Columbia
About Asumu
- Hometown: Oregon
- Field of Study: Programming Languages
- PhD Advisor: Matthias Felleisen
What are the specifics of your graduate education (thus far)?
I am in the last year of my PhD program and getting close to defending my dissertation on gradual type systems.
What are your research interests?
I work on Typed Racket, a gradually-typed dialect of Racket. Recently I have been collaborating with a number of people in PRL on conducting performance evaluations of gradual typing.
What’s one problem you’d like to solve with your research/work?
My current goal is to enable developers to augment their dynamically-typed programs with type annotations that they can trust, and to minimize the performance costs of such annotations.
What aspect of what you do is most interesting?
Getting to learn deep technical ideas in programming languages while also being able to build real systems.
What are your research or career goals, going forward?
I plan to continue working on programming languages and free software.