array(1) {
  [0]=>
  object(Apache_Solr_Document)#24 (3) {
    ["_documentBoost":protected]=>
    bool(false)
    ["_fields":protected]=>
    array(6) {
      ["content_id"]=>
      array(1) {
        [0]=>
        string(14) "DIRECTORY_4349"
      }
      ["content_title"]=>
      array(1) {
        [0]=>
        string(19) "BENEDETTO INTRIGILA"
      }
      ["description"]=>
      array(1) {
        [0]=>
        string(2698) "<document><p>
	Benedetto Intrigila &egrave; Professore Ordinario di Informatica, presso l'Universit&agrave; di Roma "Tor Vergata"
	Laurea in Matematica (cum laude) e in Filosofia (cum laude). I suoi interessi di ricerca sono nel campo delle applicazioni dei metodi formali all'informatica, in un ambito piuttosto ampio, che include, fra l'altro, il lambda-calcolo, la
	programmazione funzionale e la teoria dei linguaggi formali.
	La sua ricerca corrente si &egrave; concentrata in particolare nel campo della verifica dei sistemi software-like (protocolli) e dei sistemi
	ibridi e sul campo delle tecnologie XML. E' autore di oltre 60 lavori scientifici su riviste e conferenze internazionali. E' stato chairman del
	comitato organizzatore delle Conferenze TLCA'99 e CHARME'03 Conference e membro del comitato di programma di ICTCS '05.</p></document><document><p>
	<span><span>Benedetto</span> <span>Intrigila</span> <span>is</span> Full <span>Professor of Computer Science</span> <span>at the University</span> <span>of Rome "Tor</span> <span>Vergata"</span><span>,</span> <span>Degree in</span> <span>Mathematics</span> <span>(cum</span> <span>laude)</span> <span>and</span> <span>in Philosophy</span> <span>(cum</span> <span>laude)</span><span>.</span> <span>His</span> <span>research interests are</span> <span>in the field of</span>
	<span>applications</span> <span>of formal methods</span> <span>to computer science,</span> <span>in</span> <span>a</span> <span>fairly large area</span><span>,</span> <span>that includes</span><span>,</span> <span>among other things,</span> <span>the</span> <span>lambda</span><span>-calculus</span><span>,</span> <span>the</span>
	<span>functional programming</span> <span>and</span> <span>formal language theory</span><span>.</span>
	<span>His</span> <span>current research</span> <span>has focused</span> <span>in particular</span> <span>in the field of</span> <span>verification of systems</span> <span>software</span><span>-like (</span><span>protocols)</span> <span>and systems</span>
	<span>hybrids</span> <span>and in the field</span> <span>of</span> <span>XML technologies</span><span>.</span>  </span></p>
<p>
	<span><span>He is author of more than</span> <span>60 scientific papers</span> <span>on</span> <span>international journals and conferences</span><span>.</span> He has been<span> chairman</span> <span>of the</span>
	<span>organizing committee</span> <span>of the</span> <span>Conference</span> <span>TLCA'99</span> <span>and</span> <span>CHARME'03</span> <span>Conference</span> <span>and a member</span> <span>of the program committee</span> <span>of</span> <span>ICTCS</span> <span>05</span><span>.</span></span></p></document> a:0:{}"
      }
      ["meta_keywords"]=>
      array(1) {
        [0]=>
        string(1) ","
      }
      ["reserved"]=>
      array(1) {
        [0]=>
        string(1) "0"
      }
      ["auth_ip"]=>
      array(1) {
        [0]=>
        string(1) "0"
      }
    }
    ["_fieldBoosts":protected]=>
    array(6) {
      ["content_id"]=>
      bool(false)
      ["content_title"]=>
      bool(false)
      ["description"]=>
      bool(false)
      ["meta_keywords"]=>
      bool(false)
      ["reserved"]=>
      bool(false)
      ["auth_ip"]=>
      bool(false)
    }
  }
}