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

Federica Mucciمشاهده پروفایل

دانشیار

• International Law
• Cultural Heritage Protection
• European Union Law
• +۴ مورد دیگر

Federica Mucci is an Associate Professor of International Law at the University of Rome Tor Vergata, affiliated with the Department of History, Humanities and Society. She specializes in international protection of cultural heritage, European Union law, and treaty law. Her teaching includes courses on cultural heritage protection and EU law for programs in Education and Tourism. Legal Expert: Italian Ministry of Foreign Affairs UNESCO Delegation Member: Contributed to the 2005 UNESCO Convention on cultural diversity and its implementation. Her research focuses on international law frameworks for cultural heritage, maritime law, treaty interpretation, and environmental protection. Key publications include monographs on cultural heritage law (2012) and a PhD thesis on EU copyright law (1998). Publications span interdisciplinary topics such as topological data analysis, though the majority of her work aligns with legal and humanities disciplines. Awards: No specific prizes are mentioned, but her scholarly output includes influential books and articles on international law. Advising/Grants: No formal student advisees or grant details provided in text. Labs/Teams: No specific lab affiliations mentioned, though her role at UNESCO implies collaboration with international bodies.

Don Sannellaمشاهده پروفایل

استاد

• Computer Science
• Formal Methods
• Algebraic Specification
• +۵ مورد دیگر

Don Sannella is a Professor of Computer Science at the University of Edinburgh, affiliated with the Laboratory for Foundations of Computer Science (LFCS) within the School of Informatics. His research focuses on formal methods, algebraic specification (notably the CASL language), security, and theoretical computer science. He has contributed to foundational work in specification languages and their implementation, including the CoFI initiative. Sannella has authored influential books on formal software development and algebraic specifications. He holds the rank of Fellow of the Royal Society of Edinburgh. His work spans academic leadership, editorship of Theoretical Computer Science , and projects like Mobility and Security (MRG) and App Guarden for secure mobile applications. His teaching includes courses on functional programming, computability, and formal methods. He has advised students such as Nikita Samarin and collaborated on research grants, including those in resource analysis and concurrency. Sannella’s contributions integrate rigorous formal techniques with practical software development challenges, emphasizing modularity, correctness, and security.

Anna Huberمشاهده پروفایل

مدرس ارشد

• Algebra
• Graph Theory
• Randomized Methods
• +۳ مورد دیگر

Anna Huber is a Senior Lecturer in Mathematics and Computing at Teesside University's Department of Computing & Games Centre for Sustainable Engineering. She holds a PhD from Saarland University (2010) and completed postdoctoral research at Durham University (2010-2013) on EPSRC-funded submodular optimization projects. Her research focuses on algebraic structures, graph theory, and combinatorial algorithms with applications in discrete optimization. She has published influential work in SIAM journals on bisubmodular functions and valued constraint satisfaction problems. Education: PhD in Mathematics and Informatics, Saarland University & Max Planck Institute (2010) Previously affiliated with University of Derby as Lecturer in Mathematics Research Themes: Explores algebraic methods for solving combinatorial optimization problems, particularly through randomized algorithms and graph-based approaches. Current work emphasizes tractability analysis in constraint satisfaction frameworks and bisubmodularity applications. Grants & Projects: EPSRC Project: 'Submodular Optimization, Lattice Theory and Maximum Constraint Satisfaction Problems' (2010-2013) Labs/Teams: Active in Teesside University's Computing & Games research groups, collaborating on sustainable engineering computing applications.

Maxim L. Yattselevمشاهده پروفایل

استاد

• Meromorphic Approximation
• Orthogonal Polynomials
• Integrable Systems
• +۳ مورد دیگر

Maxim L. Yattselev is a Professor in the Department of Mathematical Sciences at Indiana University–Purdue University Indianapolis (IUPUI) . He has held prior positions as a Visiting Assistant Professor at the University of Oregon and a Visiting Scholar at Vanderbilt University. Education: Ph.D. and M.S. in Mathematics from Vanderbilt University (2007, 2004), M.S. and B.S. from Dnepropetrovsk National University (2001, 2000). Research Interests focus on meromorphic approximation, orthogonal polynomials, integrable systems, random polynomials, and spectral theory. He explores connections between these areas and applications to Painlevé equations, random matrix theory, and convergence of rational approximants. Publications highlight advancements in strong asymptotics for Angelesco systems, spectral theory of Jacobi matrices on trees, universality in random polynomial roots, and convergence properties of Padé and Hermite–Padé approximants. His work often employs Riemann–Hilbert techniques and potential theory. Advising: Mentored Ph.D. students Hanan Aljubran and Ahmad Barhoumi on random polynomials and multiple orthogonal polynomials. Teaching includes advanced courses in complex analysis, real analysis, orthogonal polynomials, and differential equations at IUPUI, University of Oregon, and Vanderbilt University.

