Análisis de redes sociales
Esta disciplina favorece tanto la investigación teórica, como la empírica y la cuantitativa. Dentro de esta última, la teoría de grafos, la teoría de la probabilidad, la estadística y los modelos algebraicos son los principales enfoques matemáticos usados. No obstante lo anterior, en una red social no se puede suponer la independencia muestral de observaciones realizadas sobre sus actores, ya que estos se consideran interdependientes; por lo tanto, los métodos estadísticos difieren de los usados por ejemplo en las ciencias sociales y del comportamiento. Así, por ejemplo, no se suelen utilizar regresiones múltiples, test-t, correlaciones canónicas, ni modelos de ecuaciones estructurales, pero sí son comunes los modelos log-lineales, especialmente para el análisis de díadas. En el análisis de redes sociales, la estadística descriptiva permite comprender cómo se comporta la red, mientras que la estadística inferencial permite dirimir la veracidad de las pruebas de hipótesis.
Teoría de tipos
En matemáticas, lógica y ciencias de la computación, la teoría de tipos es cualquiera de varios sistemas formales que pueden servir como alternativas a la teoría de conjuntos como fundamento de las matemáticas constructivas, o al estudio de tales formalismos en general. En la teoría de lenguajes de programación, una rama de las ciencias de la computación, la teoría de tipos puede referirse al diseño, análisis y estudio de los sistemas de tipos, aunque algunos teóricos de la computación limitan el significado del término al estudio de formalismos abstractos como el cálculo lambda tipado.