## Natalia Gabriela Moangă

### Personal Information

Personal Information

- Born on 21/10/1992 , Râmnicu Vâlcea, Romania

### See my CV here.

See my CV here.

### Research Interests

Research Interests

`My main research interests can be summarized as `**Modal logic, Many-sorted logic,Logic in Computer Science**. However, I am also very keen on studying the connection between Logic and Databases, which I personally consider to be an interesting research matter that can also contribute to my professional development (**Logic in Database, Database Management, Database Security**).

### Studies at Faculty of Mathematics and Computer Science, University of Bucharest

Studies at Faculty of Mathematics and Computer Science, University of Bucharest

**2017 - present:**Ph.D. in Computer Science , Supervisor: Ioana Leuștean**2015 - 2017:**M.Sc. in Database and Web Technologies - Head of class**2012 - 2015:**B.Sc. in Computer Science**2011 - 2014:**Bachelor in Mathematics

### Professional Experience

Professional Experience

**Teaching Assistant**-
**Gymnasium school teacher***(Mathematics and Computer Science)*

### Teaching at Faculty of Mathematics and Computer Science, University of Bucharest

Teaching at Faculty of Mathematics and Computer Science, University of Bucharest

**Computational and Mathematical Logic**(2017 - present)**Database Management System**(2017 - present)**Database Manipulation**(2016 - present)

### Publications:

Publications:

(with Ioana Leuștean), submitted. arXiv:1803.09709**"A many-sorted polyadic modal logic"****"**(with Ioana Leuștean and Traian Florin Şerbănuţă), submitted. arXiv:1905.05036*Operational semantics and program verification using many-sorted hybrid modal logic*"

### Conferences/Seminars:

Conferences/Seminars:

**Talks at conferences:****LATD 2018,**Bern, Switzerland, August 28-31**SYNASC 2018,**Timișoara, Romania, September 20-23

**Talks in seminars:****February 22**^{th}2018: "*Many-sorted polyadic modal logic",*Logic Seminar, Faculty of Mathematics and Computer Science, University of Bucharest

**Member in the organizing commitee:****September 25**“Fuzzy logic meets quantum logic”, BuCal, Faculty of Mathematics and Computer Science, University of Bucharest^{th}-27^{th}2017:**2017 - present**: Logic Seminar, Faculty of Mathematics and Computer Science, University of Bucharest

### Other activities:

Other activities:

*Tutoring 1st year student in Algebra and Geometry*at Faculty of Mathematics and Computer Science*Trainer**Scratch*- Animation and game development for children*Web Technologies (HTML, CSS, JavaScript, jQuery)*- crash-course for children*Mobile development (Android)*- basic applications for children

*Assistant Manager**Grand Summer School -*overseeing all the tutoring workshops and ensuring their effectiveness

### Contact

Contact

`Natalia Gabriela Moangă`

`Faculty of Mathematics and Computer Science `

`University of Bucharest `

`Str. Academiei 14, sector 1,`

`010014, Bucharest, Romania `

**Office:** room 209

### Email

Email

`moanga.natalia[@]gmail.com `

`natalia.moanga[@]drd.unibuc.ro`