Umberto Michelucciمشاهده پروفایل

استاد

• Machine Learning
• Artificial Intelligence
• Astrophysics
• +۵ مورد دیگر

Umberto Michelucci is a Professor of Scientific Machine Learning at Lucerne University of Applied Sciences and Arts (HSLU), Switzerland. He holds a PhD in Machine Learning applied to Physics and has over 20 years of industry experience. He is the Subject Head of Applied Data Intelligence in Continuing and Executive Education, Head of Certificates in Machine Learning/Data Engineering, and founder of TOELT LLC and the AI Center of Excellence at Helsana Versicherung AG. His research focuses on machine learning applications in science, astrophysics, uncertainty quantification, and sensor technology. Education PhD in Machine Learning applied to Physics (Portsmouth University) Master in Theoretical Physics (University of Florence) Postgraduate Certificate in Higher Education (Open University, UK) Research Interests Michelucci’s work bridges machine learning and scientific disciplines. Key areas include: Machine learning for astrophysics (INAF collaborations) Uncertainty analysis in high-stakes ML systems Deep learning for optical sensing (e.g., olive oil quality analysis) Foundational mathematical concepts for ML in science Awards & Recognition World’s Top 2% Scientists (Stanford List) Google Developer Expert in Machine Learning AI Global Ambassador (2022) TOP AI Influencer in Switzerland (2021) Grants & Collaborations He collaborates with institutions like INAF (Italy) and NVIDIA/Google, leading projects on AI for agrifood, medical imaging, and astrophysics. His work includes $multi-million industry partnerships and EU-funded research. Labs & Teams Director of the TOELT AI Lab and oversees HSLU’s Applied Data Intelligence programs. Active in open-source initiatives and global AI standardization efforts.

Akimasa Miyakeمشاهده پروفایل

استاد

• Quantum Information Science
• Quantum Computation
• Quantum Many-Body Physics
• +۳ مورد دیگر

Akimasa Miyake is a Professor in the Department of Physics and Astronomy at the University of New Mexico (UNM). His research focuses on quantum information science, quantum computation, and quantum many-body physics, with particular emphasis on symmetry-protected topological orders and their applications to quantum computing. He leads the Miyake Research Group, which participates in the NSF-funded STAQ project, a major initiative advancing quantum computing co-design. Miyake earned his PhD from the University of Tokyo in 2004. His work bridges theoretical physics and quantum information, exploring novel approaches to quantum metrology, error mitigation, and computational advantage using nonlocal games. He has contributed to foundational studies on topological phases, matchgate circuits, and measurement-based quantum computation. Recent research highlights include hardness results for surface code decoding and group-theoretic error mitigation techniques. Miyake teaches advanced undergraduate and graduate courses in quantum mechanics, mathematical physics, and quantum computation. His educational activities emphasize active learning and preparation for interdisciplinary challenges in quantum technologies. He maintains an active lab focused on theoretical and applied aspects of quantum systems, with collaborations spanning computational physics and condensed matter theory.

• Formal Verification
• Logic
• Cryptography
• +۳ مورد دیگر

Rajeev Gore is a Professor in the Department of Data Science & AI at Monash University. His research focuses on formal verification, automated theorem proving, and logic systems. He has contributed significantly to areas including modal logics, voting system verification, and cryptographic protocols. Gore has been actively involved in developing verified decision procedures for modal logics and exploring applications in electronic voting systems. His work bridges theoretical computer science and practical applications, with a particular emphasis on ensuring correctness through formal methods. Key contributions include the N-PAT nested model-checker and verified verifiability frameworks for voting systems like BeleniosVS and ElectionGuard. His research also addresses trust domains and cryptographic applications, reflecting a deep engagement with both foundational and applied aspects of logic and computation. Gore's publications span over two decades, demonstrating sustained contributions in formal systems, automated reasoning, and security-critical applications. His work often combines rigorous mathematical foundations with practical tool development, emphasizing trustworthiness and verifiability in complex systems.

Robb Lindgrenمشاهده پروفایل

استاد

• STEM Education
• Educational Technologies
• Embodied Learning
• +۳ مورد دیگر

