Welcome to Sergey Verlan home page

Current position:
Full professor at the University Paris Est Créteil, IUT de Sénart-Fontainebleau
Email:
verlan@u-pec.fr
Phone:
+33 (0)1 45 17 66 00
Office:
P2-204
Address:
LACL
UFR Sciences et Technologie
Université Paris Est Créteil Val de Marne
61, av. Général de Gaulle
94010 Créteil, France

Brief outline of CV

2022-present Full professor, University of Paris Est Créteil, IUT de Sénart-Fontainebleau
2005-2022 Associated professor, University of Paris Est Créteil, UFR Sciences
2010 Habilitation thesis, University of Paris Est. Title: Study of language-theoretic computational paradigms inspired by biology
2004 PhD at the University of Metz. Title: Head systems and applications to bioinformatics
2001 DEA (Master 2) Informatique, University of Metz
2000 Master in applied mathematics, State university of Moldova

Research

My current research interest is in the areas of formal language theory, of natural/DNA computing, complex dynamic systems and FPGA design. I am particularly interested by the computational power of different models (decidability and computational completeness), as well as by the universality problem. I am also working on the implementation of parallel unconventional computing models in FPGA hardware with main applications in robotics. Other research topics are bioinformatics and systems biology.

Selected publications

Insertion/deletion systems
  • M. Margenstern, G. Păun, Y. Rogozhin, S. Verlan (2005), "Context-Free Insertion-Deletion Systems", Theoretical Computer Science. Vol. 330(2), pp. 339-348.
    Computational completeness of context-free insertion-deletion systems of sizes (3,2) and (2,3).
  • S. Verlan (2007), "On Minimal Context-Free Insertion-Deletion Systems", Journal of Automata, Languages and Combinatorics. Vol. 12(1-2), pp. 317-328
    Characterization of context-free insertion-deletion systems of size (2,2).
  • A. Matveevici, Y. Rogozhin, S. Verlan (2007), "Insertion-Deletion Systems with One-Sided Contexts", In Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings. Lecture Notes in Computer Science, Volume 4664, pp. 205-217. Springer
    Asymmetrical systems and first incompleteness results.
  • I. Petre, S. Verlan (2012), "Matrix Insertion–Deletion Systems", Theoretical Computer Science. Vol. 456(0), pp. 80 - 88
    Introduction of matrix-controlled systems.
  • S. Ivanov, S. Verlan (2015), "Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States", In Machines, Computations, and Universality - 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings. Lecture Notes in Computer Science, Volume 9288, pp. 79-93. Springer.
    Introduction of systems with regular contexts.
The splicing operation
  • M. Margenstern, Y. Rogozhin, S. Verlan (2004), "Time-Varying Distributed H Systems with Parallel Computations: the Problem is Solved", In DNA Computing: 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003. Revised Papers. Lecture Notes in Computer Science, Volume 2943, pp. 48-53. Springer.
    Computational completeness of the iteration of the splicing operation.
  • S. Verlan, M. Margenstern (2011), "Universality of Splicing Test Tube Systems with Two Tubes", Fundam. Inform.. Vol. 110(1-4), pp. 329-342.
    Universality of the long-standing problem of 2-test tube systems.
  • E. Csuhaj-Varjú, S. Verlan (2008), "On Length-Separating Test Tube Systems", Natural Computing. Vol. 7(2), pp. 167-181
    A novel distributed computing model using length filtering instead of random context or target filtering.
  • A. Alhazov, Y. Rogozhin, S. Verlan (2012), "On Small Universal Splicing Systems", International Journal of Foundations of Computer Science. Vol. 23(07), pp. 1423-1438.
    The smallest universal system based on the splicing operation (having only 5 splicing rules).
