Smart Contracts- Cuán inteligentes y cómo vincularlos con sus homónimos legales
Details
¡Próxima meetup el lunes 3 de diciembre a las 18:30hs en ORT!
¡Un gran honor recibir desde Suecia al Dr.Gerardo Schneider Profesor del departamento de Ciencias de la Computación y Tecnología de la Universidad Tecnológica Chalmers!
Tema: Smart Contracts- Cuán inteligentes y cómo vincularlos con sus homónimos legales
Resumen de la charla:
Los Contratos Inteligentes (Smart Contracts, en ingles) suelen definirse como un protocolo informático destinado a facilitar, verificar o hacer cumplir digitalmente la negociación o el cumplimiento de un acuerdo o "contrato”. Más concretamente, los contratos inteligentes son programas (software) ejecutados en la llamada blockchain. El hecho de ser ejecutados en la blockchain, garantiza que tales transacciones se ejecuten de forma "confiable" sin necesidad de intermediarios, permitiendo además que estas sean rastreables e irreversibles. De esta forma se disminuye la probabilidad de fraudes, y en caso de que existan, incrementa la posibilidad de detectarlos y de determinar culpables en caso de violaciones contractuales.
En esta charla introduciré smart contracts (a alto nivel), poniendo énfasis en el estado del arte, limitaciones y oportunidades, y la conexión de tales “contratos” con con los contratos legales que tratan de representar.
Sobre el disertante:
Gerardo Schneider (http://www.cse.chalmers.se/~gersch) recibió el título de Doctor (PhD) en Ciencias de la Computación en el 2002 en la Universidad Joseph Fourier (tesis realizada en el laboratorio VERIMAG) en Grenoble (Francia). Desde el 2003 al 2009 fue investigador en la Universidad de Uppsala (Suecia), Irisa / INRIA Rennes (Francia), y la Universidad de Oslo (Noruega). Se unió al Departamento de Ciencias de la Computación e Ingeniería de la Universidad de Gotemburgo (Suecia) en julio de 2009, donde se desempeña como profesor titular desde julio del 2014.
Sus intereses de investigación incluyen la verificación formal de software (verificación estática y runtime), la especificación y análisis formal de documentos normativos, privacidad, y más recientemente smart contracts y otras aplicaciones de blockchain.