Dr. Robb Lindgren is a Professor of Educational Psychology and Curriculum & Instruction at the University of Illinois, Urbana-Champaign , with affiliate appointments at the Beckman Institute, National Center for Supercomputing Applications, iSchool Informatics, Center for Social & Behavioral Science, and Grainger College of Engineering. His research focuses on interactive and immersive digital technologies for learning, particularly in STEM education . PhD in Learning Sciences and Technology Design from Stanford University MA in Psychology from Stanford University BS in Computer Science from Northwestern University Dr. Lindgren explores how body-based interactions with technologies like virtual reality and augmented reality enhance understanding of abstract concepts. His work combines embodied cognition with digital learning environments , examining how physical engagement shapes multimodal learning and collaborative problem-solving . Recent projects include haptic feedback systems and gesture-augmented simulations for molecular visualization and climate change education. His publications analyze trends in XR (Extended Reality) applications, emphasizing gestural agency , collaborative discourse , and multisensory learning . Key findings show how embodied interactions improve conceptual retention in physics and explanatory modeling in thermal conduction, alongside innovative assessment methods using attention tracking and behavioral analytics. 2017 - Jan Hawkins Award for Early Career Contributions Multiple NSF-funded projects on technology-enhanced learning As Director of the Technology Innovations in Educational Research and Design (TIER-ED) initiative, Dr. Lindgren fosters cross-campus collaboration to address educational challenges through emerging technologies. He teaches courses on digital learning environments , educational game design , and embodied learning theories , while developing prototypes for STEM education in partnership with schools and museums.

Paige Randall Northمشاهده پروفایل

استادیار

• Category Theory
• Homotopy Theory
• Functional Programming
• +۳ مورد دیگر

Paige Randall North is an Assistant Professor at Utrecht University, holding dual appointments in Mathematics and Information and Computing Sciences. She is also an Honorary Research Fellow at the University of Birmingham and a Guest Researcher at Delft University of Technology. Her research focuses on applying category theory and topology to computer science, particularly in functional programming and homotopy theory. North earned her PhD in Mathematics from the University of Cambridge (supervised by Martin Hyland) and a BS from the University of Chicago. She has held postdoctoral positions at the University of Pennsylvania and Ohio State University. Her research explores connections between type theory and higher category theory, including the univalence principle and categorical diffusion. Recent activities include organizing conferences like TYPES and DutchCATS, serving on program committees for LICS and POPL, and teaching advanced courses on homotopy type theory and interactive theorem provers. Funding has come from the AFOSR (2021-2024). Her work emphasizes formalization in proof assistants like UniMath and Coq, with contributions to categorical semantics and bicategorical type theory.

Anastasia Doikouمشاهده پروفایل

استاد

• Mathematical Physics
• Quantum Integrable Systems
• Classical Integrable Systems
• +۳ مورد دیگر

Anastasia Doikou is a Professor of Mathematics at the School of Mathematical & Computer Sciences, Heriot-Watt University, and a member of the Maxwell Institute for Mathematical Sciences in Edinburgh. She holds a prominent role as the convener of the Mathematical Physics Group within the Department of Mathematics. Previously, she served as Director of Research (Associate Executive Dean of Research) in her school from 2019-2022. Her academic journey includes a BSc in Physics from the National & Kapodistrian University of Athens and a PhD in Theoretical Physics from the University of Miami (1999). Postdoctoral positions spanned institutions such as Durham University, the University of York (via an EPSRC Fellowship), LAPTH-Annecy, and the University of Bologna before her tenure at Heriot-Watt since 2013. Education: BSc Physics, National & Kapodistrian University of Athens PhD Theoretical Physics, University of Miami (1999) Research Interests: Her research focuses on quantum and classical integrable systems, quantum algebras, Yang-Baxter and reflection equations, and their applications. She explores topics such as integrable quantum spin chains, Bethe ansatz techniques, braid groups, Temperley-Lieb algebras, and soliton solutions in integrable PDEs. Her work bridges algebraic structures (e.g., braces, quandles) with integrability, emphasizing their role in non-local and non-commutative systems. Recent Trends in Articles: Her publications from 2022–2025 highlight advancements in algebraic solutions to the Yang-Baxter equation using braces and skew braces, parametric approaches to reflection and set-theoretic equations, and explorations of quantum group symmetries. These contributions underscore her expertise in connecting abstract algebraic frameworks with integrable models in mathematical physics. Awards: EPSRC Fellowship (2007) Lab/Team Affiliations: Part of the Maxwell Institute for Mathematical Sciences and the Mathematical Physics Group at Heriot-Watt University.

Lap Chi Lauمشاهده پروفایل

استاد

• Algorithms
• Optimization
• Spectral Graph Theory

Lap Chi Lau is a Professor at the University of Waterloo's Cheriton School of Computer Science. His primary research explores algorithms, optimization, and spectral graph theory. His recent publications focus on graph algorithms, spectral methods, and combinatorial optimization, with consistent applications to network design and experimental methodologies. Publications demonstrate advanced techniques in graph sparsification, eigenvalue methods, and efficient algorithm design for complex computational problems. His work frequently intersects theoretical computer science and applied mathematics, contributing to foundational improvements in graph partitioning, spectral clustering, and randomized algorithms.

• Applied Machine Learning
• Microbiology
• Drinking Water Distribution Systems
• +۳ مورد دیگر

