What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Algebra
His primary areas of investigation include Programming language, Algebra, Java, Java Modeling Language and Discrete mathematics.
His study ties his expertise on Theoretical computer science together with the subject of Programming language.
Bart Jacobs combines subjects such as Terminal, Coalgebra and Dynamic logic with his study of Algebra.
His study in Java Modeling Language is interdisciplinary in nature, drawing from both Generics in Java, Specification language and Hoare logic.
His Discrete mathematics research includes themes of Type theory, Markov process, Distributive property and Pure mathematics.
His research on Object-oriented programming also deals with topics like
- Component-based software engineering that connect with fields like Modular design and User interface,
- Software development that connect with fields like Software system.
His most cited work include:
- Categorical Logic and Type Theory (507 citations)
- Boogie: a modular reusable verifier for object-oriented programs (462 citations)
- Distal and proximal colon cancers differ in terms of molecular, pathological, and clinical features (314 citations)
What are the main themes of his work throughout his whole career to date?
Bart Jacobs focuses on Programming language, Algebra, Pure mathematics, Java and Theoretical computer science.
His Programming language and Separation logic, Modular design, Object-oriented programming, Correctness and Soundness investigations all form part of his Programming language research activities.
His research in Separation logic intersects with topics in Thread and Symbolic execution.
His studies examine the connections between Object-oriented programming and genetics, as well as such issues in Software development, with regards to Software engineering and Formal verification.
He focuses mostly in the field of Algebra, narrowing it down to matters related to Discrete mathematics and, in some cases, Categorical variable.
His Java research integrates issues from Semantics and Concurrency.
He most often published in these fields:
- Programming language (29.27%)
- Algebra (15.60%)
- Pure mathematics (12.18%)
What were the highlights of his more recent work (between 2016-2021)?
- Probabilistic logic (5.77%)
- Separation logic (9.40%)
- Algebra (15.60%)
In recent papers he was focusing on the following fields of study:
Bart Jacobs mainly focuses on Probabilistic logic, Separation logic, Algebra, Probability distribution and Bayesian probability.
Predicate is closely connected to Theoretical computer science in his research, which is encompassed under the umbrella topic of Probabilistic logic.
Separation logic is a subfield of Programming language that Bart Jacobs tackles.
Many of his studies on Programming language involve topics that are commonly interrelated, such as Input/output.
Monad is the focus of his Algebra research.
In his study, which falls under the umbrella issue of Monad, Semantics is strongly linked to Semantics.
Between 2016 and 2021, his most popular works were:
- Disintegration and Bayesian inversion via string diagrams (28 citations)
- From probability monads to commutative effectuses (27 citations)
- The Personalized Parkinson Project: examining disease progression through broad biomarkers in early Parkinson’s disease (24 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Algebra
His primary areas of study are Probabilistic logic, Algebra, Thread, Programming language and Predicate.
His Probabilistic logic study integrates concerns from other disciplines, such as Exploit, Field and Category theory.
His studies deal with areas such as Python and Predicate as well as Algebra.
The Thread study combines topics in areas such as Heap, Monitor and Modular design.
His study in Programming language concentrates on Soundness, Correctness and Concurrency.
His Predicate research also works with subjects such as
- Bayesian network which intersects with area such as Theoretical computer science, Formal semantics, Crossover and Probability distribution,
- Bayesian inference which is related to area like Semantics.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
