¿Qué tipo de investigación interesante está ocurriendo en la Universidad de Pennsylvania en el campo de la informática?

Como alguien de fuera de la universidad, inmediatamente pienso en dos temas en Penn: lenguajes de programación y robótica .

En lenguajes de programación, Penn tiene un buen enfoque en la programación funcional y la teoría de tipos. Un ejemplo particularmente interesante es la combinación de especies combinatorias con sistemas de tipos: “Especies y Functores y Tipos, ¡Dios mío!”.

También hay un trabajo interesante que hacer para ayudar a los programadores a mantener las garantías de privacidad a través de la privacidad diferencial . La privacidad diferencial es una forma formal de razonar sobre qué tipo de información alguien podría obtener de una filtración, lo que permite a los programadores secuestrar y priorizar las partes más críticas para la privacidad de sus programas. Aquí está su página principal: Poner a trabajar la privacidad diferencial

En cuanto a la robótica, el laboratorio Grasp tiene algunas demostraciones muy interesantes con quadcopters:

También usan un poco de Haskell, lo que obviamente los hace queridos para mi corazón :). Eche un vistazo a esta charla: abstracciones para el robotista funcional con Anthony Cowley.

More Interesting

¿Por qué las personas van a una maestría en ingeniería?

¿Vale la pena obtener un MBA de ISB o de la universidad después de más de 5 años de experiencia profesional con un salario decente? ¿Vale la pena el ROI?

Cuál es mejor: unirse a Amazon o Flipkart como rol SDE -1 en términos de carrera y futuro. Siempre que ambos ofrezcan el mismo salario y planeo hacer MS en EE. UU. Después de 2 años de experiencia laboral. ¿La marca Amazon ayuda a conseguir trabajo que flipkart en EE. UU. Después de hacer MS?

¿Es mejor practicar o unirse a la industria después de aprobar el curso de CA?

¿Cuáles son los IIT que ofrecen un MTech en ECE / Electrónica e Instrumentación?

Tengo 26 años y estoy ansioso por servir en el Ejército o la Fuerza Aérea de la India. ¿Tengo alguna posibilidad a esta edad?

Tengo un pobre registro de graduación. ¿Puedo ingresar a ISB?

¿Qué sucursal debo seleccionar y en qué universidad: EEE en RV College o informática en MSRIT en Bangalore?

¿Cuál es el alcance de BArch en India después de hacer BArch con SPA o NIIT en el curso UG?

¿Qué es el ACCA?

¿Realmente vale la pena hacer un BTech en CSE desde YMCA?

¿Qué debo hacer después de b.com (hons)?

¿Puedo ser ingeniero sin título?

¿Cuánto gana un nuevo estudiante graduado en un trabajo de software en EE. UU. Después de completar una maestría en EE. UU.?

¿Qué tan bueno es la Universidad Estatal de Rutgers, en New Brunswick, en el campo del aprendizaje automático y la minería de datos para obtener una maestría? ¿Cómo es la escena laboral en esa universidad?