Navigation

SOS to the world...

UP IN THE AIR
This is work in continuous progress!

Message in a bottle...

e-mail address

Created by Dieter Schneider and modified by Irina Asavoae from www.csstemplateheaven.com

..........................................................
present
..........................................................
past
..........................................................
future
..........................................................

"It is a miracle that curiosity survives formal education.", so Einstein said!...

Here...

Research Assistant in the Process and Data group at Computer Science Department of Swansea University , working in the ACiD project with Markus Roggenbach. Our share of ACiD is the design and implementation of a tool which employs abstract interpretation and model checking to model and verify for collusion Android applications.

There...

Graduated the Faculty of Mathematics, University of Bucharest with B.Sc. and M.Sc. in the Foundations of Computer Science group; spent some time in the School of Computing, National University of Singapore teaching, learning, researching in the Programming Languages & Software Engineering group; got Ph.D. from the Faculty of Computer Science Faculty, University A. I. Cuza in the FMSE group and then became an engineer in Verimag Laboratory, Joseph Fourier University, as part of the Synchrone group. Also, before I forget, @That there are some published papers that I've worked on.

And somewhere!

But, then, who could tell the []future?, except for the temporal logics, of course... Meanwhile, the rest of us just get to glimpse at oo!






Contributions


Journal publications



Reviewed International Conferences



Software