[Todos] Fwd: [DC-Todos] Búsqueda de candidato a beca doctoral en computación cuántica

[Ariel Bendersky]

---------- Forwarded message ---------
De: Alejandro Díaz-Caro <alejandro en diaz-caro.info>
Date: vie, 29 jul 2022 a la(s) 15:20
Subject: [DC-Todos] Búsqueda de candidato a beca doctoral en computación
cuántica
To: Todos <todos en dc.uba.ar>, Lista LCC <lcc en fceia.unr.edu.ar>, Organización
FunLeP <organizacion-funlep en googlegroups.com>


Hola,

Somos Alejandro Díaz-Caro <https://staff.dc.uba.ar/adiazcaro/>, profesor en
la Universidad Nacional de Quilmes e investigador CONICET en el Instituto
de Ciencias de la Computación (Exactas-UBA) y Federico Holik
<https://orcid.org/0000-0002-6776-5281>, 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.

Al final de este mail describimos el proyecto de tesis.

Lo que buscamos de un candidato es lo siguiente:

   - Que esté muy motivado a hacer un doctorado - excluyente :-)
   - Estudiante de Física, Computación, o Matemática
   - Que deba 5 materias o menos (y que le parezca realista terminarlas
   antes de marzo de 2023)
   - 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).

Los interesados nos pueden escribir para cualquier consulta a
Alejandro Díaz-Caro <alejandro en diaz-caro.info>, Federico Holik <
holik en fisica.unlp.edu.ar>
sin obligación de compra ;-)

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!

Saludos,
Alejandro (Jano) y Federico

Título de la propuesta: Lógica cuántica y lógica cuántica computacional
Director: Alejandro Díaz-Caro
Co-director: Federico Holik

Resumen informal:
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.

--
http://staff.dc.uba.ar/adiazcaro
_______________________________________________
El uso de esta lista presupone un compromiso con adherir a las reglas de
buena convivencia presentadas en http://www.dc.uba.ar/reglas-de-convivencia
Todos mailing list
Todos en dc.uba.ar
https://listas.dc.uba.ar/cgi-bin/mailman/listinfo/todos
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://mailman.df.uba.ar/pipermail/todos/attachments/20220729/f924e4bc/attachment.html>