Niklas Gador is a Senior Lecturer in the Department of Computer Science at the Faculty of Natural Science. His research focuses on applying machine learning techniques to microbiological challenges, particularly in water distribution systems. He specializes in visualization, classification, anomaly detection, forecasting, and reinforcement learning, using Python as his primary tool. Current teaching responsibilities include courses in Discrete Mathematics, Statistics, Methods for Measuring Electricity, and Calculus and Algebra. Research collaborations include projects like EIVF-AI (Enhancing In Vitro Fertilization with AI) and studies on bacterial changes in drinking water systems post-monochloramine removal. He has participated in conferences such as the 3rd Annual RECS Workshop on AI and organized events on smart AI taxi systems. His work frequently involves flow cytometry and environmental data analysis. He serves as a deputy supervisor for a PhD project on bathing water quality using machine learning and DNA-based methods. Despite his active research profile, no scientific awards are explicitly mentioned in the provided texts.

• Database Theory
• Computational Logic
• Parameterized Complexity
• +۴ مورد دیگر

Reinhard Pichler is a Full Professor at the Vienna University of Technology (TU Wien), affiliated with the Faculty of Informatics and the Department of Databases and Artificial Intelligence . His research focuses on Database Theory , Computational Logic , and Parameterized Complexity . He leads multiple research projects like DeConquer (2023–2027) and HyperTrac (2018–2022), addressing challenges in query optimization and hypergraph decompositions. He holds the prestigious START Prize (2014–2022) for young researchers. His work spans theoretical foundations (e.g., hypertree decompositions) and practical applications (e.g., SPARQL query processing systems like SparqLog). He contributes to academic governance, serving on faculty councils and curriculum commissions. His research innovations bridge algorithmic theory and real-world database systems, emphasizing efficient query evaluation and tractability analysis. Key contributions include advancing fractional hypertree decompositions , SPARQL query optimization , and consistent query answering . His projects often involve collaborations with industry and international funders like the Austrian Science Fund (FWF) and Vienna Science and Technology Fund (WWTF). He actively publishes in top venues like Journal of the ACM , ACM Transactions on Database Systems , and Proceedings of the VLDB Endowment . His academic leadership extends to course design, teaching advanced topics like Complexity Theory and Theoretical Computer Science . He mentors doctoral students and oversees research teams exploring cutting-edge areas like uncertain databases and cloud-based computational social choice .

Ian Bayleyمشاهده پروفایل

مدرس ارشد

• Cybersecurity
• Secure Programming
• Exploits
• +۱۱ مورد دیگر

Dr. Ian Bayley is a Senior Lecturer in Computer Science at the School of Engineering, Computing and Mathematics, Oxford Brookes University. He serves as Subject Coordinator for MSc courses in Computing Science, Advanced Computer Science, and Computer Science for Cyber Security. His research focuses on cybersecurity, secure programming, software engineering, and design patterns, with collaborations on topics like LLM evaluation, exploratory testing for machine learning, and agent-oriented programming for microservices. He is affiliated with the Cloud Computing and Cybersecurity Group (CCC) and the Artificial Intelligence, Data Analysis and Systems (AIDAS) Institute. Teaching responsibilities include modules such as Secure Programming (undergraduate/postgraduate) and Professional Programming Practice for first-year undergraduates. He actively supervises cybersecurity projects and students, including Debalina Ghosh (LLM evaluation) and Kieren Stanton (authentication in vehicular networks). Research interests span cybersecurity patterns, software design composability, formal methods for web services, and agent-oriented approaches to microservices. Recent work explores LLM evaluation via scenario-based meta-information and testing challenges in machine learning applications. He co-leads research on design pattern composition and algebraic specifications. Publications span journals like Journal of Systems and Software and IEEE Transactions on Software Engineering , addressing topics from cybersecurity patterns to formal verification of web services. His teaching and research emphasize practical software engineering principles and cutting-edge cybersecurity practices.

• Linear Statistical Models
• Covariance Analysis
• Biostatistics
• +۳ مورد دیگر

Jarkko Isotalo is a University Lecturer in the Department of Computing Sciences at Tampere University, Finland. His affiliation is within the Faculty of Information Technology and Communication Sciences, focusing on theoretical and applied statistical research. His research interests span linear statistical models , covariance analysis , biostatistics , and computational statistics . Notably, he explores topics like the Best Linear Unbiased Estimator (BLUE), mixed models, and their applications in clinical trials and ecological studies. Recent work includes studies on permissible covariance structures in linear models, treatment outcomes for gambling disorder (using randomized controlled trials), and partitioning of forest CO2 emissions. His articles often emphasize theoretical foundations while addressing practical implications in health and environmental sciences. Isotalo has contributed to methodological advancements in statistical modeling without explicitly mentioned awards or grants. His research often involves interdisciplinary collaborations, bridging mathematics, computing, and applied sciences.