<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">---------- Forwarded message ---------<br>De: <strong class="gmail_sendername" dir="auto">Alejandro Díaz-Caro</strong> <span dir="auto"><<a href="mailto:alejandro@diaz-caro.info">alejandro@diaz-caro.info</a>></span><br>Date: vie, 29 jul 2022 a la(s) 15:20<br>Subject: [DC-Todos] Búsqueda de candidato a beca doctoral en computación cuántica<br>To: Todos <<a href="mailto:todos@dc.uba.ar">todos@dc.uba.ar</a>>, Lista LCC <<a href="mailto:lcc@fceia.unr.edu.ar">lcc@fceia.unr.edu.ar</a>>, Organización FunLeP <<a href="mailto:organizacion-funlep@googlegroups.com">organizacion-funlep@googlegroups.com</a>><br></div><br><br><div dir="ltr"><div class="gmail_quote"><div dir="ltr">Hola,<div><br></div><div>Somos <a href="https://staff.dc.uba.ar/adiazcaro/" target="_blank">Alejandro Díaz-Caro</a>, profesor en la Universidad Nacional de Quilmes e investigador CONICET en el Instituto de Ciencias de la Computación (Exactas-UBA) y <a href="https://orcid.org/0000-0002-6776-5281" target="_blank">Federico Holik</a>, investigador CONICET en el Instituto de Física de La Plata (UNLP). Estamos buscando a un candidato a presentarse a beca doctoral para presentarnos (muy) próximamente en el llamado a becas CONICET.</div><div><br></div><div>Al final de este mail describimos el proyecto de tesis.</div><div><br></div><div>Lo que buscamos de un candidato es lo siguiente:</div><div><ul><li style="padding-bottom:0.6001em">Que esté muy motivado a hacer un doctorado - excluyente :-)</li><li style="padding-bottom:0.6001em">Estudiante de Física, Computación, o Matemática</li><li style="padding-bottom:0.6001em">Que deba 5 materias o menos (y que le parezca realista terminarlas antes de marzo de 2023)</li><li style="padding-bottom:0.6001em">Que tenga un promedio académico (con aplazos) igual o por encima del promedio histórico de su universidad (si no saben cuál es el promedio histórico de su universidad, nos escriben).</li></ul></div><div>Los interesados nos pueden escribir para cualquier consulta a<br></div><div style="text-align:center">Alejandro Díaz-Caro <<a href="mailto:alejandro@diaz-caro.info" target="_blank">alejandro@diaz-caro.info</a>>, <span>Federico Holik <</span><a href="mailto:holik@fisica.unlp.edu.ar" target="_blank">holik@fisica.unlp.edu.ar</a><span>></span></div><div>sin obligación de compra ;-)</div><div><br></div><div>La fecha límite para presentarse es (dependiendo de la finalización del DNI, entre el 8 y el 12 de agosto, por lo cual no tarden en escribirnos!</div><div><br></div><div>Saludos,</div><div>Alejandro (Jano) y Federico</div><div><br></div><div>Título de la propuesta: Lógica cuántica y lógica cuántica computacional</div><div>Director: Alejandro Díaz-Caro</div><div>Co-director: Federico Holik</div><div><br></div><div>Resumen informal:</div><div>En 1936 Birkhoff y von Neuman (BvN) definieron una "lógica cuántica", a partir del formalismo de la mecánica cuántica. Desde entonces ha habido muchísimos trabajos (sobre todo de físicos) en esa línea. En los 80s apareció la computación cuántica, como un formalismo matemático de la mecánica cuántica, en la cual se utilizan métodos de las ciencias de la computación. Más de una década después, científicos de la computación comenzaron a estudiar la lógica detrás de la computación cuántica con técnicas de ciencias de la computación (cálculo lambda, teoría de tipos, isomorfismo de Curry-Howard, teoría de categorías). A esta línea se la suele llamar "lógica cuántica computacional" para diferenciarla de aquella de BvN. Estas líneas de investigación dejaron de lado los desarrollos de la lógica cuántica "tradicional". El objetivo de esta tesis es buscar las conexiones entre ambas lógicas. En primer lugar, se plantea buscar el "contenido computacional" de la lógica cuántica à la BvN, definiendo una teoría de tipos a partir de ella, para luego estudiar sus modelos semánticos y compararlos con la lógica cuántica computacional.</div><div><br></div><div><div>--<br></div></div></div></div><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr"><div><a href="http://staff.dc.uba.ar/adiazcaro" target="_blank">http://staff.dc.uba.ar/adiazcaro</a></div></div></div></div>
_______________________________________________<br>
El uso de esta lista presupone un compromiso con adherir a las reglas de buena convivencia presentadas en <a href="http://www.dc.uba.ar/reglas-de-convivencia" rel="noreferrer" target="_blank">http://www.dc.uba.ar/reglas-de-convivencia</a><br>
Todos mailing list<br>
<a href="mailto:Todos@dc.uba.ar" target="_blank">Todos@dc.uba.ar</a><br>
<a href="https://listas.dc.uba.ar/cgi-bin/mailman/listinfo/todos" rel="noreferrer" target="_blank">https://listas.dc.uba.ar/cgi-bin/mailman/listinfo/todos</a></div></div>