|
Institut de Mathématiques et de Modélisation de Montpellier UMR CNRS 5149 Université Montpellier II Case Courrier 51 Place Eugène Bataillon 34095 Montpellier Cedex |
eMail julianna.zsido[at]univ-montp2.fr
Tel. +33 4 67 14 35 16 bureau 423 (4ème étage) bâtiment 9 |
Actuellement je suis postdoctorante à l'I3M, je travaille sur le projet européen Math-Bridge. Voici le lien vers notre serveur Math-Bridge.
Mon cv en pdf.
Avant d'arriver ici, j'ai préparé une thèse de doctorat en mathématiques dans la domaine de la syntaxe abstraite au laboratoire J. A. Dieudonné à l'Université de Nice - Sophia Antipolis. L'introduction de ma thèse (en anglais) et la version complète sur TEL.
Math-Bridge, une plate-forme multilingue, Colloque Espace Mathématique Francophone, 3-7.2.2012, poster
Remediation with Math-Bridge, 4th World Conference on Educational Sciences, 2-5.2.2012, les transparents
Math-Bridge, Gazette des Mathématiciens, Vol. 131 (2012), pp. 91-96, article
Initial Semantics for higher-order typed syntax in Coq, Journal of Formalized Reasoning, Vol. 4, No. 1 (2011), pp. 25-69, paper
Math-Bridge, une plate-forme multilingue, 16ème école d'été de didactique des mathématiques, 21-28.8.2011, poster
Transition secondary-tertiary level education via Math-Bridge, WG14 CERME 7, 9-13.2.2011, poster
Syntaxe abstraite typée, soutenance de thèse, UNS, 21.6.2010, les transparents
Syntaxe abstraite non-typée, Séminaire Sémantique, PPS, Paris 7, 27.4.2010, les transparents
Typed Abstract Syntax, Journées GEOCAL-LAC, UNS, 15-17.3.2010, les transparents
Monades du Lambda - Calcul, Colloque doctorant, UNS, 8.5.2009, les transparents
La signature du Lambda-calcul typé, Séminaire Géométrie Algébrique, UNS, 13.5.2008, les transparents basés sur l'artcile pour l'école doctorale
Le théorème de Church-Rosser, Colloque doctorant, UNS, 14.3.2008, les transparents (c'est une blague M. Rosser)
Monades et le Lambda Calcul, Séminaire SPF, UNS, 28.9.2007, les transparents
TD/TP Math-Bridge (UM2, 2012)
cours/TD Biomaths 1 (UM2, 2011/12)
TD Analyse 1 (UM2, 2011)
TD Algèbre 2 (UNS, 2009/10)
TD Statistiques (UNS, 2009/10)
TD Probabilités (UNS, 2009)
TD Probabilités (UNS, 2008)
TD Analyse des Données (UNS, 2007/08)
TD Probabilités (UNS, 2007)
TD Analyse des Données (UNS, 2006/07)