Membrane systems and multiset rewriting
  • A. Alhazov, S. Verlan (2011), "Minimization Strategies for Maximally Parallel Multiset Rewriting Systems", Theoretical Computer Science. Vol. 412(17), pp. 1581 - 1591.
    Universality of maximally parallel multiset rewriting (using only 23 rules).
  • R. Freund, S. Ivanov, S. Verlan (2015), "P Systems with Generalized Multisets Over Totally Ordered Abelian Groups", In Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers. Lecture Notes in Computer Science, Volume 9504, pp. 117-136. Springer.
    Definition of the maximally parallel rewriting over Abelian groups.
  • S. Verlan, J. Quiros (2012), "Fast Hardware Implementations of P Systems", In Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers. Lecture Notes in Computer Science, Volume 7762, pp. 404-423. Springer.
    FPGA implementation of the maximally parallel multiset rewriting. Precomputation based on Chomsky-Schutzenberger theorem and formal power series. Spedup of order 10 5.
  • A. Spicher, S. Verlan (2011), "Generalized Communicating P Systems Working in Fair Sequential Mode", Scientific Annals of Computer Science. Vol. 21(2), pp. 227-247. ``A.I. Cuza'' University Press, Iasi.
    Link between fairness condition in Population protocols and Gillespie algorithm.
  • R. Freund, S. Verlan (2007), "A Formal Framework for Static (Tissue) P Systems", In Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers. Lecture Notes in Computer Science, Volume 4860, pp. 271-284. Springer.
    A mathematical framework for the representation of membrane systems and multiset rewriting.
  • S. Verlan (2013), "Using the Formal Framework for P Systems", In Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers. Lecture Notes in Computer Science, Volume 8340, pp. 56-79. Springer. Invited paper.
    Examples of the application of the formal framework for membrane systems.
  • R. Freund, I. Pérez-Hurtado, A. Riscos-Núñez, S. Verlan (2013), "A Formalization of Membrane Systems with Dynamically Evolving Structures", International Journal of Computer Mathematics. Vol. 90(4), pp. 801-815.
    The extension of the formal framework to support dynamicaly evolving structures.
  • F. Bernardini, M. Gheorghe, M. Margenstern, S. Verlan (2008), "How to Synchronize the Activity of All Components of a P System?", International Journal of Foundations of Computer Science. Vol. 19(5), pp. 1183-1198.
    Firing Squad Synchronization Problem for tree structures.
  • S. Verlan, F. Bernardini, M. Gheorghe, M. Margenstern (2008), "Generalized Communicating P Systems", Theoretical Computer Science. Vol. 404(1-2), pp. 170-184.
    Computational model based on signal synchronization and spatial displacement.
Unconventional computing FPGA implementations
  • Z. Shang, S. Verlan, I. Petre, G. Zhang (2019), "Reaction Systems and Synchronous Digital Circuits", Molecules. Vol. 24(10).
    Highly efficient FPGA design for Boolean networks and reaction systems.
  • Z. Shang, S. Verlan & G. Zhang (2019), "Hardware Implementation of Numerical P Systems", In Proceedings of the 20th International Conference on Membrane Computing, CMC20, August 5-8, 2019, Curtea de Arges, Romania. , pp. 463-474.
    Efficient FPGA design for Numerical P Systems.
Other
  • S. Verlan, A. Alhazov, I. Petre (2010), "A Sequence-Based Analysis of the Pointer Distribution of Stichotrichous Ciliates", Biosystems. Vol. 101(2), pp. 109 - 116.
    Shown that AT% discriminates the positions of pointers during ciliate assembly.
  • M. Margenstern, P. Mayer, S. Verlan (2011), "DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification", CoRR. Vol. abs/1105.1424
    In-vitro construction of DNA circuits based on isothermal RCA and SDA.

Teaching

I am currently responsible for the master «Conception des systèmes et cybersécurité» and I'm teaching several courses there. I'm also teaching at the Department of Computer Science, University of Paris Est Créteil and EPISEN. In 2009-2022 I was responsible for the Bachelor degree in Computer Science at our university.

Here is the list of some past and present courses

WEB Applications Security
A course on the WEB application security based on OWASP Top10.
Pentest
Basic penetration testing course.
Secure programming
A course on code audit and secure programming techniques.
IOT Security
A course on IOT security.
WEB Programming
PHP, Javascript, HTML and CSS.
IoT
A basic cours on Internet of Things.
Formal languages
Automata theory and context-free grammars.
Algorithmics and Data Structures
Introduction to basic data structures.
Concurrent and Network Programming
Client-server programming in Java.
New Network Technologies
NIO and serialization in Java.
Compiler design
Basic course on compiler design.
Databases
Basic course on SQL.
Operating Systems
Basic course on operating systems.
Functional Programming
Functional programming in CAML.
Object-oriented Design
OOP design, unit testing.