Skip to main content

Contact

Office Location

440 Huntington Avenue
306 West Village H
Boston, MA 02115

Biography

Benjamin Chung is a PhD student in the Programming Languages program at Northeastern University’s College of Computer and Information Science, advised by Professor Jan Vitek. Other than programming languages, Benjamin’s other research area includes software engineering, and he is in the Northeastern Programming Research Laboratory (nuPRL), located in 308 West Village H.

A resident of Denver, Benjamin spent his undergraduate studies at Carnegie Mellon University where he earned his Bachelor in Science degree. Benjamin hopes to have a future that continues in academia, or an industrial research laboratory, following the successful completion of his PhD program.

Education

  • BS, Carnegie Mellon University

About Me

  • Hometown: Denver, Colorado
  • Field of Study: Programming Languages
  • PhD Advisor: Jan Vitek

What are the specifics of your graduate education (thus far)?

So far, I have been focused on evaluating existing work in my research area, and I have been creating a systematic comparison of that existing body of information.

What are your research interests?

At the moment, I am mainly interested in gradual typing, as it provides a bridge between the requirements of easy and quick coding using untyped code and more structured but slower coding using typed code.

What’s one problem you’d like to solve with your research/work?

Dynamic programming languages commonly use “cut-outs” to compiled languages to enable high performance. I would like to allow programmers working in untyped languages to be able to write fast, typed, code within their language that provides similar performance to the compiled equivalent.

What aspect of what you do is most interesting?

I am interested in bridging the gap between academic gradual typing ideas and practical gradual typing systems, which generally trade off soundness for performance. Doing this is quite tricky in many respects, involving aspects of formal verification in addition to the type systems you might expect.

What are your research or career goals, going forward?

I want to continue in academia or go to an industrial research lab after I finish my PhD.