Djamila Baroudi
Software Engineer @Bruin
Berlin, DE
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
Mar 2024 — Present
Software Engineer @Bruin
View department →
Berlin, DE
EDUCATION
N/A
Université de Mostaganem
Doctor of Science, Computer Science
2020 — 2020
Udacity
AI Programming with Python Nanodegree, Artificial Intelligence
2010 — 2012
Université de Mostaganem
Master of Computer Applications (MCA), Technologies de l''information
2016 — 2017
Universite de Lorraine
Master 2 (M2), Software: Formal methods and Engineering
SKILLS
AlgorithmesCC++Coq Proof AssistantJavaLatexPhpPythonDéveloppement De LogicielProgrammationTeamworkPooPhotoshopUmlMac OsUnixLinuxMicrosoft WindowsNetbeansEclipseModel CheckingFormal VerificationDecision ProceduresLogics and ProofsNetwork SecuritySecurity TheoryEncryption SoftwareJava ESat SolversEvent BRewriting for Programming and ProofsMulti-Agent SystemsOcamlRodinAutomata
ABOUT DJAMILA BAROUDI
From a Ph.D. in Computer Science to a professional Front-End Developer, I bring a unique…
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.