Senior Shardul Chiplunkar tiene como objetivo ser un traductor entre el mundo tecnológico y el resto de la sociedad.
Subtítulo:”Debido a que el software complejo es ahora tan importante en el mundo, quiero que la industria de la computación, y yo mismo, podamos interactuar mejor con una audiencia más amplia”, dice Shardul Chiplunkar, senior del MIT.Creditos:Foto: Steph Stephens
Shardul Chiplunkar, un estudiante de último año en el Curso 18C (matemáticas con ciencias de la computación), ingresó al MIT interesado en computadoras, pero pronto estuvo probando todo, desde encender fuego hasta construir firewalls. Se interesó por la ingeniería de audio y el soplado de vidrio , fue tenor del grupo a capella del MIT / Wellesley Toons y aprendió a navegar.
“Cuando ingresé al MIT, pensé que solo me interesarían las matemáticas y la informática, el mundo académico y la investigación”, dice. “Ahora lo que más aprecio es la diversidad de personas e ideas”.
Académicamente, su enfoque está en la interfaz entre las personas y la programación. Pero sus actividades extracurriculares lo han ayudado a descubrir su objetivo secundario, ser una especie de traductor entre el mundo técnico y los usuarios profesionales de software.
“Quiero crear mejores marcos conceptuales para explicar y comprender sistemas de software complejos, y desarrollar mejores herramientas y metodologías para el desarrollo de software profesional a gran escala, mediante la investigación fundamental en la teoría de los lenguajes de programación y la interacción persona-computadora”, dice.
Es un papel para el que prácticamente nació. Criado en Silicon Valley justo cuando la burbuja de las punto com estaba en su apogeo, se sintió atraído por las computadoras a una edad temprana. Tenía 8 años cuando su familia se mudó a Pune, India, por el trabajo de su padre como ingeniero de software de redes. En Pune, su madre también trabajó como traductora, editora y presentadora de noticias de radio. Chiplunkar eventualmente pudo hablar inglés, hindi, francés y su nativo marathi.
En la escuela participaba activamente en competencias de matemáticas y codificación, y un amigo le presentó los acertijos lingüísticos, que recuerda que “eran algo así como matemáticas”. Luego se destacó en la Olimpíada de Lingüística, donde los estudiantes de secundaria resuelven problemas basados en el estudio científico de las lenguas: la lingüística.
Chiplunkar vino al MIT para estudiar lo que él llama “la especialización perfecta”, curso 18C. Pero como hijo de un padre tecnológico y una madre traductora, quizás era inevitable que Chiplunkar descubriera cómo combinar las dos materias en una trayectoria profesional única.
Si bien era un natural en los lenguajes humanos, fue un Programa de Oportunidades de Investigación de Pregrado en el Laboratorio de Ciencias de la Computación e Inteligencia Artificial lo que consolidó su interés en la investigación de lenguajes de programación. Con el profesor Adam Chlipala , desarrolló un lenguaje de especificación para firewalls de Internet y un compilador verificado formalmente para convertir tales especificaciones en código ejecutable, utilizando técnicas de prueba y síntesis de software correctas por construcción.
“Suponga que desea bloquear un sitio web determinado”, explica Chiplunkar. “Abres tu firewall e ingresas la dirección del sitio web, cuánto tiempo quieres bloquearlo, etc. Tiene algunos parámetros en un lenguaje inventado que le dice al firewall qué código debe ejecutar. Pero, ¿cómo sabe que el cortafuegos traducirá ese idioma a código sin errores? Esa fue la esencia del proyecto. Estaba intentando crear un lenguaje para especificar matemáticamente el comportamiento de los cortafuegos, convertirlo en código y demostrar que el código hará lo que tú quieres que haga. El software vendría con una garantía matemáticamente probada “.
También ha explorado intereses adyacentes en lenguajes de programación probabilísticos e inferencia de programas a través de la investigación en ciencias cognitivas, trabajando con el profesor Tobias Gerstenberg en la Universidad de Stanford y más tarde con Joshua Rule en el laboratorio Tenenbaum en el Departamento de Ciencias Cerebrales y Cognitivas del MIT.
“En los lenguajes de programación normales, los datos básicos con los que trata, los átomos, son números fijos”, dice Chiplunkar. “Pero en los lenguajes de programación probabilísticos, se trata con distribuciones de probabilidad. En lugar de la constante cinco, es posible que tenga una variable aleatoria cuyo El valor promedio es cinco, pero cada vez que ejecuta el programa está entre cero y 10. Resulta que también puede calcular con estas probabilidades, y es una forma más poderosa de producir un modelo informático de algunos aspectos de la cognición humana. el lenguaje te permite expresar conceptos que no podrías expresar de otra manera “.
“Muchas de las razones por las que me gusta la ciencia cognitiva computacional son las mismas razones por las que me gusta la programación y el lenguaje humano”, explica. “La cognición humana a menudo se puede expresar en una representación que es como un lenguaje de programación. Es más una representación abstracta. No tenemos idea de lo que realmente sucede en el cerebro, pero la hipótesis es que, en algún nivel de abstracción, es un buen modelo de cómo funciona la cognición “.
Chiplunkar también espera llevar una mejor comprensión de los sistemas de software modernos a la esfera pública, para empoderar a las comunidades interesadas en la tecnología, como abogados, legisladores, médicos y educadores. Para ayudar en esta búsqueda, ha tomado cursos en el MIT sobre políticas de Internet y leyes de derechos de autor, y sigue con avidez el trabajo de los activistas de derechos y libertades digitales. Él cree que los programadores necesitan un lenguaje y conceptos fundamentalmente nuevos para hablar sobre la arquitectura de los sistemas informáticos con fines sociales más amplios.
“Quiero que seamos capaces de explicar por qué un cirujano debe confiar en un asistente de cirugía robótica, o cómo una ley sobre el almacenamiento de datos debe actualizarse para los sistemas modernos”, dice. “Creo que crear mejores lenguajes conceptuales para software complejo es tan importante como crear mejores herramientas prácticas. Debido a que el software complejo es ahora tan importante en el mundo, quiero que la industria de la computación, y yo mismo, podamos interactuar mejor con una audiencia más amplia “.
