La principale contribution de Froda concerne le domaine de l'analyse mathématique. Son premier résultat important, que l'on appelle maintenant le théorème de Froda[3] concerne l'ensemble des discontinuités d'une fonction à valeur réelle d'une variable réelle. Dans ce théorème, Froda prouve que l'ensemble des discontinuités simples d'une fonction à valeurs réelles d'une variable réelle est au plus dénombrable.
Dans un article de 1936[4] il prouve une condition nécessaire et suffisante pour qu'une fonction soit mesurable .
En théorie des équations algébriques, Froda a montré[5] une méthode de résolution d’équations algébriques ayant des coefficients complexes.
En 1929, Dimitrie Pompeiu conjecture que toute fonction continue de deux variables réelles définies sur tout le plan est constante si l'intégrale sur tout cercle du plan est constante. La même année[6] Froda prouve que, dans le cas où la conjecture est vraie, la condition selon laquelle la fonction est définie sur tout le plan est indispensable. Plus tard, il a été démontré que la conjecture n’est pas vraie en général.
En 1907, D. Pompeiu construit un exemple de fonction continue avec une dérivée non nulle, avec un zéro dans chaque intervalle. En utilisant ce résultat, Froda trouve une nouvelle façon de regarder un problème plus ancien [7] posé par Mikhaïl Lavrentiev en 1925, à savoir s’il existe une fonction de deux variables réelles telle que l’équation différentielle ordinaire 
a au moins deux solutions passant par chaque point du plan.
En théorie des nombres, à côté des triangles rationnels[8], il a également établi plusieurs conditions [9],[10],[11],[12],[13] pour qu'un nombre réel, qui est la limite d'une suite convergente rationnelle, soit irrationnel, prolongeant un précédent résultat de Viggo Brun de 1910[14].
En 1937, Froda remarque et prouve de manière indépendante le cas 
du théorème de Borsuk-Ulam.
