Name:Dustin Juliano

Bio:

Dustin is an undergraduate student in computer science at Indiana University Indianapolis. He is passionate about the design and implementation of programming languages, along with formal methods, dependent type systems, and program synthesis. He is actively exploring the intersection of these fields with artificial intelligence as a way to create reliable AI systems.

Country:United States

Affiliation:Indiana University Indianapolis

Research interests:Programming Languages, Formal Methods, Formal Languages, Program Synthesis, Generative Programming, Discrete Mathematics, Discrete Optimization, Artificial Intelligence