Europass Curriculum Vitae Personal Information Name Date of birth Nationality Address Serafina Lapenta January 29th, 1987 Italian Università degli Studi di Salerno Dipartimento di Matematica Via Giovanni Paolo II, 132 84084 Fisciano (SA) Italia E-mail [email protected] [email protected] Web page serafinalapenta.weebly.com Experience Current Position August 2016 Post-doc researcher at University of Salerno Research project: “Łukasiewicz modal logic via algebras and dualities” July 2015–July 2016 Post-doc researcher at University of Salerno Research project: “Riesz Spaces and Łukasiewicz logic” Education and training 2011-2014, Thesis defended on 10 March 2015 PhD in Mathematics (Dottorato di Ricerca in Matematica) with grant SSD MAT/01 “Logica Matematica”, with evaluation “Excellent” Thesis title: "MV-algebras with product: connecting the Pierce-Birkhoff conjecture with Łukasiewicz logic". Dipartimento di Matematica, Informatica ed Economia, Universitá degli Studi della Basilicata. 2009-2011, Thesis defended on 20 July 2011 Master Degree in Mathematics (Laurea Specialistica in Matematica), 110/110 cum laude. Thesis title: "La dimostrazione elementare del Teorema di Completezza del Calcolo Proposizionale di Lukasiewicz a infiniti valori". Dipartimento di Matematica ed Informatica, Universitá degli Studi della Basilicata. 2006-2009, Thesis defended on 23 September 2009 Bachelor Degree in Mathematics (Laurea Triennale in Matematica), 110/110 cum laude. Dipartimento di Matematica ed Informatica, Universitá degli Studi della Basilicata. Page 1 / 5 - Curriculum vitæ of Lapenta, Serafina Pubblication Papers in Journals 1. Flaminio T., Hosni H., Lapenta S., Convex MV-algebras: many-valued logics meet decision theory, accepted on Studia Logica. 2. Lapenta S., Leuştean I., Notes on divisible MV-algebras, arXiv:1605.01230 [math.LO], accepted for publication on Soft Computing, DOI:10.1007/s00500016-2339-z. 3. Lapenta S., Leuştean I., Scalar extensions for the algebraic structures of Łukasiewicz logic, Journal of Pure and Applied Algebra 220 (2016) 1538–1553. 4. Lapenta S., Leuştean I., Stochastic independence for probability MV-algebras, Fuzzy Sets and Systems 298 (2016) 194–206. 5. Lapenta S., Leuştean I., Towards understanding Pierce-Birkhoff conjecture via MV-algebras, Fuzzy Sets and Systems 276, 114–130, 2015. Book chapters 1. Lapenta S., Leuştean I., A general view on normal form theorems for Łukasiewicz logic with product, to appear in Dieter Probst and Peter Schuster (eds.), “Concepts of Proof in Mathematics, Philosophy, and Computer Science”. Ontos Mathematical Logic. Walter de Gruyter, Berlin. Submitted papers 1. Lapenta S., Leuştean I, A general view on the algebraic semantics of Lukasiewicz logic with product,submitted, arXiv:1411.4987v3 [math.LO]. 2. Di Nola A., Lapenta S., Leuştean I., An analysis of the logic of Riesz Spaces with strong unit, submitted. Work in progress 1. Di Nola A., Lapenta S., Norm MV-algebras and compact Hausdorff Spaces, in preparation. Page 2 / 5 - Curriculum vitæ of Lapenta, Serafina Conferences 1. “A general view on MV-algebras with product and normal form theorems”, Soft Computing Days, Beijing (China), November 26th - 30th 2016 - invited talk. 2. “Riesz MV-algebras and Divisible MV-algebras: logic, analysis and polyhedral geometry” LATD 2016, Phalaborwa (South Africa) - June 28th - 30th 2016 contributed talk, 3. “On MV-algebras with convexity operators” - ManyVal’15, Les Diabletets, Switzerland, December 10th - 13th 2015, contributed talk. 4. “Towards an algebraic approach to convex combination” - Trends in Logic XV: Logic for social behaviour, Delft, The Netherlands - June 28th - July 3rd 2015. 5. “Baker-Beynon duality for Riesz MV-algebras” - Beyond 2014, Florence, Italy December 3rd - 5th 2014, invited talk. 6. "On tensor product in Łukasiewicz logic" - LATD 2014, TU Wien, Wien, Austria - July 16th - 19th 2014, contributed talk. 7. "MV-algebras with product and the Pierce-Birkhoff conjecture" - LATD 2014, TU Wien, Wien, Austria - July 16th - 19th 2014, contributed talk. 8. "An extension to the notion of MV-algebras: f MV-algebras" - XXV AILA Conference, Scuola Normale Superiore, Pisa, Italy - April 14th - 17th 2014, contributed talk. 9. "f MV-algebras and piecewise polynomial functions" - ManyVal’13, Prague, Czech Republic - September 3rd - 7th 2013, contributed talk. Seminars 1. “From logic to functional analysis via Riesz MV-algebras” - Institute of Computer Science, Czech Academy of Science, Prague - December 14th 2016, invited seminar. 2. “MV-algebras, normal form theorems and decision theory” - University of Johannesburg, Johannesburg - June 13th 2016. 3. “MV-algebras and the Pierce-Birkhoff conjecture” - Algebra|Coalgebra Seminar, ILLC, Amsterdam - April 20th 2016. 4. “On MV-algebras with convexity operators” - Logic Seminar at University of Bucharest, Romania - November 26th 2015, invited seminar. 5. "Un approccio algebrico alle combinazioni convesse" - Logic Seminar at Università di Milano, Italy - June 12th 2015, invited seminar. 6. "Baker-Baynon duality in Riesz MV-algebras" - Institute of Mathematics of the Romanian Academy (IMAR), Bucharest, Romania - March 18th 2014, invited seminar. 7. "On product in Lukasiewicz logic" - Universitatea di Bucuresti, Bucharest, Romania - July 11th 2013, invited seminar. 8. "MV-algebras and MV-modules" - University Roma 3, Roma, Italy - November 9th 2012, SELP seminar. Page 3 / 5 - Curriculum vitæ of Lapenta, Serafina Summer Schools 1. August 25th -31st 2013. I have attended the "Scuola Estiva di Logica" organized by "Associazione Italiana di Logica e sue Applicazioni"(AILA). 2. August 19th - 25th 2012. I have attended the "Scuola Estiva di Logica" organized by "Associazione Italiana di Logica e sue Applicazioni"(AILA). Visiting periods 1. June 2016 (1 month), Johannesburg, visiting Prof. Clint Van Alten (SYSMICS project). 2. April 2016 (1 week), Amsterdam, visiting Prof. Nick Bezhanishvili. 3. January 2016 (1 week), Milan, visiting Prof. Hykel Hosni and Dr. Tommaso Flaminio. 4. November 2015 (1 week), Bucharest visiting Prof. Ioana Leuştean. 5. June 2015 (1 week), Varese, visiting Dr. Tommaso Flaminio. 6. March 2014 (2 weeks), Bucharest visiting Prof. Ioana Leuştean. 7. February-July 2013 (6 months), Bucharest, visiting Prof. Ioana Leuştean. Grants and Projects 1. INdAM-Cofound 2010, ranked 1st , fellowship declined; 2. Project manager and member of the Marie Curie - RISE project “SYSMICS”, grant agreement n. 689176, http://logica.dmi.unisa.it/sysmics; 3. Member of the coordinating unit for the Italian National Research Project (PRIN2010-11) entitled Metodi logici per il trattamento dell’informazione. Teaching 1. 2015–2016, T.A. for the class Universal Algebra at University of Salerno, held by Prof. Di Nola. 2. 2015–2016, “Cultore della Materia” for SSD MAT/01. Member of the examination committee for the class Matematica per l’economia e Matematica finanziaria, held by Prof. Luca Spada. 3. November 2015, “Help Teaching” at University of Salerno. Course Calculus – Degree course in Biology. 4. 2013–2014, “Tutor” at University of Basilicata. Course: Calculus – Degree course in Computer Science. Page 4 / 5 - Curriculum vitæ of Lapenta, Serafina Additional informations Organization 1. TACL2015, School and Conference, http://logica.dmi.unisa.it/tacl/. 2. Soft Computing Days 2016, https://sites.google.com/site/softcomputingdays/ Service I have been reviewer for the following journals/conference proceedings: Soft Computing, Mathematical Logic Quarterly, Journal of Logic and Computation, Bulletin of the Section of Logic, Discussiones Mathematicae - General Algebra and Applications, Proceedings of the Tblilisi Symposium, FUZZ-IEEE. Memberships 1. From 2013 I am a member of "Associazione Italiana Logica e sue applicazioni" (AILA). 2. From 2013 I am a member of MathFuzzLog, the working group on Mathematical Fuzzy Logic. Prizes 1. May 2012 "Laureati Eccellenti 2011", awarded on the basis of outstanding academic performance. 2. "Premio di laurea 2011" from ARDSU (money award) awarded on the basis of outstanding academic performance. Languages My first language is Italian, I am fluent in English. Page 5 / 5 - Curriculum vitæ of Lapenta, Serafina