Mario Román

Search

Search IconIcon to open search

mario-circle

I am currently a PhD student at Tallinn University of Technology under the supervision of Paweł Sobociński; my main interests being category theory and functional programming . I have studied lenses in functional programming and developed a theory of incomplete string diagrams that allows us to reason with many constructions in applied category theory in a formal and purely diagrammatic way.

# Publications

# Preprints

# Talks

See also: News, Note Index.