Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest
Universitatea din Bucuresti este acum prezenta pe Hack the Box!
Daca aveti cont pe Hack the Box si vreti sa primiti o invitatie pentru a face parte din echipa de studenti a universitatii, trimiteti user-ul, numele complet, grupa si un e-mail de contact (catre Ruxandra Olimid).
Title: Protocols in Dynamic Epistemic Logic
Abstract: Dynamic epistemic logics are useful in reasoning about knowledge and certain acts of learning (epistemic actions). However, not all epistemic actions are allowed to be executed in an initial epistemic model, and this is where the concept of a protocol comes in: a protocol stipulates what epistemic actions are allowed to be performed in a model. The aim of my presentation is to introduce the audience to the account of protocols in [1, 2].
Title: A quantitative analysis of the “Lion-Man” game
Abstract: We analyze, based on an interplay between ideas and techniques from logic and geometric analysis, a pursuit-evasion game. More precisely, we focus on a discrete lion and man game with an ε-capture criterion. We prove that in uniformly convex bounded domains the lion always wins and, using ideas stemming from proof mining, we extract a uniform rate of convergence for the successive distances between the lion and the man. As a byproduct of our analysis, we study the relation among different convexity properties in the setting of geodesic spaces.
Joint work with Genaro López-Acedo and Adriana Nicolae.
– Burse de merit anul II: Costea Marina si Nicolae Cristian (2500 RON fiecare)
– Burse de merit anul I: Marian Gusatu si Bogdan Macovei (2.500 RON fiecare)
– Premii de cercetare pentru sem I (500 RON fiecare): Marian Gusatu, Bogdan Macovei, Horatiu Cheval, Parvu Daniel
– Bursa de cercetare pentru sem II: Horatiu Cheval (1000 RON pe luna martie-iulie)
POSTPONED UNTIL FURTHER NOTICE.
Speaker: Ioan Constantin (Orange Romania)
Abstract: A brief walkthrough some of the challenges in offering advanced cyber security solutions for Business and Critical Infrastructures, from a Managed Security Services Provider’s standpoint. We’ll talk threat detection and mitigation, the specifics of OT Security in Critical Infrastructure, compliance and best practices. We’ll also glance at some of the research and development in these areas.
Title: BLOCKCHAIN – More than a buzzword
Speaker: Ionut-Daniel Dobos (MBN Technologies)
Abstract: In this presentation we will take a look at the concept of a blockchain as a mean to hold historical transactional data (while maintaining all the core concepts of Cryptography) and moreover, to see how IPFS uses such approaches to ensure a way of general data storage with the same capabilities. We will choose the Ethereum network as a use case for the first topic, taking a deeper look into the upcoming Casper update for the consensus mechanism, introducing the Proof of Stake paradigm.
Pentru desfășurarea activitaților de practică din anul I, semestrul I, studenții SLA au la dispoziție următoarele opțiuni:
– Bitdefender
– certSIGN
– Runtime Verification Romania, subsidiara a Runtime Verification, Inc
– Secureworks
– BRD
– Orange
– SRI-Cyberint
Vor fi anuntati si alti parteneri!
Bursele Bitdefender de merit (acordate in urma rezultatelor din semestrul I, anul universitar 2019-2020), premiile si bursele de cercetare vor fi anuntate la inceputul lunii martie.
Ultima bursa Bitdefender acordata unui studenti SLA este bursa de merit pentru rezultatele din semestru II in anul universitar 2018-2019, care a fost acordata studentului Constantin Cir.
Prima intalnire de pregatire cu studentii FMI pentru ECSC 2020 va avea loc miercuri, 26 februarie, ora 14:00 in sala 214 (sala Google). Participa: Silviu Sofronie (Bitdefender). Cei care doresc sa participe trebuie sa completeze urmatorul formular: https://forms.gle/RNMK2aPbehE1BGBD6
Mai multe informatii despre ECSC: http://www.cybersecuritychallenge.ro/
Pentru studentii la masterul de SLA, participarea la orele de pregatire poate fi considerata practica (mai multe detalii la cerere, la prima intalnire).
Va asteptam!
Speaker: Horia Velicu (BRD – Groupe Societe Generale)
Abstract: Presentation of topics of interest for 2020, objectives and data available at BRD. Proposals for the themes for the applied research institute that will be sponsored this year. Presentation of the new BRD AI Hub.