ROMANIAN CIVILIZATION SUPPLEMENT 1 ONE HUNDRED ROMANIAN AUTHORS IN THEORETICAL COMPUTER SCIENCE ROMANIAN CIVILIZATION General Editor: Victor SPINEI SUPPLEMENT 1 THE ROMANIAN ACADEMY THE INFORMATION SCIENCE AND TECHNOLOGY SECTION ONE HUNDRED ROMANIAN AUTHORS IN THEORETICAL COMPUTER SCIENCE Edited by: SVETLANA COJOCARU GHEORGHE PĂUN DRAGOŞ VAIDA EDITURA ACADEMIEI ROMÂNE Bucureşti, 2018 III Copyright © Editura Academiei Române, 2018. All rights reserved. EDITURA ACADEMIEI ROMÂNE Calea 13 Septembrie nr. 13, sector 5 050711, Bucureşti, România Tel: 4021-318 81 46, 4021-318 81 06 Fax: 4021-318 24 44 E-mail:
[email protected] Web: www.ear.ro Peer reviewer: Acad. Victor SPINEI Descrierea CIP a Bibliotecii Naţionale a României One hundred Romanian authors in theoretical computer science / ed. by: Svetlana Cojocaru, Gheorghe Păun, Dragoş Vaida. - Bucureşti : Editura Academiei Române, 2018 ISBN 978-973-27-2908-3 I. Cojocaru, Svetlana (ed.) II. Păun, Gheorghe informatică (ed.) III. Vaida, Dragoş (ed.) 004 Editorial assistant: Doina ARGEŞANU Computer operator: Doina STOIA Cover: Mariana ŞERBĂNESCU Funal proof: 12.04.2018. Format: 16/70 × 100 Proof in sheets: 19,75 D.L.C. for large libraries: 007 (498) D.L.C. for small libraries: 007 PREFACE This book may look like a Who’s Who in the Romanian Theoretical Computer Science (TCS), it is a considerable step towards such an ambitious goal, yet the title should warn us about several aspects. From the very beginning we started working on the book having in mind to collect exactly 100 short CVs. This was an artificial decision with respect to the number of Romanian computer scientists, but natural having in view the circumstances the volume was born: it belongs to a series initiated by the Romanian Academy on the occasion of celebrating one century since the Great Romania was formed, at the end of the First World War.