Research Partners Applied Data Science Center, University of Bucharest arGO BRD C. Rădulescu-Motru Institute of Philosophy and Psychology Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest Department of Mathematics, Faculty of Mathematics and Computer Science, University of Bucharest Formal Systems Laboratory (FSL), University of Illinois Urbana-Champaign Infoarena International Centre of Biodynamics London Stock Exchange Group MultiversX National Meteorological Administration NEC OPTI Systems Pi Squared Research Center for Logic, Optimization and Security (LOS), University of Bucharest Romanian Institute of Science and Technology (RIST) Runtime Verification Simion Stoilow Institute of Mathematics of the Romanian Academy Softbinator Vatis Tech
