Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
algorithmic fairness Formulation of new problems and research directions and translating topical issues into algorithmic problems Designing new algorithms and investigating their performance on synthetic and
-
algorithmic fairness Formulation of new problems and research directions and translating topical issues into algorithmic problems Designing new algorithms and investigating their performance on synthetic and
-
, faculty members, researchers, and students are revolutionizing focus areas in advanced manufacturing, bioengineering, computational engineering, energy and the environment, product design, and robotics. In
-
. These activities include helping students work through issues such as part geometry, selection of materials, tolerances, and more. Prototyping is supported through the integration of a computer cluster, traditional
-
instructional text and auto-graded learning questions. Design web-based homework assignments and engaging tools for key topics such as functions, trigonometry, and analytic geometry. Refine and maintain existing
-
in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs are there to be discovered? Theme Three: Cyborg Proofs: the use
-
Structures: the formal study of mathematical proof itself, as a subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs
-
Theoretic algorithms of defense, and how those can/should be modified to account for human attacker’s biases. To accomplish this goal, we study attacker’s behavior and create cognitive computational models
-
well as develop and deliver advanced training. This is an excellent opportunity if you thrive on the opportunity for collaboration with complementary groups across PSC, particularly Computational Biology, User
-
Financial Operations (35%) Apply accounting practices to support accurate tracking of Executive Education revenue and expenses. Coordinate program schedules to align revenue recognition with CMU policies and