Passa ai contenuti principali

Finding Ada - Relatrice: Simona Ronchi Della Rocca

Simona Ronchi Della Rocca è professore ordinario di Informatica presso l’Università di Torino, dipartimento di Informatica, dal 1987.

Insegna ”Metodi Formali dell’Informatica II” e ”Complementi di Logica” presso il corso di laurea magistrale in Informatica dell’Università di Torino.
È membro di alcune istituzioni scientifiche nazionali e internazionali, tra cui l’Accademia delle Scienze di Torino e il comitato scientifico dell’EACSL (European Association of Computer Science Logic).

È editore della rivista TOCL (ACM Transactions on Computational Logic). I suoi interessi di ricerca sono nell’ambito della semantica formale dei linguaggi di programmazione e della complessità implicita: su questi temi ha pubblicato una monografia, più di 70 articoli su riviste internazionali, e ha curato come editor alcuni numeri speciali di riviste internazionali.

Si interessa anche di divulgazione scientifica, e fa parte del consiglio delle responsabili dell’associazione ”Donne e Scienza”.

 ---

Vi ricordiamo poi, che per l'evento abbiamo bisogno del vostro aiuto. La cifra non è enorme ma può permetterci di realizzarlo al meglio. Se volete darci una mano, allora seguite il link qui sotto.


Un vivissimo "grazie a tutti" dallo staff.


Commenti

Post popolari in questo blog

Lena Söderberg (Lenna Sjööblom)

Lena, nata nel 1952, è stata una modella e playmate.  La sua fama deriva dall'essere stata immortalata nella pagina centrale di playboy del novembre 1972, numero più venduto di tutti i tempi. Un ritaglio della dimensiondi 512x512 di tale fotografia fu utilizzato come immagine di esempio per una conferenza sulla compressione delle immagini allo USC Signal and Image Processing Institute. Da allora il viso di Lena è diventato una sorta di standard de facto per gli algoritmi di compressione delle immagini, e la stessa modella è  una celebrità  tra i matematici. Il celeberrimo ritaglio. Lena qualche anno dopo Per saperne di più: http://photoshopnews.com/2007/04/24/geek-love-the-lenna-story/ http://ndevilla.free.fr/lena/ http://www.cs.cmu.edu/~chuck/lennapg/lenna.shtml

IBM 5155 portable computer

IBM PC – 5155 Anno 1984 CPU Intel 8088 a 4.77 MHz (8/16 bit) Sistema operativo IBM PC-DOS 2.1 Ha un monitor da 9” color ambra, floppy da 5,25” da 360 KB, 256 KB di RAM e tastiera. È la versione trasportabile dell’XT (modello 5160) e usa la stessa scheda madre. Poteva essere espanso, avendo connettori per sette schede. Il computer pesa circa 14 Kg. Dato che i floppy occupavano una buona parte dello spazio, molte delle schede d’espansione non potevano essere a lunghezza standard ma di dimensioni ridotte. Il computer in questione è la risposta della IBM alla Compaq, che fece uscire, un anno prima, un altro portabile, completamente compatibile ad un prezzo decisamente minore. “… Un turista con una robusta sacca a tracolla. Mentre forse quel turista sta lavorando. Si presenta infatti in una robusta sacca di tela ...” (da una recensione di quegli anni).

Olivetti M20

Processore: Zilog Z8001 Velocità di clock: 4MHz RAM: 128kB espandibile fino a 512kB ROM: 8kB contenente il bootloader ed alcune funzioni di I/O Sistemi operativi: PCOS, CP/M8000, MS-DOS (con l’adattatore APB 8086) Schermi: Bianco e nero, verde, ambra, 4 o 8 colori Risoluzione grafica: 512x256 pixel Griglia di testo: 80x25 oppure 64x16 caratteri Drive per floppy:  Uno o due da 160kB-320kB-640kB in formato 5”1/4 Hard disk: 11.5MB Winchester opzionale Interfacce di serie: RS232 e Parallela (Centronics), con connettori proprietari Interfacce opzionali: Doppia RS232 (normale e current-loop) e IEEE488 L’Olivetti M20 era un pc dotato di caratteristiche interessanti per l’epoca, la sua cpu era a 16 bit, la grafica a colori e ad alta risoluzione , era dotato di due floppy disc da 5 pollici e un quarto ed opzionalmente poteva montare un hard disc. A causa della sua incompatibilità con l’MS-DOS (aggiunta successivamente attraverso una scheda aggiuntiva contenente un 8086) non i