Faculty

Institution

Unit

Venue

Todd Schmid

Assistant Professor

Bucknell University

Affiliations

Bucknell University

College of Engineering

Department Of Computer Science And Engineering

Department Of Electrical And Computer Engineering

Todd Schmid is currently serving as a Bucknell University Assistant Professor at Bucknell University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Todd Schmid

Bucknell University

Assistant Professor

You can click a keyword to filter the displayed items

mathematics algebra mathematical logic theory of computation formal methods logic in computer science automated reasoning algebraic semantics algebraic logic formal systems computer science applied mathematics formal verification theoretical computer science automated deduction mathematical sciences operational semantics process calculus algebraic theory non-commutative algebras kleene algebra guarded kleene algebra gkat expressions new calculi process calculi concrete barriers educational psychology education policy teacher education pure mathematics digital art educational assessment informatics educational administration music education learning analytics stem education science and technology studies digital humanities preservice teacher education performative teaching mathematics education educational technology professional development physic education child-computer interaction learning sciences engineering education experiential learning educational strategies college english educational management technology higher education category theory art education inclusive education undergraduate research general systems philosophy of mathematics computing education education distance education servicelearning digital scholarship educational research special education technology

Notable Scholarly Works

Notable Federal Grants

Collaborators

Processes Parametrised by an Algebraic Theory. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) (2022)

Schmid, ToddRozowski, WojciechSilva, AlexandraRot, Jurriaan

computer sciencelogic in computer scienceformal systemsmathematical logicalgebranew calculiprocess calculusalgebraic logicmathematicsprocess calculialgebraic theorytheoretical computer sciencealgebraic semanticsautomated reasoningtheory of computationformal methods

Guarded Kleene Algebra With Tests: Coequations, Coinduction, and Completeness. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) (2021)

Todd SchmidTobias KappéDexter KozenAlexandra Silva

guarded kleene algebralogic in computer scienceautomated deductionformal systemskleene algebramathematical logicalgebraalgebraic logicmathematicsgkat expressionsalgebraic semanticsformal verificationoperational semanticsautomated reasoningtheory of computationformal methods

Concrete Barriers to Quantifier Elimination in Finite Dimensional C*‐Algebras. Mathematical logic quarterly (2019)

concrete barriersalgebranon-commutative algebrasmathematicsapplied mathematicsmathematical sciences

1
10 / page

Todd Schmid

Assistant Professor

Bucknell University

Affiliations

Bucknell University

College of Engineering

Department Of Computer Science And Engineering

Department Of Electrical And Computer Engineering

Todd Schmid is currently serving as a Bucknell University Assistant Professor at Bucknell University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Todd Schmid

Bucknell University

Assistant Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Processes Parametrised by an Algebraic Theory. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) (2022)

Schmid, ToddRozowski, WojciechSilva, AlexandraRot, Jurriaan

Guarded Kleene Algebra With Tests: Coequations, Coinduction, and Completeness. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) (2021)

Todd SchmidTobias KappéDexter KozenAlexandra Silva

Concrete Barriers to Quantifier Elimination in Finite Dimensional C*‐Algebras. Mathematical logic quarterly (2019)

concrete barriersalgebranon-commutative algebrasmathematicsapplied mathematicsmathematical sciences

1
10 / page