|
 |
 |
|
| |
Contact data |
Assistant Professor
Department of Computer Science and Communication
E-mail: brunella.gerla@uninsubria.it |
| |
Biography |
Born in Napoli on 1-11-1973.
In January 1996 graduated magna cum laude in Mathematics at the University
of Napoli, Italy.
I received the Ph.D. in Computer Science from the University of Milan,
Italy, on January 2002. The title of my Ph.D. thesis was: "Many-valued
logics based on continuous t-norms and their functional representation",
and my supervisor was Professor Daniele Mundici .
From November 2002 to October 2005 I was Assistant Professor in Mathematical
Logic at the Department of Mathematics and Informatics at the University
of Salerno.
Currently I am Assistant Professor in Mathematical Logic at the Department
of Computer Science and Communication at the University of Insubria,
Varese.
Assistant Editor of Soft Computing journal, edited by Springer. |
| |
Research interests |
Many-valued and
fuzzy logics:
- Algebraic structures related with many-valued propositional logics
- Functional description
- MV-algebras and semirings - automata over MV-algebras
- Proof-theoretical aspects;
- Logic of uncertainty;
- Probability of fuzzy events;
- Fuzzy control and fuzzy neural networks. |
| |
Teaching experience
and appointments |
I taught Mathematical Logic
in the master program of Mathematics and Computer Science. Currently
I teach Algorithms (Laboratorio di Algoritmi e Strutture Dati). |
| |
Representative
publications |
- S. Aguzzoli, Gerla B.,
Manara C. (2005). Poset Representation for Godel and Nilpotent Minimum
Logics. Lecture Notes in Computer Science. Proceedings of ECSQARU05.
vol. LNAI 3571, pp. 662-674.
- S. Aguzzoli, Gerla B., Z. Hanikova. (2005). Complexity issues in
Basic Logic. Soft Computing. vol. 9, pp. 919-934.
- A. Di Nola, B. Gerla. Algebras of Lukasiewicz logic and their semiring
reducts , 131--144, Contemp. Math., 377, Amer. Math. Soc.
- P. Amato, A. Di Nola, B. Gerla. Neural Networks and Rational Lukasiewicz
Logic, Journal of multiple-valued logic and soft computing, 11 (2005),
no. 1-2, 95--110.
- P. Cintula, B. Gerla Semi-normal forms and functional representation
of product fuzzy logic, Fuzzy Sets and Systems, 143:1, pag 89, 2004.
- A. Di Nola, B. Gerla. A discrete free MV-algebra over one generator.
Journal of Applied non-classical logic, vol. 11, pp.331-339 (2001).
- B. Gerla. A Note on Functions Associated with Gödel Formulas,
Soft Computing , vol 4 (2000), 206-209.
- B. Gerla. Conditioning a state by a Lukasiewicz event: a probabilistic
approach to Ulam games. Theoretical Computer Science, vol 230, pp.149-166
(2000).
- B. Gerla. MV-algebras, multiple bets and subjective states. International
Journal of Approximate Reasoning, vol 25, pp. 1-13 (2000).
|
|
|