CURRICULUM VITAE ADRIANA BALAN DATE DE CONTACT R417, Departamentul De Metode și Modele Matematice Facultatea de Științe Aplicate Universitatea Politehnica București 313 Splaiul Independenței, 060042 București Email: adriana.balan@mathem.pub.ro Homepage: http://dep2.mathem.pub.ro/balan/balan_ro.html EDUCAȚIE 2008 Doctor în Matematică, Facultatea de Matematică, Universitatea din București Titlul tezei: Acțiuni și coacțiuni pentru algebra (co)quasi-hopf Conducător științific: Prof. Dr. Acad. Constantin Năstăsescu 1997-1999 Master în Matematică, specializarea Algebră, Facultatea de Matematică, Universitatea din București Titlul dizentației: Extensii întregi de modul algebra Conducător științific: Prof. Dr. Șerban Raianu 1995-2001, Licența în Economie, specializarea Economie Matematică, Facultatea de Cibernetică, Statistică și Informatică Economică, Academia de Științe Economice București Titlul lucrării de licență: Procese stocastice cu aplicații în teoria opțiunilor Conducător științific: Prof. Dr. Veronica Burlacu 1993-1997, Licență în Matematică, specializarea Matematică (în limba franceză), Facultatea de Matematică, Universitatea din București Titlul lucrării de licență: Dualitate pentru grupuri local compacte Conducător științific: Prof. Dr. Șerban Raianu EXPERIENȚĂ PROFESIONALĂ 2009-prezent Lector, Departamentul de Metode și Modele Matematice, Facultatea de 2000-2009 Asistent, Departamentul de Metode și Modele Matematice, Facultatea de 1998-2000 Preparator, Departamentul de Metode și Modele Matematice, Facultatea de 1997-1998 Preparator (plata cu ora), Departamentul de Metode și Modele Matematice, Facultatea de
ACTIVITATEA DIDACTICĂ 1997-prezent Facultatea de Automatic și Calculatoare, Facultatea de Electronică, Telecomunicații și Tehnologia Informației, Facultatea de Inginerie în Limbi Străine, Facultatea de Inginerie Aerospațială Cursuri: Matematică 2, Categorii și Computer Science (master), Matematică 1 Seminarii: Matematică 2, Categorii și Computer Science (master), Matematică 1, Matematică 3, Analiză Matematică, Algebră liniară și geometrie, Ecuații diferențiale, Teoria probabilităților, Matematici speciale, Matematici discrete, Calculus, Probabilități și Statistică Matematică ACTIVITATEA ȘTIINȚIFICĂ DOMENII DE INTERES ȘTIINȚIFIC Fundamentele matematice ale informaticii: teoria categoriilor și logică cu aplicații în informatică, teoria coalgebrelor și logica modală, dualitate Stone, topologie monoidală și teoria categoriilor îmbogățite. Algebră necomutativă: algebra Hopf, grupuri cuantice și generalizări categoriale LUCRĂRI ȘTIINȚIFICE 13 articole științifice publicate în reviste cotate ISI, dintre care 6 publicate în reviste cu factor de impact mai mare de 0.5 (factor de impact pentru 2016-2017). 1 articol științific publicat în revistă științifică cu referenți indexată BDI (Scopus, Zentralblatt MATH, MathSciNet, DBLP). 3 articole publicate în proceedings-urile unor conferințe internaționale, indexate BDI (Scopus, Zentralblatt MATH, DBLP). 3 short contributions, publicate în abstract proceedings-urile unor conferințe internaționale. 5 cărți adresate studențiilor UPB, dintre care la 4 cărți sunt coautor și o carte ca autor unic, publicate la editura Printech recunoscută CNCSIS. GRANTURI Director, UPB-GEX ID_252 no. 23/26.09.2016 Coalgebre pe spații metrice generalizate (2016-2017). Membru în echipa de cercetare, UEFISCDI PN-II-RU-TE-2012-3-0168 Algebre Hopf, categorii tensoriale și monade Hopf, director S. Burciu (2013-2016). Expert în Matematică în proiectul POSDRU/86/1.2/S/6248 Sistem de formare și evaluare centrat pe student, online, la discipline fundamentale de licență și masterat din invățământul superior tehnic, Universitatea Politehnica București (2013). Membru în echipa de cercetare, CNCSIS project PN II RU TE_45 no. 88/02.08.2010 Hopf Algebras, Quantum Groups, Representations and Tensor Categories, director M. Iovanov (2010-2013).
Director, CNCSIS project PN II RU PD_56 no. 19/03.08.2010 Monade, categorii îmbogățite și coalgebre (2010-2012). Royal Society International Travel Grant (octombrie-noiembrie 2009) Erasmus Grant (februarie-iulie 1999) Grant la care am aplicat în calitate de director dar nu am obtinut finanțare: PN-II-RU-PD-2012-3- 0308 Coalgebre, monade si structuri de ordine (locul 11 din 49 de proiecte depuse, 82.67 puncte) Premierea rezultatelor cercetării UEFISCDI RU PRECISI - pentru articolele A. Balan, A. Kurz, On coalgebras over algebras, Theoretical Computer Science 412(38):4989-5005 (2011) A. Balan, A. Kurz, J. Velebil, Positive Fragments of Coalgebraic Logics, Logical Methods in Computer Science 11(3:18):1-51 (2015) A. Balan, A. Kurz, J. Velebil, An Institutional Approach to Positive Coalgebraic Logics, Journal of Logic and Computation, 27(6):1799 1824 (2017) VIZIBILITATE INTERNAȚIONALĂ CITĂRI: https://scholar.google.ro/citations?user=cfaivw8aaaaj&hl=en 15 citări în reviste cotate ISI, dintre care 12 în reviste cu factor de impact mai mare de 0.5 (factor de impact pentru 2016-2017). 11 citări în reviste științifice/proceedings-uri indexate BDI (Scopus, Zentralblatt MATH, DBLP). 1 citare într-o monografie publicată la Cambridge University Press (2016): B. Jacobs, Introduction to coalgebra. Towards mathematics of states and observations. 4 citări în alte reviste științifice PREZENTĂRI SUSȚINUTE LA CONFERINȚE INTERNAȚIONALE A many-valued framework for coalgebraic logics over generalised metric spaces, "1st Working Formal Methods Symposium FROM 2017", București, Romania, Iulie 2017. A multi-valued framework for coalgebraic logics over generalised metric spaces, "8th conference on Topology, Algebra and Categories in Logic TACL 2017", Praga, Czech Republic, Iunie 2017. Some aspects of positive coalgebraic logic, "Duality in Computer Science", Dagstuhl, Germania, Octombrie 2015. When Hopf monads are Frobenius, "8th Congress of Romanian Mathematicians", Iaşi, România, Iunie 2015. An Institutional Approach to Positive Coalgebraic Logic, "22nd International Workshop on Algebraic Development Techniques WADT 2014", Sinaia, România, Septembrie 2014. Positive Fragments of Coalgebraic Logics, Oberwolfach Seminar Mathematics for Scientific Programming, Oberwolfach, Germania, Noiembrie 2013. Positive Fragments of Coalgebraic Logics, "5th Conference on Algebra and Coalgebra in Computer Science CALCO 2013", Varșovia, Poland, Septembrie 2013. On Coalgebraic Logic over Poset, "11th International Workshop on Coalgebraic Methods in Computer Science CMCS 2012", Tallinn, Estonia, Martie 2012.
Finitary Functors: from Set to Preord and Poset, "4th Conference on Algebra and Coalgebra in Computer Science CALCO 2011", Winchester, Marea Britanie, Septembrie 2011. On Coalgebras over Algebras, "10th International Workshop on Coalgebraic Methods in Computer Science CMCS 2010", Paphos, Cipru, Martie 2010. Crossed products and monoidal categories for coquasi-hopf algebras, "Noncommutative Structures in Mathematics and Physics", Bruxelles, Belgia, Iulie 2008. Galois extensions for coquasi-hopf algebras, "International Conference on Modules and Representation Theory" - Satellite Conference of the Fifth European Congress of Mathematics, Cluj Napoca, România, Iulie 2008. A Morita context and Galois extensions for quasi-hopf algebras, "New techniques in Hopf algebras and graded ring theory", Bruxelles, Belgia, Septembrie 2006. Integral extension of module algebras, "Rings, Modules and Representations Euroconference", Constanţa, România, August 2000. PARTICIPĂRI LA CONFERINȚE INTERNAȚIONALE Rings, Categories and Hopf algebras, București, România, Mai 2013. Workshop on Category Theory, Coimbra, Portugalia, Iulie 2012. Hopf Algebras and Tensor Categories, Almeria, Spania, Iulie 2011. Category Theory, Algebra and Geometry, Louvain la Neuve, Belgia, Mai 2011. 91th Peripathetic Seminar on Sheaves and Logic PSSL 2010, Amsterdam, Olanda, Noiembrie 2010. Hopf Algebras in Noncommutative Algebra and Physics, Bruxelles, Belgia, Mai 2002. PREZENTARI LA SEMINARII ȘTIINȚIFICE INTERNAȚIONALE: Coalgebra Functors on Set and on Quantale-Enriched Categories, Monoidal Topology Seminar, University of Aveiro, Portugalia, Mai 2018. Finitary functors: from Set to Preord, Joint Computer Science Seminar, Universities of Swansea and Bath (by on-line conferencing), Marea Britanie, Octombrie 2011. Galois extensions and (coquasi) Hopf algebras, Leicester Pure Mathematics Seminar Series, University of Leicester, Marea Britanie, Octombrie 2009. Hopf algebras and discrete structures, Coalgebra-Category Theory Seminar, University of Leicester, Marea Britanie, Octombrie 2009. Crossed products and Hopf-Galois extensions, Antwerp Ring Theory Seminar, UIA, Universiteit Antwerpen, Belgia, December 2006. Quantum Commutative Algebras, Antwerp Ring Theory Seminar, UIA, Universiteit Antwerpen, Belgia, June 1999. VIZITE DE CERCETARE Mai 2018 Dept. Mathematics, University of Aveiro, Portugal. Iulie 2017 Dept. Computer Science, University of Leicester. Iulie 2012 Centrum Wiskunde & Informatica Amsterdam. Mai 2012 Dept. Mathematics, Czech Technical Univ. Prague. Decembrie 2011 Dept. Computer Science, University of Leicester.
Octombrie 2011 Dept. Computer Science, University of Bath. Mai Iunie 2011 Dept. Computer Science, University of Leicester. Noiembrie - Decembrie 2010 Dept. Computer Science, University of Leicester. Octombrie - Noiembrie 2009 (2 months), Dept. Computer Science, University of Leicester. Noiembrie - Decembrie 2006, UIA, Universiteit Antwerpen, Belgia. Martie - Aprilie 2003 UIA, Universiteit Antwerpen, Belgia. Februarie - Iulie 1999 (6 months), UIA, Universiteit Antwerpen, Belgia. ACTIVITATE DE RECENZIE Recenzor pentru Mathematical Reviews - AMS, USA Referent științific pentru UPB Sci. Bull- Series A, Applied Categorical Structures, Logical Methods in Computer Science, Theoretical Computer Science ALTE ACTIVITĂȚI ACADEMICE 2008 2013: Membru în Comisia de Asigurare a Calității a Facultății de Științe Aplicate, reprezentând Departamentul de Metode și Modele Matematice. 2011 2013: Coordonator al programului de Master de cercetare Logică Matematică și Aplicații din cadrul Facultății de Științe Aplicate, responsabil acreditare ARACIS în 2011. 2015 prezent: Membru în Biroul Consiliului Departamentului de Metode și Modele Matematice. Data... Semnătura...