Andrés Ezequiel Viso

I studied Computer Science at the University of Buenos Aires and received my PhD on semantics for functional programming languages. I did a posdoc at Inria, France, in the context of the Software Heritage project, developing the provenance index for the {SWH} Archive.

My interest vary from theoretical aspects of Computer Science to more practical solutions involving Computer Vision and Artificial Intelligence. Aside of my academical research activity, I've been working on the industry developing software for the past decade. Most of these project involved using GP/GPU technology for real-time audio/video processing combined with AI and CV techniques.

I'm a member of the {LRL} research team at {UNQ}.

I'm also a part time musician, playing bass guitar and other instruments in different bands, although I consider myself mainly a guitar player. Got your attention?... Help yourself: {KLN}, {FDM}.

Journals

{MAR}, {EAB}, {JIE}, and {AEV}. Typed Path Polymorphism.
Theoretical Computer Science. 781: 111-130, 2019. [ Paper – BibTeX ]

@article{Ayala-RinconBEV19,
  author    = {Mauricio Ayala{-}Rinc{\'{o}}n and
               Eduardo Bonelli and
               Juan Edi and
               Andr{\'{e}}s Viso},
  title     = {Typed path polymorphism},
  journal   = {Theor. Comput. Sci.},
  volume    = {781},
  pages     = {111--130},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.tcs.2019.02.018},
  doi       = {10.1016/j.tcs.2019.02.018}
}

Conferences

{DK}, and {AEV}. Encoding Tight Typing in a Unified Framework.
Proceedings of 30th EACSL Annual Conference on Computer Science Logic (CSL), Göttingen, Germany, 14-19 February, 2022. [ Paper – Report – BibTeX ]

@inproceedings{KesnerV22,
  author    = {Delia Kesner and
               Andr{\'{e}}s Viso},
  editor    = {Florin Manea and
               Alex Simpson},
  title     = {Encoding Tight Typing in a Unified Framework},
  booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
               February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
  series    = {LIPIcs},
  volume    = {216},
  pages     = {27:1--27:20},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2022},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2022.27},
  doi       = {10.4230/LIPIcs.CSL.2022.27}
}

{AM}, {ANR}, and {AEV}. Pure Pattern Calculus à la de Bruijn.
Proceedings of 15th International Workshop on Logical and Sematic Frameworks, with Applications (LSFA), Salvador, BA, Brazil, 27-28 August, 2020. [ Paper – Report – BibTeX ]

@inproceedings{MartinRV20,
  author    = {Alexis Mart{\'{\i}}n and
               Alejandro R{\'{\i}}os and
               Andr{\'{e}}s Viso},
  editor    = {Cl{\'{a}}udia Nalon and
               Giselle Reis},
  title     = {Pure Pattern Calculus {\`{a}} la de Bruijn},
  booktitle = {Proceedings of the 15th Workshop on Logical and Semantic Frameworks,
               with Applications, {LSFA} 2020, Salvador, Brazil, August 27-28, 2020},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {351},
  pages     = {95--113},
  publisher = {Elsevier},
  year      = {2020},
  url       = {https://doi.org/10.1016/j.entcs.2020.08.006},
  doi       = {10.1016/j.entcs.2020.08.006}
}

{AB}, {DK}, {ANR}, and {AEV}. The Bang Calculus Revisited.
Proceedings of 15th International Symposium on Functional and Logic Programming (FLOPS), Akita, Japan, 14-16 September, 2020. [ Paper – Report – BibTeX ]

@inproceedings{BucciarelliKRV20,
  author    = {Antonio Bucciarelli and
               Delia Kesner and
               Alejandro R{\'{\i}}os and
               Andr{\'{e}}s Viso},
  editor    = {Keisuke Nakano and
               Konstantinos Sagonas},
  title     = {The Bang Calculus Revisited},
  booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
               2020, Akita, Japan, September 14-16, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12073},
  pages     = {13--32},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-59025-3\_2},
  doi       = {10.1007/978-3-030-59025-3\_2}
}

{EAB}, {DK}, and {AEV}. Strong Bisimulation for Control Operators.
Proceedings of 28th EACSL International Conference on Computer Science and Logic (CSL), Barcelona, Spain, 13-16 January, 2020. [ Paper – Report – BibTeX ]

@inproceedings{BonelliKV20,
  author    = {Eduardo and
               Delia Kesner and
               Andr{\'{e}}s Viso},
  editor    = {Maribel Fern{\'{a}}ndez and
               Anca Muscholl},
  title     = {Strong Bisimulation for Control Operators},
  booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020,
               January 13-16, 2020, Barcelona, Spain},
  series    = {LIPIcs},
  volume    = {152},
  pages     = {4:1--4:23},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2020},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2020.4},
  doi       = {10.4230/LIPIcs.CSL.2020.4}
}

{DK}, {ANR}, and {AEV}. Call-by-Need, Neededness and All That.
Proceedings of 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Thessaloniki, Greece, 14-20 April, 2018. [ Paper – Report – BibTeX ]

@inproceedings{KesnerRV18,
  author    = {Delia Kesner and
               Alejandro R{\'{\i}}os and
               Andr{\'{e}}s Viso},
  editor    = {Christel Baier and
               Ugo Dal Lago},
  title     = {Call-by-Need, Neededness and All That},
  booktitle = {Foundations of Software Science and Computation Structures - 21st
               International Conference, {FOSSACS} 2018, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
               Thessaloniki, Greece, April 14-20, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10803},
  pages     = {241--257},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89366-2\_13},
  doi       = {10.1007/978-3-319-89366-2\_13}
}

{EAB}, {JIE}, and {AEV}. Efficient Type Checking for Path Polymorphism.
Post-proceedings of 21st International Conference on Types for Proofs and Programs (TYPES), Tallinn, Estonia, 18-21 May, 2015. [ Paper – Report – BibTeX ]

@inproceedings{BonelliEV15,
  author    = {Eduardo Bonelli and
               Juan Edi and
               Andr{\'{e}}s Viso},
  editor    = {Tarmo Uustalu},
  title     = {Efficient Type Checking for Path Polymorphism},
  booktitle = {21st International Conference on Types for Proofs and Programs, {TYPES}
               2015, May 18-21, 2015, Tallinn, Estonia},
  series    = {LIPIcs},
  volume    = {69},
  pages     = {6:1--6:23},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2015},
  url       = {https://doi.org/10.4230/LIPIcs.TYPES.2015.6},
  doi       = {10.4230/LIPIcs.TYPES.2015.6}
}

{MAR}, {EAB}, and {AEV}. Type Soundness for Path Polymorphism.
Proceedings of 10th International Workshop on Logical and Sematic Frameworks, with Applications (LSFA), Natal, RN, Brazil, 31 August-1 September, 2015. [ Paper – Report – BibTeX ]

@inproceedings{Ayala-RinconBV15,
  author    = {Mauricio Ayala{-}Rinc{\'{o}}n and
               Eduardo Bonelli and
               Andr{\'{e}}s Viso},
  editor    = {Mario R. F. Benevides and
               Ren{\'{e}} Thiemann},
  title     = {Type Soundness for Path Polymorphism},
  booktitle = {Proceedings of the 10th Workshop on Logical and Semantic Frameworks,
               with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
               1, 2015},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {323},
  pages     = {235--251},
  publisher = {Elsevier},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.entcs.2016.06.015},
  doi       = {10.1016/j.entcs.2016.06.015}
}

Theses

PhD Thesis: {AEV}. Un estudio semántico sobre extensiones avanzadas del λ-cálculo: patrones y operadores de control.
Advisors: {EAB} and {DK}. {DC}, {FCEN}, {UBA}, Argentina. 22 July, 2020. [ Thesis – BibTeX ]

@phdthesis{Viso20,
  author    = {Andr{\'{e}}s Viso}, 
  title     = {Un estudio sem{\'{a}}ntico sobre extensiones avanzadas del
               $\lambda$-c{\'{a}}lculo: patrones y operadores de control},
  school    = {Universidad de Buenos Aires},
  year      = {2020},
  month     = {7}
}

Master's Thesis: {AEV}. Sistemas de tipos para λ-cálculo y Lógica Combinatoria.
Advisor: {AA}. {DC}, {FCEN}, {UBA}, Argentina. 23 February, 2010. [ Thesis – BibTeX ]

@mastersthesis{Viso10,
  author    = {Andr{\'{e}}s Viso}, 
  title     = {Sistemas de tipos para $\lambda$-c{\'{a}}lculo y L{\'{o}}gica
               Combinatoria},
  school    = {Universidad de Buenos Aires},
  year      = {2010},
  month     = {2}
}

2020

Lógica y Programacion. Licenciatura en Informática, {UNQ}.

2019

Lógica y Programacion. Licenciatura en Informática, {UNQ}.

2018

Lenguajes Formales y Autómatas. Licenciatura en Informática, {UNQ}.
Lógica y Programacion. Licenciatura en Informática, {UNQ}.

2017

Lenguajes Formales y Autómatas. Licenciatura en Informática, {UNQ}.
Lógica y Programacion. Licenciatura en Informática, {UNQ}.

2016

Lenguajes Formales y Autómatas. Licenciatura en Informática, {UNQ}.
Lógica y Programacion. Licenciatura en Informática, {UNQ}.

2015

Estructuras de Datos. Tecnicatura Universitaria en Programación Informática, {UNQ}.
Lógica y Programacion. Licenciatura en Informática, {UNQ}.

2014

Programación Funcional. Tecnicatura Universitaria en Programación Informática, {UNQ}.