جست‌وجوی استاد و پژوهشگر

Jo Laneمشاهده پروفایل

پژوهشگر

• Mathematical Logic
• Artificial Intelligence
• Automated Reasoning
• +۲ مورد دیگر

Dr. Jo Lane is affiliated with the Australian National University as a member of the John Curtin School of Medical Research . She collaborates with the Maddess Group , focusing on diagnostics for eye diseases, though her research spans multidisciplinary areas including mathematical logic, artificial intelligence, and automated reasoning. Academic Rank : Researcher Research Themes : Logic, theorem proving, constraint modelling, and AI Her recent work explores paraconsistent mathematics, relevant arithmetic, conflict-resolution algorithms for SAT solvers, and optimization techniques. She contributes to tools like Scavenger and Logic for Fun, bridging logic with problem-solving frameworks. Key article trends include advancements in automated reasoning (e.g., conflict-driven clause learning), applications of logic to AI planning (non-Markovian rewards), and interdisciplinary efforts connecting mathematical theory to computational methods. Dr. Lane’s collaborations and publications highlight expertise in logic, computational complexity, and medical diagnostics, though no explicit awards or student advising details are provided in the text.

John Hardingمشاهده پروفایل

استاد

• Quantum Logic
• Orthomodular Lattices
• Fuzzy Sets
• +۴ مورد دیگر

John Harding is a Professor in the Department of Mathematical Sciences at New Mexico State University (NMSU). He has served as Department Head since 2019 and has held faculty roles at NMSU since 1996, progressing from Assistant Professor to Professor. His research bridges Quantum Logic , Orthomodular Lattices , and Category Theory , with a focus on the algebraic foundations of quantum mechanics. Education: Ph.D., M.Sc., and B.Sc. from McMaster University (advisor: G. Bruns) Key research areas: Quantum Logic, Fuzzy Sets, Lattice Theory, Theoretical Physics John's publications span logic, algebra, and quantum structures, including collaborations on Type-2 fuzzy sets and categorical quantum mechanics. Recent talks highlight topics like Quantum Set Cylindric Algebras and Logical Aspects of Quantum Structures . He has received notable awards, including the International Quantum Structures Association Research Award (2000) and the Arts and Sciences Outstanding Faculty Award (2007) . As Principal Investigator for the RTG Grant (2023-2028, $1.38M) and recipient of a US Army Grant (2021-2024, $347K) , he leads research on logic and quantum computing. Professional roles include President of the International Quantum Structures Association (2014-2016) and editorial board memberships.

• Computer Science
• Probabilistic Programming
• Semantics
• +۶ مورد دیگر

Fredrik Dahlqvist is a faculty member at the University College London , Department of Computer Science , focusing on theoretical and applied aspects of probabilistic programming , semantics , and formal verification . His work bridges computer science with mathematical logic , machine learning , and programming language theory . Education: PhD in Coalgebraic Logics from Imperial College London (2014) His recent publications (2016–2025) explore model pruning , reparameterisation invariance , probabilistic numerical analysis , and categorical approaches to machine learning . Key themes include optimisation , cosine similarity , and omega-complete cone duality in probabilistic systems. Contact: f.dahlqvist@ucl.ac.uk (institutional) or f.p.h.dahlqvist@gmail.com (private), located at Gower Street, London WC1E 6BT, United Kingdom .

• Non-classical logics
• Proof theory
• Algebraic semantics
• +۸ مورد دیگر

