Sotabase

Career

· Full-Stack Engineer, DataNext Solutions / Megaship.ai2024–2024
· Intern, Fidelity Investments2024–
· Coding AI Trainer and Interviewer, Scale AI / Remotasks2024–2024
· Software Engineer Intern / Research Assistant, UMass Boston

Publications (15)

Mechanized Metatheory for the Masses: The PoplMark Challenge
International Conference on Theorem Proving in Higher Order Logics · 2005
368
cited
Engineering formal metatheory
ACM-SIGACT Symposium on Principles of Programming Languages · 2008
280
cited
LNgen: Tool Support for Locally Nameless Representations
2010
71
cited
MetaPRL - A Modular Logical Environment
International Conference on Theorem Proving in Higher Order Logics · 2003
65
cited
Nominal Reasoning Techniques in Coq: (Extended Abstract)
LFMTP@FLoC · 2007
34
cited
Event-Driven Architectures for Distributed Crisis Management
2003
16
cited
Event Webs for Crisis Management
2003
15
cited
Process Migration and Transactions Using a Novel Intermediate Language
2002
12
cited
Abstracting Syntax
2009
7
cited
Formal Design Environments
2003
3
cited
Óöññð Óñôôððö Áñôððññòøøøøóò Ò Äóóó Blockin Blockinð Ööññûóöö
2003
2
cited
SciAuth: A Lightweight End-to-End Capability-Based Authorization Environment for Scientific Computing
Practice and Experience in Advanced Research Computing · 2022
2
cited
LNgen: Tool Support for Locally Nameless Representations MS-CIS-10-24
2010
1
cited
Event Workflow Management System: A Robust Technique for Massively Divisible and Distributed Workflows
2025
New Results - Mechanization of type systems and axiomatic and operational semantics
2007
Sotabase
Brian Aydemir | Researcher Profile | Sotabase | Sotabase