Curriculum Vitae di A. Barbara Veit Elenco pubblicazioni (estratto)

Curriculum Vitae di A. Barbara Veit
Dopo la maturita presa in Germania nel 1964 frequenta i corsi di filosofia e di
matematica prima a Saarbruecken, poi a Heidelberg, dove ottiene il Vordiplom der
Mathematik nel 1966. Avendo vinto una borsa di studio del governo francese, si
trasferisce a Grenoble, dove prende la `licence es philosophie’ nel luglio 1969. Alla
fine del 1969 si trasferisce a Roma per motivi personali. Nel luglio 72 si laurea in
matematica con 110 e lode alla Sapienza. Nasce la figlia Laura (agosto 72) e il figlio
Luca (agosto 75). Nel frattempo inizia l’attivita` didattica presso la cattedra di
matematiche complementari del prof. Lucio Lombardo-Radice sia con esercitazioni che
con minicorsi autonomi. Inizia anche un’intensa collaborazione di ricerca con il
professore G. Reyes a Montreal nel campo della logica categoriale e della geometria
differenziale sintetica (lavori 1,2).
Vince il concorso assistente alla Sapienza nel 1980, e continua l’attivita didattica
presso la cattedra di matematiche complementari. Nel 1983, anno di avvio dell’attivita
didattica dell’universita di Tor Vergata, si trasferisce in questo Ateneo, dove conquista
presto il titolo di professore associato, e col tempo viene inquadrata sulla cattedra di
Logica Matematica. Da allora, nell’ attivita didattica, alterna corsi di Logica Matematica
con corsi di geometria prevalentemente destinati agli studenti del primo biennio.
Il lavoro di Ricerca, inizialmente incentrato sulla Logica (lavori 3-5), dal 1985 circa si
trasferisce al campo della topologia algebrica, dove avviene un’intensa collaborazione
con il prof. S. Buoncristiano (presso questa università, lavori 6 e 7). Nasce inoltre
una serie di lavori autonomi (lavori 8 e 9). Infine sta per essere ultimato un manuale
di Logica Matematica ( lavoro n. 10)
Elenco pubblicazioni (estratto)
1) Il Forcing come principio logico per la costruzione dei fasci, Rendiconti di
Matematica, 11 serie VI (1979)
2) A proof of the associated sheaf theorem by means of categorical logic, Journal of
Symbolic Logic, 46 (1981)
3) On the left-exactness of orthogonal reflections, J. of Pure and Applied Algebra 49
(1987) [con F. Borceux]
4) Subobject Classifier for Algebraic Structures, Journal of Algebra, 112 (1988) [con F.
Borceux]
5) Sheaves, Localizations, and Unstable Extensions, Some Counterexamples, Journal
of Algebra 140 (1991)
6) The intrinsic Stratification of a Schubert Variety, Advances in Mathematics 91
(1992) [con S. Buoncristiano]
7) Equivariant cohomology of Rank Varieties associated with vexillary permutations,
Mathematische Zeitschrift
(2000) [con S. Buoncristiano]
8) Singularities of Schubert Varieties, pres. a Manuscripta matematica
9) Rank varieties are reduced, pres. a Duke Math. J.
10) Finito e Infinito (manuale di Logica, distribuito da anni agli studenti, e in corso di
stampa presso l’editore
Bibliopolis di Napoli)