Serafina Lapenta – Curriculum Vitae

Serafina Lapenta
Curriculum Vitae
Education
2011–2015 PhD, University of Basilicata, Potenza, Evaluation: Excellent.
2009–2011 Laurea Specialistica – Master Degree, University of Basilicata, Potenza,
110/110 cum laude.
Thesis title: La dimostrazione elementare del Teorema di Completezza del
Calcolo Proposizionale di Lukasiewicz a infiniti valori
2006–2009 Laurea Triennale – Bachelor Degree, University of Basilicata, Potenza, 110/110
cum laude.
PhD Thesis
Title MV-algebras with product: connecting the Pierce-Birkhoff conjecture with Łukasiewicz logic
Supervisor Professor Antonio Di Nola.
Description In this thesis we defined the notion of MV-algebras with both a scalar and a ring
product in connection with the Pierce-Birkhoff conjecture.
Experience
Aug 2016– Post-doc researcher, University of Salerno, Fisciano.
Present Research project: Łukasiewicz modal logic via algebras and dualities.
Aug 2015– Post-doc researcher, University of Salerno, Fisciano.
Aug 2016 Research project: Riesz Spaces and Łukasiewicz logic.
Publications
Papers in Journals
FHL17 Flaminio T., Hosni H., Lapenta S., Convex MV-algebras: many-valued
logics meet decision theory, Studia Logica (2017) DOI: 10.1007/s11225-0169705-9.
LLDMV16 Lapenta S., Leuştean I., Notes on divisible MV-algebras, arXiv:1605.01230
[math.LO], accepted for publication on Soft Computing, DOI:10.1007/s00500-0162339-z.
Dipartimento di Matematica,Via Giovanni Paolo II, 132
84084 Fisciano (SA)
T (+39)089963358 • B [email protected]
Í serafinalapenta.weebly.com
1/5
LLTP16 Lapenta S., Leuştean I., Scalar extensions for the algebraic structures
of Łukasiewicz logic, Journal of Pure and Applied Algebra 220 (2016) 1538–
1553.
LLStInd16 Lapenta S., Leuştean I., Stochastic independence for probability MValgebras, Fuzzy Sets and Systems 298 (2016) 194–206.
LL15 Lapenta S., Leuştean I., Towards understanding Pierce-Birkhoff conjecture via MV-algebras, Fuzzy Sets and Systems 276, 114–130, 2015.
Book chapters
LL16 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
{ Lapenta S., Leuştean I, A general view on the algebraic semantics of
Lukasiewicz logic with product,submitted, arXiv:1411.4987v3 [math.LO].
{ Di Nola A., Lapenta S., Leuştean I., An analysis of the logic of Riesz
Spaces with strong unit, submitted.
Work in progress
{ Di Nola A., Lapenta S., Leuştean I., Infinitary logic and compact Hausdorff Spaces, in preparation.
Communication skills and attendance to scientific events
Conferences and workshops
SCD2016 A general view on MV-algebras with product and normal form
theorems, Soft Computing Days, Beijing (China), November 26th - 30th 2016 invited talk.
LATD2016 Riesz MV-algebras and Divisible MV-algebras: logic, analysis and
polyhedral geometry LATD 2016, Phalaborwa (South Africa) - June 28th 30th 2016 - contributed talk.
ManyVal’15 On MV-algebras with convexity operators - ManyVal’15, Les Diabletets,
Switzerland, December 10th - 13th 2015, contributed talk.
TiLXV Towards an algebraic approach to convex combination - Trends in
Logic XV: Logic for social behaviour, Delft, The Netherlands - June 28th - July 3rd
2015.
Beyond2014 Baker-Beynon duality for Riesz MV-algebras - Beyond True and False
2014, Florence, Italy - December 3rd - 5th 2014, invited talk.
LATD2014 On tensor product in Łukasiewicz logic - LATD 2014, TU Wien, Wien,
Austria - July 16th - 19th 2014, contributed talk.
LATD2014 MV-algebras with product and the Pierce-Birkhoff conjecture LATD 2014, TU Wien, Wien, Austria - July 16th - 19th 2014, contributed talk.
Dipartimento di Matematica,Via Giovanni Paolo II, 132
84084 Fisciano (SA)
T (+39)089963358 • B [email protected]
Í serafinalapenta.weebly.com
2/5
AILA2014 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.
ManyVal’13 f MV-algebras and piecewise polynomial functions - ManyVal’13, Prague,
Czech Republic - September 3rd - 7th 2013, contributed talk.
Seminars
UniMol Łukasiewicz logic and its widespread in mathematics - Dipartimento di
Bioscienze e Territorio, University of Molise, Isernia (IT) - April 5th 2016.
USTINF From logic to functional analysis via Riesz MV-algebras - Institute
of Computer Science, Czech Academy of Science, Prague - December 14th 2016,
invited seminar.
UJ MV-algebras, normal form theorems and decision theory - University
of Johannesburg, Johannesburg - June 13th 2016.
ILLC MV-algebras and the Pierce-Birkhoff conjecture - Algebra|Coalgebra
Seminar, ILLC, Amsterdam - April 20th 2016.
UB On MV-algebras with convexity operators - Logic Seminar at University
of Bucharest, Romania - November 26th 2015, invited seminar.
UNIMI Un approccio algebrico alle combinazioni convesse - Logic Seminar at
Università di Milano, Italy - June 12th 2015, invited seminar.
IMAR Baker-Baynon duality in Riesz MV-algebras - Institute of Mathematics of
the Romanian Academy (IMAR), Bucharest, Romania - March 18th 2014, invited
seminar.
UB On product in Lukasiewicz logic - Universitatea di Bucuresti, Bucharest,
Romania - July 11th 2013, invited seminar.
ROMA3 MV-algebras and MV-modules - University Roma 3, Roma, Italy - November
9th 2012, SELP seminar.
Summer Schools
Aug 25-31 Scuola Estiva di Logica organized by Associazione Italiana di Logica e sue
2013 Applicazioni (AILA).
Aug 19-25 Scuola Estiva di Logica organized by Associazione Italiana di Logica e sue
2012 Applicazioni (AILA).
Grants and Projects
{ INdAM-Cofund 2010, ranked 1st , fellowship declined;
{ Project manager and member of the Marie Curie - RISE project SYSMICS,
grant agreement n. 689176, http://logica.dmi.unisa.it/sysmics;
{ Member of the coordinating unit for the Italian National Research
Project (PRIN2010-11) entitled Metodi logici per il trattamento
dell’informazione.
Dipartimento di Matematica,Via Giovanni Paolo II, 132
84084 Fisciano (SA)
T (+39)089963358 • B [email protected]
Í serafinalapenta.weebly.com
3/5
Visiting periods
Dec 2016 1 week, Prague, UTIA, visiting Prof. Petr Cintula and Prof. Carles Noguera.
Jun 2016 1 month, Johannesburg, Wits University, visiting Prof. Clint Van Alten
(SYSMICS project).
Apr 2016 1 week, Amsterdam, ILLC, visiting Prof. Nick Bezhanishvili.
Jan 2016 1 week, Milan, University of Milan, visiting Prof. Hykel Hosni and Dr.
Tommaso Flaminio.
Nov 2015 1 week, Bucharest, University of Bucharest visiting Prof. Ioana Leuştean.
Jun 2015 1 week, Varese, University of Insubria, visiting Dr. Tommaso Flaminio.
Mar 2014 2 weeks, Bucharest, University of Bucharest visiting Prof. Ioana Leuştean.
Feb-Jul 2013 6 months, Bucharest, University of Bucharest, visiting Prof. Ioana
Leuştean.
Teaching
2016–2017 Coordinator of a mathematics laboratory within the Piano Lauree Scientiche
for the University of Basilicata. The laboratory focused of logic and deduction in
mathematics, and its targets were high school students.
Jen–Feb 2017 Help Teaching at University of Basilicata. Course Calculus – Degree course in
Geology.
2016–2017 Cultore della Materia for SSD MAT/01. Member of the examination
committee for the classes:
{ Matematica 1 - faculty of Engineering, held by Prof. Luca Spada,
{ Matematica 1 - faculty of Chemistry and Biology, held by Prof. Luca Spada,
{ Matematica Discreta, held by Prof. Giacomo Lenzi.
Nov 2016 Help Teaching at University of Salerno. Course Calculus – Degree course in
Biology.
2015–2016 T.A. for the class Universal Algebra at University of Salerno, held by Prof. Di Nola.
2015–2016 Cultore della Materia for SSD MAT/01. Member of the examination
committee for the classes:
{ Matematica per l’economia e Matematica finanziaria, held by Prof. Luca Spada,
{ Matematica Discreta, held by Prof. Giacomo Lenzi,
{ Logica Matematica, held by Prof. Antonio Di Nola.
Nov 2015 Help Teaching at University of Salerno. Course Calculus – Degree course in
Biology.
2013–2014 Tutor at University of Basilicata. Course: Calculus – Degree course in Computer
Science.
Organization of events
{ TACL2015, School and Conference, http://logica.dmi.unisa.it/tacl/.
Dipartimento di Matematica,Via Giovanni Paolo II, 132
84084 Fisciano (SA)
T (+39)089963358 • B [email protected]
Í serafinalapenta.weebly.com
4/5
{ 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
From 2013 Associazione Italiana Logica e sue applicazioni (AILA).
From 2013 MathFuzzLog, the working group on Mathematical Fuzzy Logic.
Awards
May 2012 Laureati Eccellenti 2011, awarded on the basis of outstanding academic performance.
2011 Premio di laurea 2011, from ARDSU (money award) awarded on the basis of
outstanding academic performance.
Languages
Italian Mothertongue
English Intermediate
French Basic
Conversationally fluent
Basic words and phrases only
Fisciano, April 11th 2017.
Dipartimento di Matematica,Via Giovanni Paolo II, 132
84084 Fisciano (SA)
T (+39)089963358 • B [email protected]
Í serafinalapenta.weebly.com
5/5