Lila Kari
Lila Kari | |
Date personale | |
---|---|
Nume la naștere | Lila Santean |
Născută | secolul al XX-lea |
Cetățenie | Canada |
Ocupație | informaticiană |
Activitate | |
Domeniu | calculator cu ADN[1] |
Număr Erdős | 2 |
Instituție | Universitatea din Western Ontario[*][1] Universitatea din Waterloo[*][1] |
Alma Mater | Universitatea din București[1] Universitatea din Turku[2] |
Doctoranzi | Gurjit Randhawa[*][3] Mark Daley[*][3] Bo Cui[*][3] Shinnosuke Seki[*][3] Elena Losseva[*][3] Manasi Kulkarni[*][3] Srujan Enaganti[*][3] Rallis Karamichalis[*][3] Amirhossein Simjour[*][3] |
Premii | Tulip Award in DNA Computing[*] ()[1] |
Modifică date / text |
Lila Kari (născută Santean, n. secolul al XX-lea) este o informaticiană română și canadiană, profesor la Facultatea de Informatică David R. Cheriton la Universitatea din Waterloo, Canada.
Biografie
modificareKari a obținut diploma de master la Universitatea din București în 1987, studiind cu Gheorghe Păun, iar apoi s-a mutat la Universitatea din Turku, în Finlanda, unde a obținut diploma de doctor în 1991, sub îndrumarea lui Arto Salomaa[4][5]. S-a mutat la Universitatea din Western Ontario, ca profesor invitat, în 1993, iar în 1996 a fost angajată acolo pe deplin[5][6]. În 2017, a acceptat postul de profesor de informatică și catedra cercetării din universitatea la Universitatea din Waterloo.
Cercetare
modificareTeza de doctorat a lui Kari a fost în teoria limbajelor formale. La mijlocul anilor 1990, inspirată de un articol publicat de Leonard Adleman în Science, ea și-a îndreptat interesul înspre calculatoare cu ADN[7]. Prin munca sa, împreună cu Laura Landweber, a inițiat și a explorat studiul puterii de calcul a procesării cu ADN la ciliate[8], folosindu-se de experiența sa pentru a demonstra că operațiunile efectuate prin recombinarea genetică a ADN-ului în aceste organisme sunt Turing complete[6]. Mai recent, a studiat probleme de nondeterminism și indecidabilitate în auto-asamblare[9], precum și probleme din informatica biodiversității, unde a propus metode bazate pe reprezentarea ca jocuri haotice a secvențelor de ADN genomic pentru a identifica și clasifica specii[10][11].
Note
modificare- ^ a b c d e https://cs.uwaterloo.ca/~lila/bio.html, accesat în Lipsește sau este vid:
|title=
(ajutor) - ^ Genealogia matematicienilor, accesat în
- ^ a b c d e f g h i Genealogia matematicienilor
- ^ Lila Kari at the Mathematics Genealogy Project
- ^ a b Biografie Arhivat în , la Wayback Machine. pe site-ul Journal of Universal Computer Science. Accesat La 22 februarie 2012
- ^ a b „Biocomputing researcher awarded the Bucke Prize”, Western News, University of Western Ontario,
- ^ Careers in Nanobiotechnology: Through the Eyes of a Mathematician
- ^ The evolution of cellular computing: Nature's solution to a computational problem.
- ^ The Undecidability of the Infinite Ribbon Problem: Implications for Computing by Self-Assembly..
- ^ Mapping the Space of Genomic Signatures.
- ^ An investigation into inter- and intragenomic variations of graphic genomic signatures.
Legături externe
modificare- Pagina la UWO
- Citări Arhivat în , la Wayback Machine. în Google Scholar