Daniel Fridlender es Doctor en Ciencias de la Computación por Chalmers University of Technology/University of Gothenburg (Suecia).
Pagano se dedica a investigar la semántica de lenguajes de programación, en particular el uso de semántica denotacional como herramienta para estudiar la meta-teoría de sistemas de tipos dependientes.
Pagano se dedica a investigar la semántica de lenguajes de programación, en particular el uso de semántica denotacional como herramienta para estudiar la meta-teoría de sistemas de tipos dependientes.