Assistant Professor
Department of Computer Science and Communication
via Mazzini 5, IT-21100 Varese (VA)
Tel: +39 0332 218933
fax.: +39 0332 218919
E-mail: marco.benini@uninsubria.it

Born in Milano, Italy, September 19, 1968.

Degree in Computer Science, University of Milan, Italy, 1993.

Research Associate in the Department of Computer Science,
University of Warwick, United Kingdom, 1997-1998.

PhD in Computer Science, University of Milan, Italy, 2000.

Assistant Professor, Centro di Ricerca Informatica Interattiva,
University of Insubria, Varese, Italy, 2001.

Director of Centro di Ricerca Informatica Interattiva, University of Insubria, Varese Italy, 2004.

M. Acquaviva, M. Benini Adaptive Strategies in Web-Based Learning Systems: A Comparative Survey, INTERACT2005 (2005).

M. Acquaviva, M. Benini, A. Trombetta, Short-Term Content Adaptation in Web-Based Learning Systems, WTAS2005 (2005).

M. Acquaviva, M. Benini, A. Trombetta, A Model for Short Term Content Adaptation, WWW2005 (2005).

M. Ornaghi, M. Benini, M. Ferrari, C. Fiorentini, A. Momigliano, A Constructive Modeling
Language for Object Oriented Information Systems, CLASE 05 (2005).

M. Benini, F. De Cindio, L. Sonnante, Virtuose, a VIRTual CommUnity Open Source Engine for integrating civic networks and digital cities, Communities and Technologies - Wksp. Digital Cities (2003).

M. Benini, F. De Cindio, L. Sonnante, VIRTUOSE: An open-source Virtual Community Server, IIIrd Global Congress on Community Networking in the Digital Era (2002).

A. Avellone, M. Benini, U. Moscato, How to Avoid the Verification of a Theorem Prover, Logical Journal of the IGPL 9:1, pp. 7-31 (2001).

M. Benini, Representing Object Code, CL2000 (2000).
A. Avellone, M. Benini, U. Moscato, Tactics for Translation of Tableau in Natural Deduction, TABLEAUX 99 (1999).

A. Avellone, M. Benini, D. Nowotka, Constructive Methods in Automatic Analysis of Correctness Proofs, LOPSTR 99 (1999).

M. Benini, D. Nowotka, C. Pulley, Computer Arithmetic: Logic, Calculation and Rewriting, FROCOS 98 (1998).

M. Benini, S. Kalvala, D. Nowotka, Program Abstraction in a Higher Order Logic Framework, TPHOL 98 (1998).

M. Benini, S. Kalvala, D. Nowotka, C. Pulley, HOLLY: An Approach to Object Code Verification, Intl. Wksp. British Council on Theoretical Computer Science (1998).

M. Benini, Barendregt's Lambda Cube in Isabelle, Intl. Wksp. IUG (1995).