A coordinated research program
Alef Info Systems studies one problem across several scales: how an intended structure becomes a working system and remains coherent under change.
Foundations of Formal Systems
Specification, interpretation, implementation, self-reference, incompleteness, and the boundaries of executable systems.
Knowledge and Information
The structures connecting data, information, knowledge, compression, identity, and implementation across different carriers.
Evaluation and Adaptive Systems
Evaluators, feedback, memory, learning, adaptation, stability, and the organization of systems capable of responding to change.
Executable Systems Engineering
The disciplined translation of specifications into reliable running systems: software architecture, implementation, production operation, verification, and evolution under real constraints.
Foundations of Physical Law
Conservation, boundaries, inertia, gravitation, thermodynamics, and electromagnetic flow, studied through mathematical structure and empirical comparison.
Research grounded in practice
Alef's research is informed by decades of software engineering and by Yehuda Vernik's continuing hands-on work as Chief Technology Officer of My Cloud Grocer. Production systems expose the difference between a written specification and a working implementation every day. That difference is both an engineering reality and a foundational research object.
Explore the complete Research Program, our Approach, and the institutional About page.