Isaac H. Lopez Diaz

Isaac H. Lopez Diaz

Contact info

Bio

My name is Isaac Hiram Lopez Diaz. I am a Master's student at Computer Science at UPRRP. Besides computer science and programming, I enjoy watching and playing soccer, and the beach.

Research Goals

  • Contribute to Programming Languages
  • Understand and combine dataflow semantics with functional and/or imperative semantics
  • Understand Homotopy Type Theory

Research Description

My research consists of implementing a reflective language that is able to reason about its procedural semantics and dataflow semantics.

Weekly UPDATES

Week 1: (2-6, 2, 2026)

  • Reading Evaluating Derivatives Principles and Techniques Algorithmic Differentiation and took notes
  • Reading Beautiful Differentiation and took notes

Week 2: (23-27, 2, 2026)

  • Started working on El MegaProble Language (MPL)
  • Made parser and evaluator