Our websites may use cookies to personalize and enhance your experience. By continuing without changing your cookie settings, you agree to this collection. For more information, please see our University Websites Privacy Notice.
Former member
Research interests: Modal logic, proof theory, big data analysis and management.
