Magnus Vejlstrup is an author at Carnegie Mellon University specializing in automated reasoning, engineering, and parallel computing.
Top concepts
CompilersEngineeringFormal MethodsComputer ScienceMachine LearningProgram AnalysisSoftware AnalysisParallel ComputingAutomated ReasoningFormal Verification
Publications per year
1996–1996
1
1
Rows per page
1–1 of 1