Pierluigi Minari is Full Professor of Logic (PHIL-02/A) at the University of Florence's Department of Literature and Philosophy, where he has served as Department Director since 2019. He holds a joint appointment at Ghislieri College in Pavia, teaching 'Institutions of Logic' since 2007. His education includes a PhD in Philosophy (1989) and a Master's degree cum laude (1980), both from the University of Florence through joint programs with Pisa, Siena, and Turin universities. Research focuses on: Non-classical logics (intermediate/modal/many-valued/substructural) Proof theory and formal semantics Combinatory logic and λ-calculus Historical development of logical systems Algebraic approaches to truth theories Publications emphasize proof-theoretic methods, historical analyses of modal logic (particularly Oskar Becker's work), and computational foundations. Recent works show strong engagement with intuitionistic systems, formal verification, and philosophical logic.

Farzaneh Derakhshanمشاهده پروفایل

استادیار

• Programming Languages
• Language-based Security
• Type Theory
• +۸ مورد دیگر

Farzaneh Derakhshan is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology . Her research focuses on Programming Languages , Type Theory , and Formal Methods , with applications to concurrent programming , security verification , and intermittent computing . PhD in Pure and Applied Logic from Carnegie Mellon University (2021) Postdoctoral Fellow at Carnegie Mellon University Her research projects include: Designing modal logic for system verification Relational logic for GPU side-channel security Type systems for intermittent computing Behavioral types for security Advising : PhD Students: Godha Pallavi Bhogadi (co-advised with Stefan Muller), Myra Dotzel (co-advised with Limin Jia), Lang Liu Master's Students: Akash Madhu (co-advised with Minxuan Zhou) Scientific Awards : NSF Collaborative Award #2350217 for "Mixed Assurance Reasoning via Modal Logic" (2024) Teaching : Courses include CS595. Language-based Security , CS534. Types and Programming Languages , and CS440. Programming Languages and Translators at Illinois Tech.

Sam Lindleyمشاهده پروفایل

دانشیار

• Programming Languages
• Type Systems
• Effect Handlers
• +۵ مورد دیگر

Sam Lindley is a Reader in Programming Language Design and Implementation at the Laboratory for Foundations of Computer Science within the School of Informatics at The University of Edinburgh. He holds a prestigious UKRI Future Leaders Fellowship focused on Effect Handler Oriented Programming. His academic career spans multiple institutions including Heriot-Watt University and Imperial College London. His research interests center on programming language theory and implementation, with specific expertise in type systems, effect handlers, session types, and functional programming. Lindley's work bridges theoretical foundations with practical implementation, particularly in compiler design and language semantics. His research has significant implications for language safety, efficiency, and expressiveness. Lindley's publication record demonstrates consistent contributions to top programming languages venues including PLDI, POPL, ICFP, and OOPSLA. His recent work explores modal effect types, scoped effects, and the application of effect handlers to systems programming and WebAssembly. The trend shows increasing focus on practical applications of theoretical concepts in real-world language implementations. Major Awards: UKRI Future Leaders Fellowship in Effect Handler Oriented Programming Lindley has served in significant leadership roles including ICFP 2023 Program Chair and PLDI 2025 Area Chair. He actively participates in the programming languages community through numerous program committees and workshop organization. His research is conducted within the Laboratory for Foundations of Computer Science, a leading center for theoretical computer science research at Edinburgh.

• ontology
• formal ontology
• topological ontology
• +۴ مورد دیگر

Dr. hab. Janusz Kaczmarek serves as an Associate Professor in the Department of Logic and Methodology of Sciences within the Faculty of Philosophy and History at the University of Lodz. His academic work spans ontology, logic, and philosophical anthropology, where he contributes to both theoretical frameworks and practical applications in these interconnected fields. His research focuses on formal ontology (particularly topological ontology), examining Wittgensteinian ontology of logical atomism, various forms of atomism and substantialism, category theories, and property theories. In logic , he explores theories of judgment in the logical sense, modal and temporal logics in ontological versions. His work in philosophical anthropology centers on essential and existential views of the human being, the problem of will, cognition structures, ethical problems, and ontic foundations of philosophical anthropology. His 15 most recent publications reveal a consistent focus on topological structures in formal ontology, Wittgensteinian frameworks, modal logic applications, and anthropological foundations. The research demonstrates interdisciplinary connections between mathematical logic, metaphysical structures, and humanistic inquiry, with particular emphasis on how formal systems can illuminate philosophical questions about being, knowledge, and human existence. Dr. Kaczmarek actively contributes to academic life through teaching ontology, philosophy (for PhD students), cognitive science, analytical philosophy, philosophical anthropology, and logic to students across all degree levels including ERASMUS participants. He co-organizes significant academic events including the Non-Classical Logics conferences, World Logic Day celebrations, and Ontological Workshops. Currently, he leads two major research initiatives: 'Atom. Substance. System. Research in topological ontology' funded by the National Science Center (NCN), and 'Non-Classical Logics. Theory and Applications' within the ministerial 'Excellent Science' program. His office is located in room 304 at William H. Lindleya 3 in Łódź, with regular office hours on Wednesdays.

Anita Milewskaمشاهده پروفایل

استاد

• Railway Engineering
• Geotechnical Engineering
• Transportation Safety
• +۶ مورد دیگر

Dr. Anita Milewska is a Professor at the Department of Transportation Engineering, Faculty of Civil and Environmental Engineering, Gdańsk University of Technology. She maintains an active research profile with numerous publications spanning from 2002 to the present, with recent works published as late as 2025. Her office is located in Building A of the Faculty of Civil and Environmental Engineering, room 226, and she can be contacted at animilew@pg.edu.pl or anita.milewska@wilis.pg.gda.pl. Dr. Milewska's research interests span a wide range of transportation engineering topics with a particular focus on railway infrastructure, geotechnical aspects of transportation systems, and safety analysis. Her work demonstrates expertise in: Railway engineering and safety analysis, particularly at level crossings Geosynthetics applications in transportation infrastructure Subsoil/subgrade analysis and improvement techniques Transport of dangerous goods and associated risks Application of non-classical operational calculus to transportation problems Runway construction and soil improvement techniques Her recent publications (2019-2025) demonstrate a consistent research trajectory focused on improving transportation infrastructure safety and reliability. She has developed innovative methods for soil improvement using explosive techniques (microblasting), analyzed geosynthetics behavior in railway structures, and studied the impact of dangerous goods transport on railway infrastructure. Her work frequently employs advanced mathematical modeling techniques including fuzzy logic, non-classical operational calculus, and metric spaces to solve complex transportation engineering problems. Dr. Milewska often collaborates with researchers like E. Mieloszyk, M. Wyroślak, and S. Grulkowski on interdisciplinary transportation research projects. Dr. Milewska is actively involved in research projects including the InfraNoise project, which focuses on "precise monitoring of the impact of railway traffic on the environment." She has taught 86 courses, demonstrating significant commitment to academic instruction alongside her research activities. While specific details about her students are not provided in the available information, her extensive publication record suggests she likely mentors graduate students in transportation engineering research.

Alberto Momiglianoمشاهده پروفایل

دانشیار

• Logic in Computer Science
• Formal Methods
• Proof Theory
• +۶ مورد دیگر

Alberto Momigliano is an Associate Professor at the Department of Computer Science , University of Milan, Italy. His research focuses on formal methods, proof theory, and logical frameworks in programming languages. He has contributed extensively to property-based testing, coinductive proofs, and mechanized metatheory. Research Interests : Formal verification of programming languages Higher-order abstract syntax Logical frameworks (Hybrid, Beluga) Proof theory and type systems Property-based testing Coinductive methods Recent Articles explore substructural contexts, proof outlines for testing, and coinductive formalizations. His scientific awards include the Distinguished Paper Award at CPP 2025. Academic Activities : Program Committee Member at CPP 2024 and CPP 2025 Organized Logic Colloquium 2023 in Milan Steering Committee member of PPDP Involved in mechanizing metatheory with Coq automation