{"id":195,"date":"2023-09-08T10:44:32","date_gmt":"2023-09-08T10:44:32","guid":{"rendered":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/?p=195"},"modified":"2023-09-11T10:09:46","modified_gmt":"2023-09-11T10:09:46","slug":"alessio-mansutti-el-investigador-que-hizo-el-doctorado-por-accidente-y-ahora-trabaja-con-algoritmos-para-teorias-aritmeticas","status":"publish","type":"post","link":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/2023\/09\/08\/alessio-mansutti-el-investigador-que-hizo-el-doctorado-por-accidente-y-ahora-trabaja-con-algoritmos-para-teorias-aritmeticas\/","title":{"rendered":"Alessio Mansutti, el investigador que hizo el doctorado \u00abpor accidente\u00bb y ahora trabaja con algoritmos para teor\u00edas aritm\u00e9ticas"},"content":{"rendered":"
Cuando era ni\u00f1o, al investigador del Instituto IMDEA Software le encantaban el baloncesto y las revistas quincenales de ciencia para ni\u00f1os que ven\u00edan con experimentos que hac\u00eda con su padre. A partir de ese momento, su fascinaci\u00f3n por los temas cient\u00edficos no hizo m\u00e1s que crecer. <\/h5>\n
\"Alessio
El investigador Alessio Mansueti en el Instituto IMDEA Software<\/figcaption><\/figure>\n

El investigador Alessio Mansutti<\/a> es de Udine, una ciudad del noreste de Italia, nos cuenta que es una ciudad maravillosa para vivir y que desde all\u00ed se puede llegar al mar Adri\u00e1tico o a los Alpes en una hora. Realiz\u00f3 sus estudios de licenciatura y m\u00e1ster en su ciudad natal, su doctorado en la \u00c9cole Normale Sup\u00e9rieure Paris-Saclay<\/a> y, antes de incorporarse a IMDEA Software<\/a>, fue investigador postdoctoral en la Universidad de Oxford<\/a>.<\/p>\n

Le preguntamos en qu\u00e9 momento decidi\u00f3 estudiar una carrera cient\u00edfica y nos dijo que no estaba seguro de haber hecho esta elecci\u00f3n conscientemente: \u00abMe sent\u00ed atra\u00eddo por la ciencia desde ni\u00f1o. Por lo que recuerdo, durante la escuela primaria mis principales aficiones eran el baloncesto y hacer experimentos cient\u00edficos<\/strong>. En aquella \u00e9poca, una editorial muy conocida en Italia empez\u00f3 varias series de revistas quincenales de ciencia para ni\u00f1os (una de astronom\u00eda, otra sobre el cuerpo humano, etc.). Yo ten\u00eda casi todos los vol\u00famenes de todas las series. Hac\u00eda todos los experimentos de estos vol\u00famenes con mi padre, y \u00e9l ten\u00eda un acuerdo con mi profesor de matem\u00e1ticas para rehacer los mejores en mi clase\u00bb. A partir de ese momento, su fascinaci\u00f3n por los temas cient\u00edficos no hizo m\u00e1s que crecer<\/strong>.<\/p>\n

En cuanto a c\u00f3mo acab\u00f3 haciendo el doctorado, \u00abfue un accidente muy agradable<\/strong>\u00ab, dice. De hecho, hab\u00eda decidido lo contrario, no hacer el doctorado y ya hab\u00eda empezado a hacer entrevistas para algunas empresas (esto fue un poco antes de terminar su m\u00e1ster). Seg\u00fan Alessio: \u00abAl d\u00eda siguiente del Viva de mi m\u00e1ster recib\u00ed un correo electr\u00f3nico de Angelo Montanari (uno de mis profesores universitarios en Udine) sobre la posibilidad de hacer un doctorado en Par\u00eds. St\u00e9phane Demri<\/a>, que m\u00e1s tarde se convertir\u00eda en mi director de doctorado, me invit\u00f3 a pasar all\u00ed una semana. Me gustaron mucho el laboratorio y St\u00e9phane, as\u00ed que tir\u00e9 mi lista de \u00abpros y contras del doctorado\u00bb y decid\u00ed trasladarme a Francia<\/strong>\u00ab.<\/p>\n

\u00abTrabajo en l\u00f3gica computacional<\/strong>, y actualmente sobre todo en algoritmos para teor\u00edas aritm\u00e9ticas<\/strong>. Las teor\u00edas aritm\u00e9ticas son lenguajes para especificar enunciados sobre n\u00fameros. Los algoritmos para este tipo de enunciados pueden clasificarse principalmente en cuatro grupos: algoritmos que determinan si*un enunciado es verdadero o falso<\/strong>, algoritmos que devuelven algunas (o todas) las soluciones para las que un enunciado es verdadero<\/strong>, algoritmos que cuentan el n\u00famero de soluciones<\/strong> y algoritmos que encuentran una soluci\u00f3n \u00f3ptima que satisface un enunciado determinado<\/strong>\u00ab, se\u00f1ala Mansutti<\/a>.<\/p>\n

Para Alessio<\/a>, las teor\u00edas aritm\u00e9ticas son esenciales en varias \u00e1reas de la inform\u00e1tica y la matem\u00e1tica computacional y ejemplifica porqu\u00e9 son tan importantes:<\/p>\n