Isaac H. Lopez Diaz

Contact info

• e-mail- isaac.lopez@upr.edu
• LinkedIn- https://www.linkedin.com/in/ihlopez25/

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 pickleball, and the beach.

Research Goals

• Contribute to Programming Languages
• Understand and combine dataflow semantics with functional and/or imperative semantics
• Understand Algebraic Effects
• Build a functional programming language with bioinformatics primitives

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

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

• Finished evaluator for basic PL needs
• Added simple bioinformatics (DNA, RNA types, and transcribe and reverse_complement functions)