-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
425 lines (403 loc) · 23.1 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Andrés Ezequiel Viso</title>
<link rel="apple-touch-icon" sizes="57x57" href="images/apple-icon-57x57.png">
<link rel="apple-touch-icon" sizes="60x60" href="images/apple-icon-60x60.png">
<link rel="apple-touch-icon" sizes="72x72" href="images/apple-icon-72x72.png">
<link rel="apple-touch-icon" sizes="76x76" href="images/apple-icon-76x76.png">
<link rel="apple-touch-icon" sizes="114x114" href="images/apple-icon-114x114.png">
<link rel="apple-touch-icon" sizes="120x120" href="images/apple-icon-120x120.png">
<link rel="apple-touch-icon" sizes="144x144" href="images/apple-icon-144x144.png">
<link rel="apple-touch-icon" sizes="152x152" href="images/apple-icon-152x152.png">
<link rel="apple-touch-icon" sizes="180x180" href="images/apple-icon-180x180.png">
<link rel="icon" type="image/png" sizes="192x192" href="images/android-icon-192x192.png">
<link rel="icon" type="image/png" sizes="32x32" href="images/favicon-32x32.png">
<link rel="icon" type="image/png" sizes="96x96" href="images/favicon-96x96.png">
<link rel="icon" type="image/png" sizes="16x16" href="images/favicon-16x16.png">
<link rel="manifest" href="manifest.json">
<meta name="msapplication-TileColor" content="#ffffff">
<meta name="msapplication-TileImage" content="images/ms-icon-144x144.png">
<meta name="theme-color" content="#ffffff">
<meta name="author" content="Andrés Ezequiel Viso">
<meta name="description" content="Personal website">
<link rel="stylesheet" href="css/style.css">
<script language="javascript">
function show(id)
{
var elems = document.getElementsByClassName('content')
for (var i = 0; i < elems.length; ++i)
{
elems[i].classList.remove('visible')
}
document.getElementById(id).classList.add('visible')
return false
}
function resolve()
{
var authors = {
'{AA}' : '<a href="https://dblp.uni-trier.de/pers/hd/a/Arbiser:Ariel" target="_blank">A. Arbiser</a>',
'{AB}' : '<a href="https://www.irif.fr/~buccia/" target="_blank">A. Bucciarelli</a>',
'{AEV}' : 'A. Viso',
'{ANR}' : '<a href="https://dblp.uni-trier.de/pers/r/R=iacute=os:Alejandro.html" target="_blank">A. Ríos</a>',
'{AM}' : '<a href="https://dblp.uni-trier.de/pers/m/Mart=iacute=n:Alexis" target="_blank">A. Martín</a>',
'{EAB}' : '<a href="https://ebonelli.github.io/" target="_blank">E. Bonelli</a>',
'{DK}' : '<a href="https://www.irif.fr/~kesner/" target="_blank">D. Kesner</a>',
'{JIE}' : '<a href="https://dblp.uni-trier.de/pers/hd/e/Edi:Juan" target="_blank">J. Edi</a>',
'{MAR}' : '<a href="https://www.mat.unb.br/ayala/" target="_blank">M. Ayala-Rincón</a>'
}
var elems = document.getElementsByClassName('author')
for (var i = 0; i < elems.length; ++i)
{
elems[i].innerHTML = authors[elems[i].textContent]
}
var institutes = {
'{DC}' : '<a href="https://dc.uba.ar/" target="_blank">Departamento de Computación</a>',
'{ELEQ}' : '<a href="https://www.elequation.com/" target="_blank">Elequation LLC</a>',
'{FCEN}' : '<a href="https://exactas.uba.ar/" target="_blank">Facultad de Ciencias Exactas y Naturales</a>',
'{FDM}' : '<a href="https://furiademolvania.bandcamp.com/" target="_blank">Furia de Molvania</a>',
'{GPUA}' : '<a href="https://www.gpu.audio/" target="_blank">GPU Audio</a>',
'{INDS}' : '<a href="https://www.indos.com.ar/" target="_blank">Indoscience S.A.</a>',
'{INR}' : '<a href="https://inria.fr/" target="_blank">Inria</a>',
'{KLN}' : '<a href="https://klunoficial.bandcamp.com/" target="_blank">klun:</a>',
'{LRL}' : '<a href="https://lorel-team.github.io/" target="_blank">LoReL</a>',
'{SWH}' : '<a href="https://www.softwareheritage.org/" target="_blank">Software Heritage</a>',
'{UBA}' : '<a href="https://uba.ar/" target="_blank">Universidad de Buenos Aires</a>',
'{UNQ}' : '<a href="http://www.unq.edu.ar/" target="_blank">Universidad Nacional de Quilmes</a>'
}
var elems = document.getElementsByClassName('institute')
for (var i = 0; i < elems.length; ++i)
{
elems[i].innerHTML = institutes[elems[i].textContent]
}
}
function toggle(id)
{
document.getElementById(id).classList.toggle('visible')
return false
}
</script>
</head>
<body onload="resolve();">
<div id="body">
<div id="front-matter">
<img id="avatar" src="images/profile.jpg" alt="Avatar" />
<a href="https://www.indos.com.ar/" target="_blank"><img id="indos" src="images/Indoscience.png" alt="IndoScience SA" /></a>
<!-- <a href="https://www.softwareheritage.org/" target="_blank"><img id="swh" src="images/SWH.png" alt="SWH" /></a> -->
<!-- <a href="http://www.unq.edu.ar/" target="_blank"><img id="unq" src="images/UNQ.png" alt="UNQ" /></a> -->
<a href="https://www.elequation.com/" target="_blank"><img id="elequation" src="images/Elequation.png" alt="Elequation LLC" /></a>
</div>
<div id="main-matter"></div>
<h1>Andrés Ezequiel Viso</h1>
<div>CTO at <span class="institute">{INDS}</span> and <span class="institute">{ELEQ}</span>.</div>
<ul id="menu">
<li onclick="show('about');">About</li>
<li onclick="show('research');">Research</li>
<li onclick="show('teaching');">Teaching</li>
</ul>
<div id="about" class="content visible">
<p>I hold a PhD in Computer Science with a specialization in semantics for functional programming languages from <span class="institute">{UBA}</span>. Following my doctoral studies, I conducted postdoctoral research at <span class="institute">{INR}</span>, France, contributing to the <span class="institute">{SWH}</span> project by developing the provenance index for the Software Heritage Archive.</p>
</p>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.</p>
</p>As a co-founder of <span class="institute">{GPUA}</span>, I served as the Product Manager for the core technology for nearly 8 years. Additionally, I co-founded <span class="institute">{INDS}</span> and <span class="institute">{ELEQ}</span>, both dedicated to merging technology and innovation to create novel industry solutions.</p>
</p>I am also a member of the <span class="institute">{LRL}</span> research team at <span class="institute">{UNQ}</span>.</p>
</p>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: <span class="institute">{KLN}</span>, <span class="institute">{FDM}</span>.</p>
</div>
<div id="research" class="content">
<h2>Journals</h2>
<ul>
<li>
<span class="author">{EAB}</span>, <span class="author">{DK}</span>, and <span class="author">{AEV}</span>. <span class="title">A Strong Bisimulation for a Classical Term Calculus</span>.<br/>
<span class="journal">Logical Methods in Computer Science</span>. 20(2), 2024.
<span class="footnote">[ <a href="https://doi.org/10.46298/lmcs-20(2:4)2024" target="_blank">Paper</a> – <a href="javascript:toggle('bibtex-lmcs2024')">BibTeX</a> ]</span>
<pre id="bibtex-lmcs2024" class="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}
}</pre>
</li>
<li>
<span class="author">{AB}</span>, <span class="author">{DK}</span>, <span class="author">{ANR}</span>, and <span class="author">{AEV}</span>. <span class="title">The Bang Calculus Revisited</span>.<br/>
<span class="journal">Information and Computation</span>. 293: 105047, 2023.
<span class="footnote">[ <a href="https://doi.org/10.1016/j.ic.2023.105047" target="_blank">Paper</a> – <a href="javascript:toggle('bibtex-if2023')">BibTeX</a> ]</span>
<pre id="bibtex-if2023" class="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}
}</pre>
</li>
<li>
<span class="author">{MAR}</span>, <span class="author">{EAB}</span>, <span class="author">{JIE}</span>, and <span class="author">{AEV}</span>. <span class="title">Typed Path Polymorphism</span>.<br/>
<span class="journal">Theoretical Computer Science</span>. 781: 111-130, 2019.
<span class="footnote">[ <a href="https://doi.org/10.1016/j.tcs.2019.02.018" target="_blank">Paper</a> – <a href="javascript:toggle('bibtex-tcs2019')">BibTeX</a> ]</span>
<pre id="bibtex-tcs2019" class="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}
}</pre>
</li>
</ul>
<h2>Conferences</h2>
<ul>
<li>
<span class="author">{DK}</span>, and <span class="author">{AEV}</span>. <span class="title">Encoding Tight Typing in a Unified Framework</span>.<br/>
Proceedings of <span class="conference">30th EACSL Annual Conference on Computer Science Logic (CSL)</span>, Göttingen, Germany, February 14-19, 2022.
<span class="footnote">[ <a href="https://doi.org/10.4230/LIPIcs.CSL.2022.27" target="_blank">Paper</a> – <a href="https://arxiv.org/abs/2105.00564" target="_blank">Report</a> – <a href="javascript:toggle('bibtex-csl2022')">BibTeX</a> ]</span>
<pre id="bibtex-csl2022" class="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}
}</pre>
</li>
<li>
<span class="author">{AM}</span>, <span class="author">{ANR}</span>, and <span class="author">{AEV}</span>. <span class="title">Pure Pattern Calculus <em>à la</em> de Bruijn</span>.<br/>
Proceedings of <span class="conference">15th International Workshop on Logical and Semantic Frameworks with Applications (LSFA)</span>, Online, September 15, 2020.
<span class="footnote">[ <a href="https://doi.org/10.1016/j.entcs.2020.08.006" target="_blank">Paper</a> – <a href="https://arxiv.org/abs/2006.07674" target="_blank">Report</a> – <a href="javascript:toggle('bibtex-lsfa2020')">BibTeX</a> ]</span>
<pre id="bibtex-lsfa2020" class="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}
}</pre>
</li>
<li>
<span class="author">{AB}</span>, <span class="author">{DK}</span>, <span class="author">{ANR}</span>, and <span class="author">{AEV}</span>. <span class="title">The Bang Calculus Revisited</span>.<br/>
Proceedings of <span class="conference">15th International Symposium on Functional and Logic Programming (FLOPS)</span>, Akita, Japan, September 14-16, 2020.
<span class="footnote">[ <a href="https://doi.org/10.1007/978-3-030-59025-3_2" target="_blank">Paper</a> – <a href="https://arxiv.org/abs/2002.04011" target="_blank">Report</a> – <a href="javascript:toggle('bibtex-flops2020')">BibTeX</a> ]</span>
<pre id="bibtex-flops2020" class="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}
}</pre>
</li>
<li>
<span class="author">{EAB}</span>, <span class="author">{DK}</span>, and <span class="author">{AEV}</span>. <span class="title">Strong Bisimulation for Control Operators</span>.<br/>
Proceedings of <span class="conference">28th EACSL International Conference on Computer Science and Logic (CSL)</span>, Barcelona, Spain, January 13-16, 2020.
<span class="footnote">[ <a href="https://doi.org/10.4230/LIPIcs.CSL.2020.4" target="_blank">Paper</a> – <a href="https://arxiv.org/abs/1906.09370" target="_blank">Report</a> – <a href="javascript:toggle('bibtex-csl2020')">BibTeX</a> ]</span>
<pre id="bibtex-csl2020" class="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}
}</pre>
</li>
<li>
<span class="author">{DK}</span>, <span class="author">{ANR}</span>, and <span class="author">{AEV}</span>. <span class="title">Call-by-Need, Neededness and All That</span>.<br/>
Proceedings of <span class="conference">21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)</span>, Thessaloniki, Greece, April 14-20, 2018.
<span class="footnote">[ <a href="https://doi.org/10.1007/978-3-319-89366-2_13" target="_blank">Paper</a> – <a href="https://arxiv.org/abs/1801.10519" target="_blank">Report</a> – <a href="javascript:toggle('bibtex-fossacs2018')">BibTeX</a> ]</span>
<pre id="bibtex-fossacs2018" class="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}
}</pre>
</li>
<li>
<span class="author">{EAB}</span>, <span class="author">{JIE}</span>, and <span class="author">{AEV}</span>. <span class="title">Efficient Type Checking for Path Polymorphism</span>.<br/>
Post-proceedings of <span class="conference">21st International Conference on Types for Proofs and Programs (TYPES)</span>, Tallinn, Estonia, May 18-21, 2015.
<span class="footnote">[ <a href="https://doi.org/10.4230/LIPIcs.TYPES.2015.6" target="_blank">Paper</a> – <a href="https://arxiv.org/abs/1704.09026" target="_blank">Report</a> – <a href="javascript:toggle('bibtex-types2015')">BibTeX</a> ]</span>
<pre id="bibtex-types2015" class="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}
}</pre>
</li>
<li>
<span class="author">{MAR}</span>, <span class="author">{EAB}</span>, and <span class="author">{AEV}</span>. <span class="title">Type Soundness for Path Polymorphism</span>.<br/>
Proceedings of <span class="conference">10th Workshop on Logical and Semantic Frameworks, with Applications (LSFA)</span>, Natal, Brazil, August 31 - September 1, 2015.
<span class="footnote">[ <a href="https://doi.org/10.1016/j.entcs.2016.06.015" target="_blank">Paper</a> – <a href="https://arxiv.org/abs/1601.03271" target="_blank">Report</a> – <a href="javascript:toggle('bibtex-lsfa2015')">BibTeX</a> ]</span>
<pre id="bibtex-lsfa2015" class="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}
}</pre>
</li>
</ul>
<h2>Theses</h2>
<ul>
<li>
PhD Thesis: <span class="author">{AEV}</span>. <span class="title">Un estudio semántico sobre extensiones avanzadas del λ-cálculo: patrones y operadores de control</span>.<br/>
Advisors: <span class="author">{EAB}</span> and <span class="author">{DK}</span>. <span class="institute">{DC}</span>, <span class="institute">{FCEN}</span>, <span class="institute">{UBA}</span>, Argentina. 22 July, 2020.
<span class="footnote">[ <a href="docs/Thesis-PhD.pdf" target="_blank">Thesis</a> – <a href="javascript:toggle('bibtex-thesis2020')">BibTeX</a> ]</span>
<pre id="bibtex-thesis2020" class="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}
}</pre>
</li>
<li>
Master's Thesis: <span class="author">{AEV}</span>. <span class="title">Sistemas de tipos para λ-cálculo y Lógica Combinatoria</span>.<br/>
Advisor: <span class="author">{AA}</span>. <span class="institute">{DC}</span>, <span class="institute">{FCEN}</span>, <span class="institute">{UBA}</span>, Argentina. 23 February, 2010.
<span class="footnote">[ <a href="docs/Thesis-MSc.pdf" target="_blank">Thesis</a> – <a href="javascript:toggle('bibtex-thesis2010')">BibTeX</a> ]</span>
<pre id="bibtex-thesis2010" class="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}
}</pre>
</li>
</ul>
</div>
<div id="teaching" class="content">
<h2>2020</h2>
<ul>
<li><span class="title">Lógica y Programacion</span>. Licenciatura en Informática, <span class="institute">{UNQ}</span>.</li>
</ul>
<h2>2019</h2>
<ul>
<li><span class="title">Lógica y Programacion</span>. Licenciatura en Informática, <span class="institute">{UNQ}</span>.</li>
</ul>
<h2>2018</h2>
<ul>
<li><span class="title">Lenguajes Formales y Autómatas</span>. Licenciatura en Informática, <span class="institute">{UNQ}</span>.</li>
<li><span class="title">Lógica y Programacion</span>. Licenciatura en Informática, <span class="institute">{UNQ}</span>.</li>
</ul>
<h2>2017</h2>
<ul>
<li><span class="title">Lenguajes Formales y Autómatas</span>. Licenciatura en Informática, <span class="institute">{UNQ}</span>.</li>
<li><span class="title">Lógica y Programacion</span>. Licenciatura en Informática, <span class="institute">{UNQ}</span>.</li>
</ul>
<h2>2016</h2>
<ul>
<li><span class="title">Lenguajes Formales y Autómatas</span>. Licenciatura en Informática, <span class="institute">{UNQ}</span>.</li>
<li><span class="title">Lógica y Programacion</span>. Licenciatura en Informática, <span class="institute">{UNQ}</span>.</li>
</ul>
<h2>2015</h2>
<ul>
<li><span class="title">Estructuras de Datos</span>. Tecnicatura Universitaria en Programación Informática, <span class="institute">{UNQ}</span>.</li>
<li><span class="title">Lógica y Programacion</span>. Licenciatura en Informática, <span class="institute">{UNQ}</span>.</li>
</ul>
<h2>2014</h2>
<ul>
<li><span class="title">Programación Funcional</span>. Tecnicatura Universitaria en Programación Informática, <span class="institute">{UNQ}</span>.</li>
</ul>
</div>
<div id="back-matter">
<!--<script type="text/javascript" src="https://cdnjs.buymeacoffee.com/1.0.0/button.prod.min.js" data-name="bmc-button" data-slug="firuzz" data-color="#000000" data-emoji="" data-font="Cookie" data-text="Buy me a coffee" data-outline-color="#fff" data-font-color="#fff" data-coffee-color="#fd0" ></script>-->
</div>
</div>
</body>
</html>