Mario M. Alvarez

https://alva.re

Analista de investigación de ConsenSys.

Mario M. Alvarez

Mario M. Alvarez es analista de investigación en ConsenSys y candidato a doctorado en informática en UC San Diego. Comenzó el programa de doctorado en el otoño de 2014 con Ranjit Jhala como su asesor de tesis. Trabaja en ConsenSys desde 2017 como investigador de verificación formal. Sus intereses de investigación se centran en la verificación de software, principalmente utilizando probadores interactivos de teoremas como Isabelle y Coq, entre otros.

Las descargas de la billetera ecológica Aptos MartianWallet superaron las 100.000 veces: El 23 de agosto, el Twitter oficial de la billetera ecológica Aptos MartianWallet afirmó que las descargas de su aplicación superaron las 100.000 veces. Actualmente en versión beta, la billetera se ha integrado con el servicio de nombres de Aptos, lo que permite a los usuarios enviar transacciones utilizando su nombre de Aptos. [2022/8/23 12:42:15]

El gigante de información financiera IHS Markit planea lanzar un índice de criptomonedas: Adam Kansler, presidente de servicios financieros del gigante de información financiera IHS Markit, dijo en una llamada de ganancias el día 13 que la compañía podría lanzar un índice de criptomonedas. IHS Markit ya tiene asociaciones con firmas de criptomonedas como Lukka para precios de criptomonedas y datos de referencia, dijo Kansler. Estos puntos de datos pueden formar la base de los productos de índice de criptomonedas. (Coindesk) [2021/1/14 16:07:15]

Noticias | dotBC coopera con Digimarc para proporcionar soluciones de gestión de derechos de autor en combinación con tecnología blockchain: Según Music Business Worldwide, la empresa estadounidense de gestión de derechos de autor dotBC coopera con Digimarc Corporation para proporcionar códigos de barras de audio Digimarc con tecnología de marca de agua de audio digital en productos dotBC. "La asociación entre las dos empresas demuestra el poder de los códigos de barras de audio Digimarc combinados con blockchain para garantizar que la propiedad de los derechos se asocie de forma correcta y segura con el contenido protegido por derechos de autor", dijo Bruce Davis, director ejecutivo de Digimarc. [2019/4/10].{) }

Tags：Mario M. Alvarez