Enrico Visentini

My name is Enrico Visentini.

I am a first year Ph.D. student in Computer Science at the University of Verona. My advisor is Roberto Giacobazzi.

My current research interests concern abstract interpretation, code obfuscation, software watermarking, computational learning theory, information theory and stochastic processes. Formal methods are so full of imagery that sometimes I get drowned!

I work together with my comrades in the headquarters of the Department of Computer Science, located in the suburbs of Verona (Italy), in Strada Le Grazie, 15.

You can find us inside room 64 on the first floor of Ca' Vignal 2. Please feel free to come in, even without knocking the door! We just cannot work by ourselves, can we?

If you prefer to contact me electronically, please send an e-mail to enrico.visentini at univr.it

Midday Doctoral talks

The Midday Doctoral talks are short Computer Science seminars held by Ph.D. students for Ph.D. students. Each talk is focused on a well delimited basic topic, so as to promote comprehension and crossfire. MiDitalks are opened to all interested, in particular to the Ph.D. Students in Computer Science.

Of course we are always looking for speakers. If you are a Ph.D. Student and you would like to hold a MiDiTalk, please get in touch with me: enrico.visentini at univr.it

Laboratorio di programmazione

Il terminale di Microsoft Windows

  • Nelle ultime versioni di Microsoft Windows il terminale si raggiunge cliccando su Start > Tutti i programmi > Accessori > Prompt dei comandi. In versioni meno recenti si trova in Start > Programmi > Prompt dei comandi.

Impostare la variabile CLASSPATH in Microsoft Windows XP

  • Fare clic su Start > Pannello di controllo > icona Sistema > scheda Avanzate > pulsante Variabili d'ambiente.
  • In Variabili dell'utente per Pippo oppure in Variabili di sistema cercare CLASSPATH, selezionarla, fare clic sul pulsante Modifica. In fondo al campo Valore variabile inserire un ; seguito dal nome della cartella che contiene prog\.
  • Se CLASSPATH non è presente, sotto Variabili di sistema fare clic sul pulsante Nuovo; inserire CLASSPATH come Nome variabile e il nome della cartella che contiene prog\ come Valore variabile.

Programmare in Java™ con Emacs

Inizializzazione di Emacs
Nei sistemi Unix e Mac OS, le impostazioni di inizializzazione di Emacs sono riportate nel file .emacs, contenuto nella propria home directory. Se il file non esiste, lo si può creare manualmente come un normalissimo file di testo.
Syntax-highlighting
Per attivare la syntax-highlighting, ossia la funzionalità che colora le keyword e gli altri costrutti del codice Java, incollare in fondo a .emacs il codice contenuto in hilit-java.el.
Compilare ed eseguire con Emacs
Per compilare e lanciare le applicazioni Java™ direttamente da Emacs, incollare in fondo a .emacs il codice contenuto in java-compile.el. Una volta [ri]avviato Emacs e aperto un file .java, sarà sufficiente premere M-c (ossia ALT + c) per avviare la compilazione e M-r (ALT + r) per lanciare l'applicazione.

“It is not reassuring
but it is beautiful
because it is true
harsh sometimes
poetic too
like life.”

Homo technologicus

  • Is code obfuscation a science or an art? Here is a clue for your answer.
  • Trusted Computing or in other words: is a Trusted Computer a computer that can break my security?

  • My first computer was a PC 128 Olivetti Prodest: I felt touched when I found its emulator.

Children's corner

Il catalogo è questo