Monday, May 4, 2020

Platforma Zoom pentru video-conferințe

Tutorial de instalare și utilizare Zoom

Obiective: Modalități de comunicare pentru conferințe, lecții, cursuri, ședințe, discuții etc. (varianta gratuită - free este adecvată pentru diverse activități - maxim 100 de participanți, transfer de fișiere de maxim 512 MB, partajare ecran sau aplicații software, înregistrarea activității online pe calculatorul local, free 40 minute, timp nelimitat pe perioada pandemiei).
  • Web site, platforma online de conferințe audio-video Zoom: https://zoom.us/
  • Despre programul ZOOM: Zoom este lider în comunicațiile video moderne pentru întreprinderi și organizații, cu o platformă cloud ușoară și fiabilă pentru conferințe video și audio, colaborare, chat și webinarii pe dispozitive mobile, desktop, telefoane și sisteme de cameră video. Zoom Rooms este soluția originală pentru săli de conferințe bazată pe software, utilizată în întreaga lume în sălile de bord, conferințe, huddle și instruire, precum și birouri executive și săli de clasă. Fondat în anul 2011 de Eric S. Yuan (Founder & Chief Executive Officer), programul Zoom ajută întreprinderile și organizațiile să-și reunească echipele într-un mediu eficient și plăcut pentru a realiza diverse activități online în comun. Zoom este o companie comercializată pe Nasdaq (ticker: ZM) cu sediul central în San Jose, California (USA). Awards: Leader in Gartner 2019 Magic Quadrant for Meeting Solutions; 2019 Inc. 5000 list of the fastest-growing private companies in America; TMC 2018 Communications Solutions Products of the Year Award (Sursa: https://zoom.us/about).
  • Funcții oferite: Meetings, Video Webinar, Conference Rooms, Phone System, Chat (chat, audio, video, încărcare fișiere).
  • PRODUCTS: Meetings and Chat (HD video, audio, collaboration & chat); Rooms and Workspaces (Power up your conference rooms with video); Phone System (Enterprise cloud phone system); Video Webinars (Full-featured, easy-to-use, engaging webinars); App Marketplace (Integrations and bots to use with Zoom).
  • INDUSTRIES: Education (Expand traditional classrooms in the cloud); Financial Services (Improve customer experiences & communications); Government (Increase productivity & engagement for all agencies); Healthcare (Enabling HIPAA-compliant telehealth technology & workflows).
Variante de instalare Zoom
Instalarea Zoom se poate realiza pe dispozitivul de pe care se va face video-conferința (Windows, MacOS, Android sau iOS).
Varianta A (online - nu se recomandă, având unele limitări): Aplicația Zoom poate fi lansată și din browserul Internet fără a descărca un program de instalare software, de la adresa web: https://zoom.us/ . Această versiune online are insă anumite limitări. În fereastra oferită se face click pe „SIGN UP, IT’S FRE” din dreapta-sus, după care se cere data nașterii. Se va deschide fereasta „Sign Up Free” unde trebuie să optați pentru o adresă de email proprie pe care o aveți, de exemplu pe Google; click pe „Sign in with Google”, după care veți introduce adresa de email + parola corespunzătoare contului Google.
Va fi necesară testarea conexiunii la Internet și a sistemului audio (microfon+căști/boxe) și video (cameră web) folosind adresa https://zoom.us/test

Varianta B (offline, fără limitări - recomandată): Se utilizează adresele de mai jos pentru a descărca programul de instalare Zoom pe dispozitivul de pe care se va face video-conferința (1. Windows, 2. MacOS, 3. Android, 4. iOS):
1. https://zoom.us/client/latest/ZoomInstaller.exe,
2. https://zoom.us/client/latest/Zoom.pkg ,
3. https://play.google.com/store/apps/details?id=us.zoom.videomeetings ,
4. https://itunes.apple.com/us/app/id546505307

Analog ca în varianta A, când în fereastra oferită s-a realizat click pe „SIGN UP, IT’S FRE” din dreapta-sus, vă cere data nașterii. Se va deschide fereasta „Sign Up Free” unde trebuie să optați pentru o adresă de email proprie pe care o aveți, de exemplu pe Google; click pe „Sign in with Google”, după care veți introduce adresa de email + parola corespunzătoare contului Google. După instalare, pictograma programului va apărea pe desktop sau pe bara de operații, apoi va fi necesară testarea conexiunii la Internet și a sistemului audio (microfon+căști/boxe) și video (cameră web) folosind adresa https://zoom.us/test .

Modalități de utilizare Zoom 
Etape în realizarea unei activități de tip video-conferință:
  • Etapa I – Accesarea programului Zoom instalat pe dispozitiv, ce va deschide fereasta următoare –pagina principală, oferind, în partea de sus butoanele: „Home”, „Chat”, „Meetings”, „Contacs” și „Search” (meniul orizontal), iar în stânga-central: „New Meeting”, „Schedule”, „Join”, „Share sceen”.
  • Etapa II – Stabilirea programului conferinței și durata acesteia prin utilizarea butonului „Schedule”, ce deschide fereastra corespunzătoare, unde se indică informațiile necesare privind activitatea de conferință (imaginea alăturată).
  • Etapa III – Trimiterea invitațiilor (link de conectare la video-conferința lansată) către elevi/studenți/cursanți participanți online la desfășurarea conferinței pe durata specificată. Pentru această acțiune se revine la pagina principală Zoom ce apare în etapa I și se realizează click pe butonul „Meetings”, afltat în partea de sus (meniul orizontal). Se va realiza click pe „Copy invitation”, după care se trimite acest link prin mesaj email către toți invitații (lista de adrese de email trebuie să fie pregătită din timp).

    Exemplu de invitație ce va fi primită de cei ce vor participa:
    Marin Vlada Sun, May 3, 12:44 PM (23 hours ago) to George
    Marin Vlada is inviting you to a scheduled Zoom meeting.
    Topic: Marin Vlada's Personal Meeting Room, Join Zoom Meeting
    https://us04web.zoom.us/j/2365112276?pwd=ZFVpSmF0UnoxTlUyNXd1L2Y4RFZvUT09
    Meeting ID: ...... Password: .....
  • Etapa IV – Lansarea conferinței la data și ora stabilită și transmisă invitațiilor. Se va relua etapa I, adică se accesează programul Zoom. Din pagina principală se realizează click pe butonul „Meeting” aflat în partea de sus- meniul orizontal, după care click pe butonul „Start” din fereastra ce va apărea, după care se oferă fereasta pentru desfășurarea conferinței, având un meniu orizontal în partea de jos cu serviciile principale: „Join audio”, „Start/Stop video”, „Security”, „Participants”, „Chat”, „Share screen”, „Record” și „End” (dreapta jos).
  • Etapa V – Desfășurarea conferinței conform planului tutorelui de curs/lecție. Se face verificarea faptului că toți participanții sunt conectați audio și video, dacă nu, se așteptă să se rezolve această problemă. În acest moment are loc comunicarea audio-video între tutore și participanți. De exemplu, daca lecția/cursul este sub forma unei prezentări PPT sau a unei aplicații, mai înainte vor fi anunțați participanții despre această modalitate. Se va face click pe butonul „Share screen” din meniul orizontal de jos, după care va apărea o fereastă din acare se va indica aplicația (imaginea alăturată), apoi se realizeaza click pe butonul „Share” din partea dreapta-jos. În acest moment aplicația desfășurată pe ecranul tutorelui va fi văzută de toți participanții. La sfârșitul conferinței se realizează click pe butonul „End” din dreapta-jos, apoi click pe „End Meeting for All”.

Resurse Web
1. Platforma Zoom, https://support.zoom.us/hc/en-us/articles/201362193-How-Do-I-Join-A-Meeting- 2. Universitate Politehnica Timișoara, https://elearning.upt.ro/en/despre-cel/campus-virtual/tutorial-de-utilizare-videoconferinta-zoom/
3. Universitatea din Craiova, https://www.ucv.ro/pdf/it_fonduri_eur/servicii_web/Utilizare_Zoom.pdf

Wednesday, April 15, 2020

Volumele III și IV: “descifrarea” fenomenului informaticii românești!

Noi rezultate obținute în cadrul proiectului ROINFO „Romanian Informatics”

MOTTO: “Orice știință care nu se dizolvă în aplicații practice este o știință infirmă, și inutilă. Marile invenții au fost făcute de savanți care erau în același timp erudiți. Cu simple incursiuni nu se poate reuși mare lucru. Trebuie atacat pe un front larg. Numai într-o asemenea manieră se va putea produce o străpungere mai importantă în frontul inamic al necunoscutului.” Dr. Ștefan Odobleja (1902-1978), Părintele ciberneticii generale, membru post-mortem al Academiei Române


Proiectul ROINFO - 2018/2020 "ISTORIA INFORMATICII ROMÂNEȘTI. APARIȚIE, DEZVOLTARE ȘI IMPACT" - http://c3.cniv.ro/?q=2018/iir



VOLUMUL III, Computing – Apariție și dezvoltare (Capitolele 3 – 6) 
CUPRINS
3 Dezvoltarea industriei de calculatoare în România
3.1 Ideile privind construirea calculatoarelor românești
3.2 Calculatorul CIFA de la București
3.3 Calculatorul MECIPT de la Timișoara
3.4 Calculatorul DACICC de la Cluj-Napoca
3.5 Calculatorul FELIX C - Fabrica de calculatoare București
3.6 Sisteme de calcul românești
4 Grigore C. Moisil-Computer Pionieer, fondatorul informaticii în România
4.1 Grigore C. Moisil - Din gândirea matematică românească
4.2 Clipe de neuitat
4.3 Opuşi inseparabili în gândirea românească. Grigore C. Moisil
4.4 Discurs de primire a lui Gr. C. Moisil în Academia Română
4.5 După 40 de ani, despre Gr. C. Moisil şi vremea sa
4.6 90 de ani de la naşterea matematicianului Grigore C. Moisil
4.7 Centrul de Calcul al Universităţii din Bucureşti, o contribuţie notabilă a lui Grigore C. Moisil la dezvoltarea informaticii în România
4.8 Nevoia de Moisil
4.9 Moisil, aşa cum l-am cunoscut
4.10 Unde, când şi cum l-am cunoscut pe Gr. C. Moisil
5 Solomon Marcus, o viață dedicată matematicii și informaticii
5.1 Academicianul Solomon Marcus – aniversarea a 90 de ani, Academia Română
5.2 In memoriam. Solomon Marcus
5.3 Professor Solomon Marcus’ Axioms
 5.4 Pasiunea pentru limba română
5.5 Acad. Solomon Marcus și promoția 1978 informatică, martori la fondarea informaticii românești 5.6 Doctorand ȋn primul grup de doctoranzi coordonați de Prof. Solomon Marcus
5.7 Gândurile unui ucenic al profesorului Marcus
5.8 Întâlniri (Meetings with) cu Solomon Marcus, Ed. Spandugino, 2010
6 Pionierii informaticii românești – Universitatea din București
6.1 Despre ideile scrierii unei istorii a informaticii din România
6.2 Discipolii acad. Grigore C. Moisil și pionieri ai informaticii românești
6.3 Leon Livovschi, un pionier al informaticii românești și colaborator apropiat al acad. Gr. C. Moisil 6.4 Constantin P. Popovici, colaborator al acad. Gr. C. Moisil și unul din primii profesori de informatică
6.5 Stelian Niculescu, unul din primii informaticieni români
6.6 Dragoș Vaida: matematica și informatica, în consonanță
6.7 Ion Văduva, dezvoltator al CCUB fondat de Gr. C. Moisil, un inițiator și dezvoltator de cercetări în simularea stochastică
 6.8 Sergiu Rudeanu, un teoretician în algebră universală, algebră booleană, programarea pseudo-booleană
6.9 Un discipol al lui Gr. C. Moisil: Luminiţa State
6.10 Octavian Bâscă, un pionier al informaticii românești
6.11 Nicolae Țăndăreanu, un pionier al informaticii românești
6.12 Emil N. Perjeriu, destinul unui geometru informatician
6.13 Ioan Tomescu, creator al școlii românești de teoria grafurilor
6.14 Virgil Emil Căzănescu, un teoretician al fundamentelor informaticii
6.15 Nicolae Popoviciu, matematician, un pionier al informaticii românești
6.16 Gheorghe Păun, un matematician-informatician inițiator al modelului de Membrane Computing: P systems
6.17 Cristian Calude, un discipol al acad. Solomon Marcus cu contribuții în teoria algoritmică a informației și calcul cuantic
6.18 Horia Georgescu, promotor al limbajelor și tehnicilor de programare
6.19 Adrian Atanasiu, un teoretician al limbajelor formale, criptografiei formale și prelucrării limbajului natural
6.20 George Georgescu, un profesor de logici fuzzy și de teoria combinatorică
6.21 Alexandru Mateescu, un matematician al limbajele formale și al structurilor matematice discrete 6.22 Ileana Popescu, un formator al generațiilor de informaticieni
6.23 Tudor Bălănescu, Șerban Gavrilă, Marian Gheorghe, Radu Nicolescu, Liviu Sofonea: abordare pragmatică și formalizată a metodologiilor de programare
6.24 Ioan Roșca, un matematician expert în metode numerice și metoda elementului finit
6.25 Denis Enăchescu, un informatician expert în metoda Monte Carlo, Data Mining și Inteligența Articială
6.26 Anton Bătătorescu, un informatician expert în statistică și cercetări operaționale
6.27 Ștefan Ștefănescu, un informatician specialist în modele statistice, algoritmi și prelucrări de date 6.28 Marin Popa, un matematician expert în rețele Petri și rețele de calculatoare, formator al generațiilor de informaticieni
6.29 Rodica Ceterchi, un matematician al limbajelor formale, teoriei categoriilor și al algebrelor universale
6.30 Marin Vlada, un informatician expert în Grafica pe calculator, Inteligența artificială și tehnologii e-Learning
6.31 Ileana Streinu, un matematician-informatician cu cercetări în Inteligența artificială și în geometria computațională
6.32 Mihaela Malița, un informatician al inteligenței artificiale și al tehnologiilor
6.33 Monica Tătărâm, un formator al generațiilor de informaticieni
6.34 Matei Bogdan, inginer-informatician, formator al generațiilor de informaticieni
6.35 Maria Lovin, inginer-informatician, pionier al informaticii românești
6.36 Victorina Panaite, matematician-informatician, pionier al informaticii românești
6.37 Dorin Panaite, inginer-informatician, pionier al informaticii românești
6.38 Elena-Liliana Popescu, un formator al generațiilor de informaticieni
6.39 Mihail Cherciu, un formator al generațiilor de informaticieni
6.40 Paul Radovici-Mărculescu, matematician–informatician
6.41 Mircea Adam, un formator al generațiilor de informaticieni
6.42 Rodica-Florentina Niculescu, matematician-informatician
6.43 Gheorghe Petrescu, matematician-informatician
6.44 Petre Preoteasa, matematician-informatician
6.45 Constantina Ioan, matematician-informatician

VOLUMUL IV, Computing – Dezvoltare și impact (Capitolele 7 – 10) 
CUPRINS
7 Pionierii informaticii românești – Oameni și instituții
7.1 Dezvoltarea hardware și software - Informatică și IT la București
7.2 Dezvoltarea hardware și software - Informatică și IT la Cluj-Napoca
7.3 Dezvoltarea hardware și software - Informatică și IT la Iași
7.4 Dezvoltarea hardware și software - Informatică și IT la Timișoara
7.5 Dezvoltarea hardware și software - Informatică și IT la Craiova
8 Dezvoltarea și impactul informaticii în România
8.1 Centrul de Calcul al Universității din București (CCUB)
8.2 Centrul de perfecționare a cadrelor de conducere din întreprinderi (CEPECA)
8.3 Institutul de Tehnică de calcul (ITC)
8.4 Institutul Central de Informatică (ICI)
8.5 Institutul de Calcul Cluj-Napoca
8.6 Centrul de Calcul al Universității “Babeș-Bolyai” şi Școala de informatică din Cluj-Napoca
8.7 Institutul de Cercetări pentru Inteligenţă Artificială “Mihai Drăgănescu” (ICIA)
8.8 Centrele Teritoriale de Calcul Electronic (CTCE)
8.9 Informatica și IT în domeniile tehnic, economic și social
8.10 Utilizarea și dezvoltarea programelor Open-source în România
9 Informatica și Cibernetica la Academia de Studii Economice (ASE)
9.1 Înființarea Centrului de Calcul al ASE în anul 1963
9.2 Activitatea de învățământ-cercetare-proiectare
9.3 Laboratoarele de cercetare ale Catedrei de Cibernetică Economică (LCCE)
9.4 Învățământul de informatică și cibernetică economică
9.5 Laboratoarele de cercetare după anul 1975
9.6 Personalități din străinătate în vizită la Centrul de Calcul al ASE
9.7 Manifestări științifice organizate de/sau împreună cu LCCE
9.8 Revista de Cibernetică Economică
10 Istoria informatizării în mediul preuniversitar românesc 1985-2018
10.1 Perioada de pionierat 1985-1990
10.2 Perioada de învățare a informaticii 1990-2000
10.3 Perioada de democratizare a învățământului 2001-2018
10.4 Un proiect pentru Centenar – Enciclopedia digitală “România 1918”
10.5 O privire în viitor privind strategia educațională în România

Sunday, March 22, 2020

Provocările ca mod de învățare

PROVOCĂRILE SUNT METODE DE ÎNVĂȚARE


"Dacă vrei să înveți ceva nou, atunci trebuie să-ți propui predarea unui curs nou" recomanda Grigore C. Moisil colaboratorilor săi  

Atitudinea de provocare trebuie să ți-o creezi și singur! ("Ai nevoia de provocări" ar spune Solomon Marcus)

Mărturisesc ca în această perioada mi-am amintit de câteva momente din evoluția mea profesională:
  1. după absolvirea Facultății de Matematica, secția informatică, am fost angajat ca programator la CINOR (Centrul de Informatică și Organizare) al municipiului București, unde am elaborat programe în limbajele de programare COBOL și FORTRAN - mai înainte în COBOL, apoi numai în FORTRAN. Deși, în facultate scrisesem 4-5 programe în COBOL, am fost pregătiți la CINOR printr-un curs organizat intern. Fără să-mi neglijez sarcinile de serviciu (activitatea de programator la diverse contracte) mă documentam și învățam diverse despre informatică- încercam să intuiesc ce mai târziu voi avea nevoie-, învățam prin testare, scriere de programe, calcule și rezolvare de probleme de matematica și informatică. Participam și la unele seminarii științifice la Facultate de matematică etc. În acea perioadă am publicat în Gazeta matematică probleme de informatică (începuse să se publice prin anul 1980 - rubrica era coord. de prof. Emil Perjeriu și Paul Radovici-Mărculescu de la CCUB; de aceea, i-am inclus în vol. III - Istoria informaticii românești - http://c3.cniv.ro/?q=2018/iir )
  2. pentru că am lucrat la câteva contracte privind calcule tehnice și de proiectare, la un moment dat am avut o provocare: calculul ariei unui domeniu simplu conex (aria unui domeniu poligonal oarecare); la facultate nu am întâlnit o astfel de problemă, nici la matematică, nici la informatică (era perioada 1981-1983); după o luna de căutari, am început să concep un algoritm la care am lucrat - cred 2 luni, dar, la testare mi-am dat seama că am greșit strategia de calcul. Am renunțat după ce am aflat formula de calcul (din punct de vedere informatit era o banalitate, fiind vorba de un proces de calcul al unei sume de valori) de la prof. Emil Pejeriu de la CCUB ce publicase un articol în Gazeta Matematică - seria A. Astăzi, o astfel de formulă este cunoscută de olimpicii de la informatică: https://www.infoarena.ro/notiuni-de-geometrie-si-aplicatii/arii , https://en.wikipedia.org/wiki/Polygon ; prin această provocare am început să studiez și să mă ocup de domeniul geometriei computaționale, grafica pe calculator, realitatea virtuală.
  3. la angajarea la CCUB - Facultatea de Matematică, în decembrie 1983, domnul prof. Ion Văduva - director adj. al CCUB mi-a dat sarcina să mă ocup de Inteligența artificială (AI) în timp ce îmi voi realiza obligațiile la diverse contracte de cercetare ale CCUB. sau unele activități didactice la orele de informatică. Era prima dată când auzeam de Inteligența artificială (AI). De aceea, în aceea perioadă am participat la unele seminarii de Prolog (limbaj de programare al AI), am început să studiez diverse cărți de AI, să învăț și să testez limbajul Prolog; prin această provocare am început să studiez și să mă ocup de domeniul Inteligenței Artificiale, bazelor de cunoștințe, sistemelor expert etc. Teza de doctorat mi-am susținut-o în domeniul AI. În acea perioada Japonia își propusese prin "Proiectul japonez 1981" ca pană în anul 1990 sa realizeze calculatorul inteligent printr-o finanțare de 35 mil. USD - alegând ca limbaj pentru scrierea de programe, limbajul Prolog. Era o mare provocare.
  4. în perioada 1998-1999 lucram la redactarea cărții "Informatica" ce urma tipărită la Editura Universității din București. Am inclus și capitolul "Sistemul Internet" ce conținea cunoștințe despre rețele de calculatoare, poșta electronică (e-mail), limbajul HTML, motoare de căutare etc. Știu că am scris acest capitol prin învățarea despre această temă, simultan cu testările pe care trebuia să le fac privind utilizarea poștei electronice, documentele HTML, paginile Web etc. Când i-am spus unei colege despre acest capitol, aceasta mi-a ripostat că încă nu e timpul pentru acest capitol, deoarece era doar la început răspândirea tehnologiilor Web. DE atunci, am încercat să fiu la curent cu tot ceea ce apărea în domeniul tehnologiilor Web. Și aceasta era o mare provocare.
  5. în perioada 2000-2002 se discuta mult despre utilizarea calculatorului în educație, în procesul de învățare: tehnologii e-Learning și software educațional. Nu reușeam să înțeleg cum sunt aceste tehnologii și nici nu văzusem lecții de software educațional. De aceea, am participat la diverse seminarii și conferințe. Pentru că voiam să înțeleg și să aplic aceste tehnologii în procesul de predare-învățare, mi-a venit ideea de a încerca să organizez o conferință națională în învățământ virtual (tehnologii e-Learning și software educațional). Atunci, m-am gândit că voi veni și în ajutorul profesorilor, elevilor și studenților pentru a înțelege și utiliza aceste tehnologii. Așa au apărut proiectele de e-Learning CNIV (2003, www.c3.cniv.ro) și ICVL (anul 2006, www.c3.icvl.eu ). A fost o mare provocare.

Thursday, March 12, 2020

Despre Marin Vlada


Marin Vlada, un informatician expert în Grafica pe calculator, Inteligența artificială și tehnologii e-Learning

MARIN VLADA, Universitatea din București, membru titular CRIFT (Comitetul Român pentru Istoria și Filosofia Științei și Tehnicii), Academia Română
  • Dacă Matematica nu ar fi fost, “nimic nu ar fi fost”: nici zero şi nici fizica, chimia sau arhitectura, nici roata şi nici calculatorul, nici tiparul şi nici telefonul, nici Informatica şi nici Cibernetica. Dar, faţă de toate aceste entităţi materiale inventate de om, Matematica îl ajută pe om să gândească toată viaţa, să creeze şi să-şi imagineze, să iubească natura şi pe semenii săi, să fie emotiv şi curajos, să fie consecvent şi ordonat, să viseze şi să fie fericit (M. Vlada, 2010)
  • Calculatorul: mijloc de formare a unei noi viziuni asupra educaţiei, cercetării şi inovării. Mediile din natură sunt guvernate de limbaje. Omul a inventat calculatorul, limbajele şi ştiinţele pentru cunoaştere. Prin intermediul calculatorului se prelucrează informaţiile şi cunoştinţele. Pentru reprezentarea şi prelucrarea informaţiilor calculatorul utilizează limbajele artificiale. Acest fapt dovedeşte că limbajele au fost inventate nu numai pentru comunicarea informaţiilor, ci mai ales pentru prelucrarea informaţiilor (Marin Vlada, 2012)

Marin Vlada s-a născut la 12 iunie 1953, în Movila Verde, jud. Constanța. A absolvit Liceul Industrial Energetic din Constanța (1968-1973), cu durată de 5 ani. După admiterea la Facultatea de Matematică a Universității din București a efectuat stagiul militar termen redus (8 luni) – în acel an, în România a început efectuarea stagiului militar, înainte de facultate și nu după absolvirea facultății. A absolvit Facultatea de Matematică a Universității din București (1974-1978), promoția de informatică cu un număr mare de sudenți în anul I (115). A absolvit anul V de specializare la Grupa ”Limbaje specializate” (1978-1979). În anul 1998 a susținut Teza de doctorat: "Modele pentru explorarea bazelor de cunoştinţe şi aplicaţii în inteligenţa artificială", la Facultatea de Matematică, Universitatea din București, conducător științific prof. dr. Ion Văduva.  

Poziții academice: la Centrul de Informatică și Organizare (CINOR), programator (1979-1984), prin repartiție gunernamentală (1979); la Centrul de Calcul al Universității București (CCUB - Facultatea de Matematică, programator/programator pr. III (1984-1992); la Catedra de Matematici aplicate și Informatică, Facultatea de Chimie, lector titular (1993-2001), conferențiar (2001-2018), profesor asoc. la Facultatea de Matematică și Informatică, din 1992; cercetător științific II la Centrul de Cercetări în Informatică, Facultatea de Matematică și Informatică, din 2006. Din anul 2016 este membru titular CRIFST (Comitetul Român de Istoria şi Filosofia Ştiinţei şi Tehnicii), Academia Română.

Domenii de interes științific: Computer Graphics & Virtual Reality (software algorithms, object modeling, fractals) Artificial Intelligence (logic programming, knowledge based systems, deductive databases, information and knowledge processing) Web Programming and Web Technologies (HTML, JavaScript, XML, SVG) Educational Technology and Virtual Learning (New technologies for e-Learning, e-Training, e-Skills.

Cursuri predate: Grafică pe calculator, Geometrie computaţională, Sisteme de prelucrări grafice, Inteligenţa artificială, Programare logică, Programare declarativă, Sisteme de operare, Arhitectura calculatoarelor, Tehnici de programare, Programare procedurală, Programarea calculatoarelor, Programare Web, Birotică şi tehnici multimedia, Metodica predării informaticii, Tehnici e-comunicare, Informatică, Analiza şi prelucrarea datelor experimentale, Tehnologii e-Learning, Medii virtuale, Statistică matematică și Informatică.  

Fondator și coordonator: La Universitatea din București, în anul 2003 a fondat proiectul de e-Learning CNIV (Conferinţa Naţională de Învăţământ Virtual) – „Noi tehnologii în educaţie cercetare”, iar în anul 2006, proiectul internațional de e-Learning ICVL (The International Conference on Virtual Learning) – „New Technologies in Education and Research”. Aceste proiecte de educație și cercetare, cu tradiție la Universitatea din București, care se desfășoară și în prezent, au fost premiate la nivel național. În anul 2018, cu ocazia Centenarului Marii Uniri a României, lansează proiectul național ROINFO 2018-2020 "Romanian Informatics", “60 de ani de informatică românească” privind "Istoria informaticii românești. Apariție, dezvoltare și impact. Oameni, instituții, concepte, teorii și tehnologii" (http://www.c3.cniv.ro/?q=2019/roinfo-2019).
 
Comunitatea internațională: biografia inclusă în “2000 Outstanding intellectuals of the 21st century, first ed.” (2001-2006), Cambridge și în “Enciclopedia Personalităţilor din România (2008)”.  

Reviewer and Editor: International Program Committee of ICAART (“International Conference on Agents and Artificial Intelligence”), from 2014, http://www.icaart.org/; Committee Member: IADIS Multi Conference on Computer Science and Information Systems – http://www.mccsis.org/, IADIS Collaborative Technologies; Editor for Proceedings of the International Conference on Virtual Learning (with Gr. Albeanu, D.M. Popovici), ISSN 1844-8933 , from 2006; Editor for Proceedings of the National Conference on Virtual Learning (with Gr. Albeanu, D. M. Popovici), ISSN 1842-4708, from 2003; Member of the Scientific Committees of the International Scientific Conference eLSE „eLearning and Software for Education„, „Carol I” National Defense University, http://adlunap.ro (from 2005); reviewer of Korean Journal of Computation and Applied Mathematics, ARTIFICIAL INTELLIGENCE REVIEW, Kluwer Academic Publishers
Cărți:
1. M. Vlada (coord.), Istoria informaticii românești. Apariție, dezvoltare și impact. Oameni, instituții, concepte, teorii și tehnologii, vol 4: Computing - Dezvoltare și impact, Editura MATRIXROM, 2020 
2. M. Vlada (coord.), Istoria informaticii românești. Apariție, dezvoltare și impact. Oameni, instituții, concepte, teorii și tehnologii, vol 3: Computing - Apariție și dezvoltare, Editura MATRIXROM, 2020

3. M. Vlada (coord.), Istoria informaticii românești. Apariție, dezvoltare și impact. Oameni, instituții, concepte, teorii și tehnologii, vol 2: Computing - Contextul național, Editura MATRIXROM, 2019
4. M. Vlada (coord.),Istoria informaticii românești. Apariție, dezvoltare și impact. Oameni, instituții, concepte, teorii și tehnologii, vol 1: Computing - Contextul internațional, Editura MATRIXROM, 2019
5. M. Vlada, Statistică și Informatică pentru chimie medicală și farmaceutică. Concepte, metode, tehnologii, software și aplicații, Editura Universităţii din Bucureşti, ISBN 978-606-16-0940-6, 2017 (print, 395 pag.).


6. Informatică aplicată. Modele de aproximare, software şi aplicaţii, Editura Universităţii din Bucureşti, print, ISBN 778-606-16-0190-5, 257 pag., 2012
7. New Technologies in Education and Research. Models and Methodologies, Technologies and Software Solutions, LAMBERT Academic Publishing, ISBN 978-3-8433-6391-4, 260 pag., 2010
8. Birotică. Tehnologii multimedia, Editura Universităţii din Bucureşti, 480 pag., 2004 (ISBN 973-575-847-4)
9. Birotică şi tehnici multimedia, CD-resursă electronică, Editura Universităţii din Bucureşti, 2003
10. Rezolvarea problemelor cu Eureka, Software educaţional, Web site-ul Universităţii din Bucureşti, www.unibuc.ro (eBOOKS Informatica), Curs Online, martie 2003
11. Birotică şi tehnici multimedia, Software educaţional, Web site-ul Universităţii din Bucureşti, www.unibuc.ro (eBOOKS Informatică), Curs Online, noiembrie 2002
12. Sisteme de operare, Software educaţional, Web site-ul Universităţii din Bucureşti, www.unibuc.ro (eBOOKS Informatică), Curs Online, noiembrie 2002
13. Informatică, Windows, Word, Excel, Internet, Editura Universităţii Bucureşti, 2001, 317 pag. (ISBN 973-575-507-6)
14. Informatică. Sisteme de calcul, Sisteme de operare, Medii de rezolvare, Mediul Internet, Editura ARS DOCENDI, 349 pag., 1999 (ISBN 973-994007-7-9)
15. Grafica pe calculator în limbajele PASCAL și C. Implementare și aplicatii, EDITURA TEHNICĂ (1992) , vol. I , Implementare, 209 pag. (în colaborare cu A. Posea, C. Constantinescu, I. Nistor), (ISBN 973-31-0406-X 973-31-0406-X)
16. Grafică pe calculator în limbajele PASCAL și C. Implementare și aplicații, EDITURA TEHNICĂ (1992), vol II, Aplicații, 249 pag. (în colaborare cu A. Posea, C. Constantinescu, I. Nistor). (ISBN 973-31-0408-6)
17. Grafică pe minicalculatoare și microcalculatoare compatibile IBM – PC. Aplicații în limbajele PASCAL și C, TIPOGRAFIA UNIVERSITĂȚII DIN BUVUREȘTI (1991), 334 pag. (în colaborare cu A. Posea, C. Constantinescu, I. Nistor)
18. Grafică automată în limbajul FORTRAN 77 și aplicații, TIPOGRAFIA UNIVERSITĂȚII DIN BUCUREȘTI, editia a II-a revizuită (1990), 250 pag. (în colaborare cu A. Posea)
19. Grafică automată în limbajul FORTRAN 77 și aplicații, TIPOGRAFIA UNIVERSITĂȚII DIN BUCUREȘTI, ediția I (1988), 245 pag. (în colaborare cu A. Posea.

Articole ștințifice (selecție):
• History of Informatics. From recursivity to the Turing universal machine and Horn clauses, In Proceedings of the 12th International Conference on Virtual Learning (ICVL), MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS, Sibiu, October 28 2017, Bucharest University Press (ISSN 1844-8933), pp. 27-43, 2017
• Ştefan Odobleja: A Scientific Visionary, precursor of Cybernetics and Artificial Intelligence, In Proceedings of the 12th International Conference on Virtual Learning (ICVL), MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS, Sibiu, October 28 2017, Bucharest University Press (ISSN 1844-8933), pp. 44-53, 2017
• Acad. Gheorghe Mihoc (1906-1981) – matematician, fondator de școală românescă. În Lucrările celei de-a XV-a Conferință Națională de Învățământ Virtual, VIRTUAL LEARNING – VIRTUAL REALITY, MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS, 28 octombrie 2017, Editura Universității din București, ISSN 1842-4708, pag. 21-27
• Matematica aplicată în studiul fenomenelor. Mișcarea corpurilor în 2D/3D. În Lucrările celei de-a XV-a Conferință Națională de Învățământ Virtual, VIRTUAL LEARNING – VIRTUAL REALITY, MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS, 28 octombrie 2017, Editura Universității din București, ISSN 1842-4708, pag. 36-47, 2017
• Concepte moderne și aplicații în Statistica matematică. Cercetare, eșantioane și colectarea datelor. În Lucrările celei de-a XV-a Conferință Națională de Învățământ Virtual, VIRTUAL LEARNING – VIRTUAL REALITY, MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS, 28 octombrie 2017, Editura Universității din București, ISSN 1842-4708, pag. 48-58, 2017
• ROMANIAN EXPERIENCE AND DEVELOPMENT OF COURSES. SOCIETY DEVELOPMENT: VISION ON LEARNING – GRIGORE C. MOISIL, 110 YEARS AFTER BIRTH, In the 12th International Scientific Conference on eLearning and Software for Education (eLSE) Location: Bucharest, ROMANIA Date: APR 21-22, 2016, ELEARNING VISION 2020!, VOL III Book Series: eLearning and Software for Education Pages: 578-585, Bucharest, Advanced Distributed Learning Department, „Carol I” National Defense University, (ISSN: 2066 – 026X print 2066 – 8821 online), 360-367, 2014 (cu A. Adăscăliței)
• Nonlinear models in Pharmacokinetics, In Proceedings of the 11th International Conference on Virtual Learning (ICVL), MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS, Craiova, October 29 2016, Bucharest University Press (ISSN 1844-8933), pp. 32-42, 2016
• Noi abordări în rezolvarea problemelor – exemple. În Lucrările celei de-a XIV-a Conferință de Învățământ Virtual, VIRTUAL LEARNING – VIRTUAL REALITY, MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS, 29 octombrie 2016, Editura Universității din București, ISSN 1842-4708, pag. 49-57, 2016
• THE NEW CULTURE OF LEARNING – THINKING IS EVOLUTION OF LEARNING OVER TIME, In The 11th International Scientific Conference eLearning and software for Education, Bucharest, Advanced Distributed Learning Department, „Carol I” National Defense University, eLSE 2014, Bucharest, April 23-24, 2015, volume 1, Editura Universității Naționale de Apărare „Carol I” (ISSN: 2066 – 026X print 2066 – 8821 online), pp. 360-367, 2014
• Romanian Informatics Pioneers, Leon Livovschi and Octavian Bâscă at the University of Bucharest, In Proceedings of the 10th International Conference on Virtual Learning (ICVL), MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS, Timișoara, October 31 2015, Bucharest University Press (ISSN 1844-8933), pp. 37-43, 2015
• Computers: as digital facilities for scientific research and as tools for enhanced learning in higher education, In The 10th International Scientific Conference eLearning and software for Education, Bucharest, Advanced Distributed Learning Department, „Carol I” National Defense University, eLSE 2014, Bucharest, April 24-25, 2014, volume 2, Editura Universității Naționale de Apărare „Carol I” (ISSN: 2066 – 026X print 2066 – 8821 online), pp. 537-544, 2014 (cu A. Adăscăliței)
• Informatica la Universitatea din Bucureşti, În Lucrările celei de-a XII-a Conferință de Națională Învățământ Virtual, VIRTUAL LEARNING – VIRTUAL REALITY, MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS, 24-25 octombrie 2014, Editura Universității din București, ISSN 1842-4708, pag. 27-36, 2014
• Manuale digitale, o premieră în România – despre confuzii şi clarificări, În Lucrările celei de-a XII-a Conferință Națională de Învățământ Virtual, VIRTUAL LEARNING – VIRTUAL REALITY, MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS, 24-25 octombrie 2014, Editura Universității din București, ISSN 1842-4708, pag. 37-44, 2014
• Marin Vlada, Constantin Cucoş, Adrian Adăscăliţei, Ioan Rusu, Ionuţ Nica, Utilizarea Mediilor Virtuale de Instruire în Universităţi, În Lucrările celei de-a XII-a Conferință Națională de Învătământ Virtual, VIRTUAL LEARNING – VIRTUAL REALITY, MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS, 24-25 octombrie 2014, Editura Universității din București, ISSN 1842-4708, pag. 79-87, 2014, http://www.c3.cniv.ro
• Maple and MapleNet- integrated solutions for Web based learning in matematics, Science and Engineering, CNIV-2004, Noi tehnologii de E-Learning, Conferința Națională de Învățământ Virtual, Software Educational, Ediția a II-a, 29-31 octombrie 2004, Editura Universitatii din Bucuresti, 2004 (Editori: I. Chițescu, H. Georgescu, V. Preda, I. Văduva, I. Tomescu, M. Vlada, G. Pripoae) (ISBN 973-575-947-0) (http://fmi.unibuc.ro/ro/cniv_2004/ ), pag. 121-130
• Realitatea Virtuală (Virtual Reality), tehnologie moderna a informaticii aplicate, CNIV-2004, Noi tehnologii de E-Learning, Conferința Națională de Învățământ Virtual, Software Educational, Ediția a II-a, 29-31 octombrie 2004, Editura Universității din București, 2004 (Editori: I. Chițescu, H. Georgescu, V. Preda, I. Văduva, I. Tomescu, M. Vlada, G. Pripoae) (ISBN 973-575-947-0) (http://fmi.unibuc.ro/ro/cniv_2004/) , pag. 11-28 (in colaborare cu M. D. Popovici)
• Abordarea moderna a conceptului de algoritm, CNIV-2004, Noi tehnologii de E-Learning, Conferința Națională de Învățămant Virtual, Software Educational, Ediția a II-a, 29-31 octombrie 2004, Editura Universității din București, 2004 (Editori: I. Chițescu, H. Georgescu, V. Preda, I. Văduva, I. Tomescu, M. Vlada, G. Pripoae) (ISBN 973-575-947-0) ( http://fmi.unibuc.ro/ro/cniv_2004/) , pag. 231-240
• Software educational-Rezolvarea problemelor cu Eureka, TEPE 2003, Simpozionul “ Tehnologii educaționale pe platforme electronice în învățământul ingineresc”, Conspress, București, 2003 (ISBN 973-6165-44-x), pag. 510-522
• E-Learning și Software educațional, CNIV-2003, Noi tehnologii de E-Learning, Conferința Națională de Învățământ Virtual, Software Educațional, Ediția I, 24-26 octombrie 2003, Editura Universității din București, 2003 (Editori: V. Preda, V. Magearu, I. Văduva, M. Vlada, H. Georgescu, G. Pripoae), (ISBN 973-575-822-9), pag. 7-9 (http://fmi.unibuc.ro/ro/cniv_2003/ )
• Gândirea algoritmica - o filosofie modernă a matematicii și informaticii, CNIV-2003, Noi tehnologii de E-Learning, Conferința Națională de Învățământ Virtual, Software Educational, Editia I, 24-26 octombrie 2003, Editura Universității din București, 2003 (Editori: V. Preda, V. Magearu, I. Văduva, M. Vlada, H. Georgescu, G. Pripoae), (ISBN 973-575-822-9), pag. 27-34 (http://fmi.unibuc.ro/ro/cniv_2003/)
• EUREKA-rezolvitor de probleme, Gazeta de Informatică, vol. 12, nr. 7, 2002, pag. 38-39 • Algorithms for Testing Satisfiability Formulas, ARTIFICIAL INTELLIGENCE REVIEW, Kluwer Academic Publishers – ISSN 0269-2821(cotata ISI), vol.15 , No 3, 2001, pag.153-163 (http://dblp.uni-trier.de/db/indices/a-tree/v/Vlada@Marin.html)
• OLP Models, Conferința de Informatică Teoretică și Tehnologii Informatice, Constanța 2000, Editura LEDA&Muntenia, 2000, pag. 123-127 • Investigation the Experimetal Response of a Biamperometric Detector Operating in Flow Conditions, REV. ROUM. CHIM. (cotată ISI), 1999, 44(10), pag.951-958 (în colaborare cu V. David)
• An efficient algorithm for testing propositional formulas, COMPUTERS AND ARTIFICIAL INTELLIGENCE - ISSN 1335-9150 (cotata ISI), Vol. 17, No. 4, 1998, pag. 383-391. [recenzat 2000a:03062 Sh. T. Ishmukhametov] • Rețele de calculatoare și mediul Internet, Gazeta de Informatică, vol. 10, nr. 3, 2000, pag. 29-36
• Mediul Internet. Concepție, arhitectură și funcționare, Gazeta de Informatică, vol. 10, nr. 4, 2000, pag.45-48 • MIRA - Limbaj de programare pentru grafică, Gazeta de Informatică, vol. 9, nr. 3, 1999, pag. 25-29 • Modele pentru explorarea bazelor de cunoștințe și aplicații în Inteligența artificială, Teză de doctorat, Universitatea din București, Facultatea de Matematică, 1997, www.bibnat.ro/r0000055/5054861.htm
• Complexity of the Unification Algorithms, ANALELE UNIVERSITATII BUCURESTI, Special Issue, PROCEEDINGS of the Anual Meeting of the Faculty of Matematics, 28-30 nov. 1996, matematică-informatică, vol. 46, anul XLVI/1997, pag. 137-145.[ recenzat 68T15:03B35 d8Q25] • Algorithms for Computer Graphics using OOP Techniques, ANALELE UNIVERSITĂȚII DIN BUCUREȘTI, matematică-informatică, vol. 44,anul XLIV/1995, pag. 12-28 (în colaborare cu A. Posea)
• Poligoane stelate. Problema lui Hopf și Pannwitz, Gazeta Matematică, nr. 8/1995, pag. 339-348 • O problemă a lui K. F. Gauss rezolvată cu calculatorul, Gazeta Matematică, nr. 5/1995, pag. 206-209 • Asupra validității unor rezultate, Gazeta Matematică, nr. 2/1995, pag. 57-60
• Șirul anilor cu o proprietate comună, Gazeta Matematică, nr. 8/1994, pag. 350-352. (www.gazetamatematica.ro/ro/htm/arhive/autori/v.htm) • Programarea orientată spre obiecte. Aplicații (I), Gazeta de Informatică, nr. 5/1994, pag. 15-24 (în colaborare cu A. Posea). (www.ginfo.ro)
• Programarea orientată spre obiecte. Aplicații (II), Gazeta de Informatică, nr. 6/1994, pag. 26-33 (în colaborare cu A. Posea)
• Programarea orientată spre obiecte. Aplicații (III), Gazeta de Informatică, nr. 9-10/1994, pag. 18-26 (în colaborare cu A. Posea)
• Programarea orientată spre obiecte. Aplicații (IV), Gazeta de Informatică, nr. 11-12/1994, pag. 27-38 (în colaborare cu A. Posea)
• Grafuri neorientate ți aplicații (I), Gazeta de Informatică, nr. 6/ 1993, pag. 11-15. (citare: H. Georgescu, Drumuri în grafuri, Gazeta de Informatică, nr. 1/1996, pag. 20-25)
• Grafuri neorientate și aplicații (II), Gazeta de Informatică, nr. 7-8/ 1993, pag. 20-27 • Grafuri neorientate și aplicații (III), Gazeta de Informatică, nr. 9/ 1993, pag. 8-15
• Grafuri neorientate și aplicații (IV), Gazeta de Informatică, nr. 11/ 1993, pag. 17-25. (citare: H. Georgescu, Drumuri în grafuri, Gazeta de Informatică, nr. 1/1996, pag. 20-25)
• Problema S32. Acoperirea convexă. În "Probleme rezolvate în limbajul Pascal“ de R. Niculescu, Gr. Albeanu, V. Domocos, Editura Tempus,București, 1992 (în colaborare cu D .M. Popovici), pag. 259-264)
• FARMACO, sistem de cercetare-proiectare asistată de calculator în domeniul farmacocineticii, Lucrările celui de-al VII-lea COLOCVIU DE INFORMATICĂ, IAȘI, (1989), pag. 400-408
• FARMACO, cercetare-proiectare în domeniul farmacocineticii, Lucrările Sesiunii științifice "SISTEME DINAMICE-aplicații în știință și tehnică", ACADEMIA ROMÂNA, Odorheiul Secuiesc (1989) (în colaborare cu D. Enăchescu)
• Pachet de programe pentru calculul rezervelor zăcămintelor fără limite naturale distincte, Lucrările Sesiunii științifice a CENTRULUI DE CALCUL al UNIVERSITĂȚII DIN BUCUREȘTI, 20-21 februarie 1987, TIPOGRAFIA UNIVERSITĂȚII, pag. 496 – 501
• PROLOG - limbaj de programare logică, Lucrările Sesiunii științifice a CENTRULUI DE CALCUL al UNIVERSITĂȚII DIN BUCUREȘTI, 20-21 februarie 1987, TIPOGRAFIA UNIVERSITĂȚII, pag. 429 – 434
• Program pentru modelarea matematică a calculului în topogeodezie, Lucrările celui de-al V-lea COLOCVIU DE INFORMATICĂ, IAȘI, (1985) , volumul III, pag. 780 – 786 • Contribuții la teoria matematică a programelor recursive, STUDII ȘI CERCETĂRI MATEMATICE, (1983), nr. 2, tomul 35, București, pag. 150 – 155 [recenzat 84m : 68025]
• Fixed points of some operators in the space of languages, REVUE ROUMAINE DE MATHEMATIQUE PURES ET APPLIQUEES (1979), nr.4, tome XXIV , București, pag. 659 – 661 [recenzat 81C : 68064 Jurgen Dassow,Magdeburg]
• Puncte fixe ale unor operatori în spațiul limbajelor, Buletinul Cercurilor știintifice studentești, TIPOGRAFIA UNIVERSITĂȚII DIN BUCUREȘTI, (1978), pag. 102 – 104
• Algoritmi pentru aducerea unuui digigraf ireductibil la forma reductibila, Buletinul Cercurilor științifice studentești, TIPOGRAFIA UNIVERSITĂȚII DIN BUCUREȘTI, (1978), pag.37 – 44  

Contracte de cercetare naţionale, Contracte CEEX, Contracte internaţionale:
• 2009-20013, Proiectul „Formarea continuă a profesorilor de matematică în societatea cunoașterii” (ID 63671) cofinanţat din Fondul Social European (FSE) prin POSDRU 2007-20013 și implementat de ISJ Iași – parteneri CCD „Spiru Haret ” Iași, Siveco România și Asociația „Formare Studia” Iași: formarea şi dezvoltarea competenţelor cadrelor didactice din aria curriculara ”Matematică şi Ştiinţe”. • 2009-201‏2, Proiect Multi – Touch „Proces educaţional optimizat în viziunea competenţelor societăţii cunoaşterii” (Curriculumului integrat, inter şi transdisciplinar „Învăţare în societatea cunoaşterii”), cofinanţat din Fondul Social European (FSE) și implementat de Unitatea de management al proiectelor cu finanţare externă, din cadrul MECTS, în parteneriat cu SIVECO România şi Universitatea Naţională de Apărare „CAROL I” (Departamentul ADL) (IPMA International Project Excellence Award 2013: http://ipma.ch/award-news/ipma-announces-the-pe-award-finalists-2013/).
• 2004-2008, „INTUITION” A Network Of Excellence focused on virtual reality and virtual environments applications for future workspaces”, funded by the Research Grant no. FP6-IST-NMP-1-507248-2 of the European Comission, in the Information Society Technologies Programme, under the Sixth Framework Programme – FP6, (coordinator: Institute of Communication and Computer Systems/ ICCS, Greece), partner Faculty of Mathematics and Computer Science Ovidius University of Constanta, http://www.intuition-eunetwork.net, http://www.univ-ovidius.ro/math/ • 2007-2008, DEMODEF- Research of Excellence-CEEX , National Authority for Scientific Research “Detectia şi monitorizarea deficienţelor somatice şi psiho-comportamentale la copil şi adolescent (vârsta între 10 – 18 ani)” , 106/2006 ANCS (coordinator: University of Medicine and Pharmacy “Carol Davila” Bucharest), http://demodef.googlepages.com/
• 2006-2007 (code PR-D11-PT00-48/2005), Research of Excellence-CEEX, National Authority for Scientific Research, (Module: The promotion of participation to research European and international programs: type: Increasing institutional and research programs visibility), The promotion of scientific research concerning: OPERATOR MODELS AND APPLICATIONS, (coordinator: West University of Timişoara, http://modop.uvt.ro/).

Descriere apărută în vol. III, Istoria informaticii românești. Apariție, dezvoltare și impact, Editura Matrixrom, 2020, pag. 488-494

REF.:
Despre Marin Vlada, http://c3.cniv.ro/?q=2020/vlada
Ion Ivan, Marin VLADA, informaticianul profesor și cercetător, 18 ianuarie 2019, https://istoriainformaticii.blogspot.com/

Professor Zohar Manna (1939-2018)

"It pioneered the logical analysis of programs for correctness vis-à-specifications and for termination properties" 

by Nachum Dershowitz and Richard Waldinger, “Zohar Manna (1939-2018)”, Formal Aspects of Computing, vol. 31, no. 6, December 2019, pp. 643-660.
 ----------------
Dear Professor Vlada
I found something you wrote on the internet about the late Zohar Manna (my thesis advisor) and incorporated it in these recent obituaries:

Nachum Dershowitz and Richard Waldinger, December 2019, “Zohar Manna (1939-2018)”, Formal Aspects of Computing, vol. 31, no. 6, pp. 643-660. https://link.springer.com/article/10.1007%2Fs00165-019-00500-4 (see attached)

Nachum Dershowitz and Richard Waldinger, February 2020, “Zohar Manna”,Association of Automated Reasoning (AAR) Newsletter, no. 130. http://aarinc.org/Newsletters/130-2020-02.html#guest

Best,
Nachum
-------------------
 pp.5 - https://link.springer.com/article/10.1007%2Fs00165-019-00500-4

"Zohar’s magnificent textbook, Mathematical Theory of Computation [36], was extraordinarily influential.
It pioneered the logical analysis of programs for correctness vis-à-specifications and for termination properties. For very many of today’s computer scientists, this book was their introduction to formal methods. An example of Zohar’s unsung generosity is this acknowledgment by Marin Vlada (now a professor of computer science at the University of Bucharest):
I must also thank Professor Manna who in 1977 sent me – by package post – his Mathematical Theory of Computation, published in 1974 [and several scientific articles]. I was a student, and I used everything he sent me to advance my undergraduate work. I must admit that I was very surprised by his kindness, considering that Romania is separated from the U.S.A. by a very large ocean. . . .
Thank you very much sir!"

-------------------
References: M. Vlada, Professor Zohar Manna, 21 martie 2011, http://mvlada.blogspot.com/2011/03/professor-zohar-manna.html

 Acknowledgements.
Thank the professor that in 1977 sent me a package post. The package containing the book published in 1974 and several scientific articles.We used the book to the development paper license. Thank you very much sir!

Trebuie să-i mulțumesc și astăzi domnului profesor Manna pentru că în anul 1977 mi-a trimis prin colet poștal cartea sa "Mathematical theory of computation. McGraw Hill, 1974" publicată în anul 1974. Eram student și am folosit tot ce mi-a trimis la elaborarea lucrării mele de licență. Trebuie să recunosc ca am fost foarte mirat de amabilitatea sa, ținănd seama că România este despărțită de U.S.A printr-un ocean foarte mare.

Saturday, February 1, 2020

ROINFO „Romanian Informatics” 2018-2020 – activități

Despre începuturile informaticii românești

Ciclul „Istoria Informaticii românești” – înțelegerea „fenomenului Informaticii românești”
Proiectul ROINFO 2018-2020 - www.c3.cniv.ro/?q=2019/roinfo-2019

"Informatica restabileşte nu numai unitatea matematicilor pure şi a celor aplicate, a tehnicii concrete şi a matematicilor abstracte, dar şi cea a ştiinţelor naturii, ale omului şi ale societăţii. Reabilitează conceptele de abstract şi de formal şi împacă arta cu ştiinţa, nu numai în sufletul omului de ştiinţă, unde erau întotdeauna împăcate, ci şi în filosofarea lor” Grigore C. Moisil (1906-1973), Computer Pioneer Award of IEEE, https://www.computer.org/web/awards/pioneer-grigore-moisil , http://c3.icvl.eu/2018/gr-c-moisil

Anul 2018 - 100 de ani de la MAREA UNIRE și 60 de ani de INFORMATICĂ ROMÂNESCĂ. “Istoria matematicii şi a informaticii în România" la Academia Română Academia Română, prin Divizia de Istoria Științei a Comitetului Român de Istoria și Filosofia Științei și Tehnicii (DIS/CRIFST), a organizat Ciclu de conferințe “Istoria matematicii şi a informaticii în România", în perioada ianuarie-noiembrie 2018, în Sala de Consiliu a Academiei Române, între orele 15-18 (http://c3.cniv.ro/?q=2018/acad-2018, https://www.crifst.ro/). Apariție editorială: ROMANIAN CIVILIZATION Supp.1: "One Hundred Romanian Authors in Theoretical Computer Science", Editura Academiei Române, 2018, Edited by Svetlana Cojocaru, Chişinău, Corresponding Member of the Academy of Sciences of Moldova, Acad. Gheorghe Păun, Curtea de Argeş, Prof. univ. dr. Dragoş Vaida, Bucharest (http://www.c3.icvl.eu/2018/rom-csc) OBIECTIVE: Proiectul ROINFO "Realizări românești în domeniul Informaticii" își propune să elaboreze studii și cercetări pentru a descrie și explica "fenomenul" apariției, evoluției și dezvoltării informaticii în România. Acest demers nu poate fi complet și cuprinzător, fiind un început, decât dacă avem în vedere diversitatea de variabile în timp și spațiu. Suntem conștienți de faptul că studiile vor fi caracterizate de subiectivism, fiind vorba de oameni, evenimente, instituții, procese, teorii și aplicații, metode și tehnologii, evoluții și schimbări etc. De asemenea, demersul nostru este cu atât mai oportun și major, având în vedere faptul că, încă mai există în viață oameni de știință, profesori, cercetători, ingineri, economiști etc, ce au trăit în deceniile '50-'60, când se consolida informatica pe plan mondial și, când s-au construit primele calculatoare electronice din generațiile I-III.

Activități de elaborare, promovare și diseminare

ANUL 2018

1. Mai 2018 - Apel la contribuții pentru Proiectul ROINFO - http://www.c3.cniv.ro/?q=2018/ro-info. Pagina web "Fenomenul" informaticii românești - secvențe cu explicații - http://c3.cniv.ro/?q=2018/restituiri . Deschiderea Listei cărților românești de informatică din perioada 1955-2000, http://c3.cniv.ro/?q=2018/carti-info.

2. 26 mai, 5 iunie 2018, Academia Română în cadrul Ciclului de conferințe “Istoria matematicii şi a informaticii în România" – Lansarea apelului la contributii pentru proiectul ROINFO. Așteptăm de la un public larg aceste contribuții ce pot fi: articole și opinii, studii ale unor concepte și teorii, evoluția și dezvoltarea unor programe pentru dezvoltarea învățământului de informatică, evoluția și dezvoltarea industriei de calculatoare din România, descrierea unor evenimente prin poze, scheme etc. - http://c3.cniv.ro/?q=2018/acad-2018 , http://www.agora.ro/stire/roinfo-informatica-romania-oameni-organiza-ii-evenimente-rezultate-i-tehnologii-apel-la-contri , http://c3.cniv.ro/?q=2018/ro-info Au avut loc conferinţele (participanți la discutii acad. Gheorghe Păun, prof. dr. Dragoș Vaida, prof. dr. Ion Văduva, mat. Dan Farcaș - http://www.c3.cniv.ro/?q=2018/cifa-mecipt ): • „Începuturile informaticii la Universitatea din Bucureşti” de Prof. Dr. Virgil Căzănescu, Universitatea din Bucureşti • „Grigore C. Moisil – Profesorul nostru” de Prof. Dr. Eufrosina Otlăcan, Academia Română, DIS/CRIFST • „Pionieratul nostru în informatică” – IFA, Universitate, ASE, 1957-1973” de Prof. Dr. Dragoș Vaida.

3. 23 august 2018, Casa universitarilor – „Întâlnirea generațiilor de informaticieni” pentru discuții și propuneri privind structura volumelor și denumirea capitolelor. Discuții și observații privind "Fenomenul" informaticii românești - secvențe cu explicații - http://c3.cniv.ro/?q=2018/iir , http://c3.cniv.ro/?q=2018/restituiri , http://c3.cniv.ro/?q=2018/ro-info . Au fost prezenti următorii: Prof. dr. Stelian NICULESCU, Dr. Mat. Dan FARCAȘ, Prof. dr. Ion VĂDUVA, Prof. dr. Virgil CĂZĂNESCU, Prof. dr. Adrian ATANASIU, Prof. dr. Nicolae POPOVICIU, Prof. dr. Marin POPA, Prof. dr. Eduard RĂDĂCEANU, Dr. Fiz. Radu HOMESCU, Dr. Mat. Lucian SPIRIDON, Dr. Mat. Gheorghe RADU, Conf. dr. Eugen ZAHARESCU, Prof. Mat. Radu JUGUREANU, Conf. dr. Marin VLADA. ...

CONTINUARE LA ADRESA - http://www.c3.cniv.ro/?q=2020/roinfo-act

ANUL 2019

7. 9 ianuarie 2019 – Omagierea acad. Grigore C. Moisil de ziua lui – 10 ianuarie. Omagierea acad. Grigore C. Moisil - 60 de ani de la înființarea secției “Mașini de Calcul” la Universitatea din București. Miercuri, 9 ianuarie 2019, Facultatea de Matematică și Informatică a organizat, la 60 de ani de la înființarea secției „Mașini de calcul”, o conferință de omagiere a academicianului Grigore C. Moisil. Evenimentul a avut loc începând cu ora 12:00 în Amfiteatrul „Spiru Haret” al Facultății de Matematică și Informatică. În cadrul conferinței au fost prezentate secvențe audio-video care să reflecte personalitatea profesorului Grigore C. Moisil, a fost făcută o prezentare a lucrării “Istoria informaticii românești. Apariție, dezvoltare și impact. Oameni, organizații, evenimente, rezultate și tehnologii”, ce a fost în curs de elaborare pentru publicare, iar participanții la eveniment au putut afla mai multe detalii cu privire la cariera și la viața academicianului Grigore C. Moisil, http://c3.cniv.ro/?q=2018/moisil2019, https://unibuc.ro/academicianul-grigore-c-moisil-omagiat-la-60-de-ani-de-la-infiintarea-sectiei-masini-de-calcul-la-universitatea-din-bucuresti/ , http://www.c3.cniv.ro/?q=2018/gen-info, https://youtu.be/SEav0F5WES0

8. Februarie 2019 - Articole de Gr. C. Moisil - revista AMC, Ed. Tehnică, Nr. 13-14, 1970 - INSTRUIREA ÎN ȘTIINȚA CALCULATOARELOR, Pag. 81 – Contribuția românească în teoria algebrică a automatelor, - https://www.scribd.com/document/405794652/Articole-Gr-C-Moisil-AMC-Nr-13-14-1970 . Documentare pentru Grigore C. Moisil și Tiberiu Popoviciu - Grigore C. Moisil (1966) - https://www.scribd.com/document/387489845/Gr-C-Moisil-1966 , Tiberiu Popoviciu (1966) - https://www.scribd.com/document/387489488/Tiberiu-Popoviciu-1966, http://c3.cniv.ro/?q=2018/restituiri ...

CONTINUARE LA ADRESA - http://www.c3.cniv.ro/?q=2020/roinfo-act