Cagliari, Italy
Areas of Specialization
| Algebra |
| Proof Theory |
| Nonclassical Logics |
| Mathematical Logic |
| Theory of Computation |
Areas of Interest
| Theory of Computation, Misc |