Andrés Ezequiel Viso

I hold a PhD in Computer Science with a specialization in semantics for functional programming languages from {UBA}. Following my doctoral studies, I conducted postdoctoral research at {INR}, France, contributing to the {SWH} project by developing the provenance index for the Software Heritage Archive.

My expertise spans a spectrum from theoretical Computer Science to practical applications, with a particular focus on Computer Vision and Artificial Intelligence. Over the past 15 years, I've actively contributed to various industry projects, predominantly leveraging GPU technology for real-time audio/video processing integrated with AI and CV methodologies.

As a co-founder of {GPUA}, I served as the Product Manager for the core technology for nearly 8 years. Additionally, I co-founded {INDS} and {ELEQ}, both dedicated to merging technology and innovation to create novel industry solutions.

I am also a member of the {LRL} research team at {UNQ}.

Beyond my professional pursuits, I indulge in my passion for music as a part-time musician, primarily playing bass guitar and other instruments across different bands, though I identify primarily as a guitarist. Intrigued? Feel free to explore my musical endeavors: {KLN}, {FDM}.

Journals

{EAB}, {DK}, and {AEV}. A Strong Bisimulation for a Classical Term Calculus.
Logical Methods in Computer Science. 20(2), 2024. [ Paper – BibTeX ]

@article{BonelliKV24,
  author    = {Eduardo Bonelli and
               Delia Kesner and
               Andr{\'{e}}s Viso},
  title     = {A Strong Bisimulation for a Classical Term Calculus},
  journal   = {Log. Methods Comput. Sci.},
  volume    = {20},
  number    = {2},
  year      = {2024},
  url       = {https://doi.org/10.46298/lmcs-20(2:4)2024},
  doi       = {10.46298/LMCS-20(2:4)2024}
}

{AB}, {DK}, {ANR}, and {AEV}. The Bang Calculus Revisited.
Information and Computation. 293: 105047, 2023. [ Paper – BibTeX ]

@article{BucciarelliKRV23,
  author    = {Antonio Bucciarelli and
               Delia Kesner and
               Alejandro R{\'{\i}}os and
               Andr{\'{e}}s Viso},
  title     = {The Bang Calculus Revisited},
  journal   = {Inf. Comput.},
  volume    = {293},
  pages     = {105047},
  year      = {2023},
  url       = {https://doi.org/10.1016/j.ic.2023.105047},
  doi       = {10.1016/J.IC.2023.105047}
}

{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, February 14-19, 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 Semantic Frameworks with Applications (LSFA), Online, September 15, 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 \emph{{\`{a}} la} de Bruijn},
  booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
               Frameworks with Applications, {LSFA} 2020, Online, September 15, 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, September 14-16, 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, January 13-16, 2020. [ Paper – Report – BibTeX ]

@inproceedings{BonelliKV20,
  author    = {Eduardo Bonelli 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, April 14-20, 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, May 18-21, 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 Workshop on Logical and Semantic Frameworks, with Applications (LSFA), Natal, Brazil, August 31 - September 1, 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}.