Ștefan Ciobâcă
AeroLeads people directory · profile

Ștefan Ciobâcă Email & Phone Number

Associate Professor at Alexandru Ioan Cuza University
Location: Iaşi, Romania 9 work roles 4 schools
LinkedIn matched
✓ Verified August 2026 3 data sources Profile completeness 86%

Contact Signals

LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Alexandru Ioan Cuza University
Role
Associate Professor
Location
Iaşi, Romania
Company size
768 employees

Who is Ștefan Ciobâcă? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Ștefan Ciobâcă is listed as Associate Professor at Alexandru Ioan Cuza University, a with 768 employees, based in Iaşi, Romania. AeroLeads shows a matched LinkedIn profile for Ștefan Ciobâcă.

Ștefan Ciobâcă previously worked as Lecturer at Alexandru Ioan Cuza University and Postdoctoral Research Assistant at Alexandru Ioan Cuza University. Ștefan Ciobâcă holds Doctor Of Philosophy - Phd, Computer Science from École Normale Supérieure Paris-Saclay (Ens Cachan).

Company email context

Email format at Alexandru Ioan Cuza University

This section adds company-level context without repeating Ștefan Ciobâcă's masked contact details.

Alexandru Ioan Cuza University

Review company-level records connected to Ștefan Ciobâcă before choosing the right outreach path.

View email format View company profile Management contacts
Profile bio

About Ștefan Ciobâcă

Passionate about programming and computer science.

Current workplace

Ștefan Ciobâcă's current company

Company context helps verify the profile and gives searchers a useful next step.

Alexandru Ioan Cuza University
Alexandru Ioan Cuza University
Associate Professor
iasi, iasi, romania
Website
uaic.ro
Employees
768
AeroLeads page
Company profile
View company profile Email format
9 roles

Ștefan Ciobâcă work experience

A career timeline built from the work history available for this profile.

Associate Professor

Current
Alexandru Ioan Cuza University

Iaşi, Romania

Currently teaching Logic for Computer Science and Algorithm Design to first-year BSc students and Functional Programming (Haskell) to second-year BSc students.Research on formal verification.

Feb 2015 - Present

Lecturer

Alexandru Ioan Cuza University

Iaşi, Romania

Teaching Logic for Computer Science (BSc level), Functional Programming (tutorials), Object-Oriented Programming (labs).

Oct 2013 - Feb 2015

Postdoctoral Research Assistant

Alexandru Ioan Cuza University

Iaşi, Romania

Worked on the K framework (https://kframework.org/) for rewriting based operational semantics of programming languages.

Nov 2011 - Dec 2013

Research Assistant (Phd Student)

Cnrs

Cachan, Île-De-France, France

Researched methods for proving security properties of electronic voting protocols as part of my PhD thesis.

Oct 2008 - Oct 2011

Teaching Assistant (Moniteur)

École Normale Supérieure Paris-Saclay (Ens Cachan)

Cachan, Île-De-France, France

Teaching assistant for various courses, including Logic and Computability, Tree Automata, Advanced Algorithms, Programming 1.2 (Ocaml).

Oct 2008 - Sep 2011

Software Design Engineer Intern

Microsoft

Redmond, Washington, United States

Worked on the Visual Basic Data team on a data form designer.

Aug 2006 - Oct 2006

Studentische Hilfskraft (Hiwi)

University Of Konstanz

Constance, Baden-Württemberg, Germany

Implemented a novel image segmentation algorithm described in a recent research article and an active SVM learning algorithm for detecting cancerous cells in the KNIME framework (then called Hades).

Jan 2006 - Jul 2006

Software Design Engineer Intern

Microsoft

Redmond, Washington, United States

Worked on the Core File Services team, on the Windows Vista backup tool.

Jul 2005 - Sep 2005

C++ Developer

Gemini Cad Systems/Venus Technologies Provider

Iaşi, Romania

Worked on an automated nesting system for the textile industry. Implemented new feature for nesting on tubular fabrics. Improved algorithm performance.

Oct 2004 - May 2005
Team & coworkers

Colleagues at Alexandru Ioan Cuza University

Other employees you can reach at uaic.ro. View company contacts for 768 employees →

EC Elena Ciortescu Elena Ciortescu Colleague at Alexandru Ioan Cuza UniversityIaşi, Romania View → DD Dumitrela Diaconu Dumitrela Diaconu Colleague at Alexandru Ioan Cuza UniversityIaşi, Romania View → LH Lucian Hritcu Lucian Hritcu Colleague at Alexandru Ioan Cuza UniversityRomania View → GC George Ceausu George Ceausu Colleague at Alexandru Ioan Cuza UniversityRomania View → CG Cristian Gatu Cristian Gatu Colleague at Alexandru Ioan Cuza UniversityIaşi, Romania View → AS Andrei Stipiuc Andrei Stipiuc Colleague at Alexandru Ioan Cuza UniversityRomania View → ID Ionut Dinu Ionut Dinu Colleague at Alexandru Ioan Cuza UniversityIaşi, Romania View → MT Mihai Talmaciu Mihai Talmaciu Colleague at Alexandru Ioan Cuza UniversityRomania View → PD Popa Diana Popa Diana Colleague at Alexandru Ioan Cuza UniversityRomania View → DG Dumitrel Ghiba Dumitrel Ghiba Colleague at Alexandru Ioan Cuza UniversityIaşi, Romania View →
4 education records

Ștefan Ciobâcă education

Doctor Of Philosophy - Phd, Computer Science

École Normale Supérieure Paris-Saclay (Ens Cachan)

Thesis: "Verification and Composition of Security Protocols with Applications to Electronic Voting".

Master'S Degree, Computer Science

École Normale Supérieure Paris-Saclay (Ens Cachan)

Bachelor'S Degree, Computer Science

Alexandru Ioan Cuza University

Highschool (Baccalaureate)

Ștefan Cel Mare National College
FAQ

Frequently asked questions about Ștefan Ciobâcă

Quick answers generated from the profile data available on this page.

What company does Ștefan Ciobâcă work for?

Ștefan Ciobâcă works for Alexandru Ioan Cuza University.

What is Ștefan Ciobâcă's role at Alexandru Ioan Cuza University?

Ștefan Ciobâcă is listed as Associate Professor at Alexandru Ioan Cuza University.

Where is Ștefan Ciobâcă based?

Ștefan Ciobâcă is based in Iaşi, Romania while working with Alexandru Ioan Cuza University.

What companies has Ștefan Ciobâcă worked for?

Ștefan Ciobâcă has worked for Alexandru Ioan Cuza University, Cnrs, École Normale Supérieure Paris-Saclay (Ens Cachan), Microsoft, and University Of Konstanz.

Who are Ștefan Ciobâcă's colleagues at Alexandru Ioan Cuza University?

Ștefan Ciobâcă's colleagues at Alexandru Ioan Cuza University include Elena Ciortescu, Dumitrela Diaconu, Lucian Hritcu, George Ceausu, and Cristian Gatu.

How can I contact Ștefan Ciobâcă?

You can use AeroLeads to view verified contact signals for Ștefan Ciobâcă at Alexandru Ioan Cuza University, including work email, phone, and LinkedIn data when available.

What schools did Ștefan Ciobâcă attend?

Ștefan Ciobâcă holds Doctor Of Philosophy - Phd, Computer Science from École Normale Supérieure Paris-Saclay (Ens Cachan).

Find 750M verified contacts

Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.