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

• Blockchain Technology
• Cryptography
• Big Data
• +۵ مورد دیگر

Gautam Srivastava is a Professor in the Department of Mathematics & Computer Science at Brandon University (BU), holding concurrent roles as Visiting Professor at Lebanese American University and Adjunct Associate Professor at Lakehead University. His research focuses on Blockchain Technology, Cryptography, Big Data, and Privacy-Preserving Systems. He actively supervises graduate students requiring strong academic credentials. Education: Ph.D. (Computer Science, University of Victoria, 2012), M.Sc. (Computer Science, University of Victoria, 2007), B.Sc. (Mathematics & Computer Science, Briar Cliff University, 2004) Roles: Holds visiting appointments at institutions in Lebanon, Taiwan, and China, and leads research in Cyber-Physical Systems and IoT Security. His research interests emphasize secure communication protocols, federated learning frameworks, and applications of AI in healthcare and industrial systems. Notable work includes blockchain-enhanced IoT security and privacy-preserving machine learning models. Awards: Best Oral Presentation at Fuzzy Systems and Data Mining (FSDM 2017) Grants: Over $200K in funding from NSERC, MITACS, and CIRA for projects on IoT security, federated learning, and edge computing. Dr. Srivastava’s current projects explore quantum-resistant MQTT protocols, federated learning for healthcare diagnostics, and smart city sensor systems.

• Computer Science
• Networking
• Operating Systems
• +۴ مورد دیگر

Eric Brewer is a Professor in the Department of Computer Science at the University of California, Berkeley, part-time since July 2014 while also serving as a leader at Google. He is renowned for his work in operating systems, networking, and technology for developing regions. His academic journey includes a B.S. from UC Berkeley (1989) and a Ph.D. from MIT (1994), both in EECS. Brewer's research focuses on scalable systems, security, and energy-efficient technologies for underserved areas. He co-founded Inktomi Corporation and pioneered projects like FirstGov.gov (now USA.gov). His awards include the ACM Prize in Computing (2009) and membership in the National Academy of Engineering. Education: B.S. in EECS from UC Berkeley (1989), M.S. and Ph.D. in EECS from MIT (1994). Research interests span developing region technologies, programming languages, and networking. His work on DC microgrids and rural cellular networks highlights efforts to bridge the digital divide. Collaborative projects in Cambodia, India, Ghana, and other regions emphasize practical, sustainable solutions. Recent publications address energy systems, cloud computing, and low-cost connectivity. Awards include ACM Fellow, SIGOPS Mark Weiser Award, and Global Leader for Tomorrow recognition. His contributions to education include courses like CS169 (Software Engineering) and CS262A (Advanced Topics in Computer Systems).

Amer Qounehمشاهده پروفایل

دانشیار

• Computer Architecture
• High-performance Computing
• Data Centers
• +۲ مورد دیگر

Amer Qouneh serves as an Associate Professor in the Department of Electrical and Computer Engineering at Western New England University, where his research centers on computer architecture, high-performance computing, data centers, Internet of Things (IoT), and embedded systems with emphasis on energy efficiency and practical implementations. Education: Ph.D. in Computer Engineering, University of Florida, 2014 M.S. in Computer Engineering, University of Florida, 2010 M.S. in Computer Science, University of Wisconsin-Milwaukee, 2007 M.S. in Electrical Engineering, Fairleigh Dickinson University, 1988 B.S. in Electrical Engineering, Fairleigh Dickinson University, 1985 Dr. Qouneh's research integrates theoretical innovation with real-world applications across multiple domains. His computer architecture work addresses thermal resilience in photonic networks and processing-in-memory systems, while his data center research focuses on renewable energy integration, resource allocation, and containerization. In IoT and embedded systems, he develops practical solutions like solar array trackers and edge-based machine learning deployments, demonstrating a commitment to sustainable and accessible technology education. Publication analysis from 2009-2022 reveals a strategic evolution from foundational work in transactional memory and containerization toward advanced energy-efficient architectures. His recent output emphasizes IoT educational integration and embedded AI applications, maintaining consistent contributions to top venues like IEEE Transactions on Parallel and Distributed Systems while adapting to emerging computational challenges in green computing and edge intelligence. Dr. Qouneh actively mentors undergraduate researchers, evidenced by multiple co-authored conference papers on IoT implementations and curriculum development. His scholarly impact spans both technical innovation in data center optimization and educational leadership in modernizing engineering curricula for emerging technologies.

Ahmed Bouajjaniمشاهده پروفایل

استاد

• Formal Verification
• Concurrency
• Model-Checking Algorithms
• +۷ مورد دیگر

Ahmed Bouajjani is a Professor at Paris Diderot University (Univ. Paris 7) and a Senior member of the Institut Universitaire de France . He leads the Automata, Structures, and Verification (ASV) pole of the IRIF laboratory and is a member of the Modeling and Verification team. His work focuses on formal methods, program verification, and automata theory, particularly for concurrent and infinite-state systems. Research Interests : Formal specification and verification, program verification, concurrency, model-checking algorithms, verification of infinite-state systems, automata, and logics. Teaching : He teaches courses such as Introduction to Artificial Intelligence and Game Theory , Formal Methods for Verifying Systems , and Algorithmic Program Verification at the university. Scientific Contributions : His recent articles address weak memory models, robustness in distributed systems, and inter-procedural analysis of list-manipulating programs. Keywords include Computer Science , Formal Verification , and Concurrency . Awards : He is a Senior member of the Institut Universitaire de France , a prestigious academic recognition. Labs and Teams : He is affiliated with the IRIF laboratory and its Modeling and Verification team, contributing to collaborative research in automata and verification.

Vladimiro Sassoneمشاهده پروفایل

استاد

• Cyber Security
• Blockchain
• Internet of Things
• +۳ مورد دیگر

Professor Vladimiro Sassone holds the Roke/RAEng Research Chair in Cyber Security at the University of Southampton, where he leads cutting-edge research in secure systems design. As a core member of the Cyber Security Academy, he directs EPSRC and EU-funded projects including IOTEE (trusted execution environments), BlockIT (blockchain for IoT), and HEALTH-I (human-centric IoT security). His work bridges theoretical formal methods with practical security implementations across critical infrastructure domains. His research focuses on cyber security with specialized expertise in blockchain systems , IoT security , formal verification , and hardware security . He develops rigorous methodologies for exception handling in capability-based architectures, scalable network fingerprinting for IoT devices, and security analysis of blockchain consensus protocols. His approach integrates mathematical formalisms with empirical validation to address real-world vulnerabilities in supply chains, smart contracts, and distributed systems. Analysis of his 2021-2025 publications reveals three dominant trajectories: (1) Hardware security advancements through CHERI capability systems and formal exception recovery; (2) Blockchain security innovations in consensus protocol evaluation, smart contract patterns, and Byzantine fault tolerance; (3) IoT security solutions via network fingerprinting and human-centric architectures. His work consistently bridges theoretical formal methods with practical security implementations. Professor Sassone's scientific recognition includes: Fellow of the British Computer Society (FBCS) Member of Academia Europaea (MAE) He currently supervises six PhD candidates across Computer Science and Business Studies, including Max Dylan Hayman (IoT security), Justin Stephen Hempson-Jones (business security applications), and Shuyan Zou (blockchain systems). His research is sustained by major grants including EPSRC's IOTEE (£1.2M), BlockIT (£850K), and EU H2020 SUNFISH (£2.1M), with recent funding focusing on hardware supply chain security and regulatory compliance frameworks. As a principal investigator in the Cyber Security Academy, Sassone leads a multidisciplinary team developing formal verification tools for secure systems. Current initiatives include CHERI capability hardware integration, blockchain consensus scalability frameworks, and serious games for supply chain security training, with industry partnerships spanning Roke, RAEng, and European cybersecurity consortia.

Francois Sieweمشاهده پروفایل

عضو هیئت علمی

• Computer Security
• Pervasive Systems
• Formal Methods
• +۶ مورد دیگر

Francois Siewe is a Reader in Computer Science at De Montfort University (DMU), affiliated with the School of Computer Science and Informatics within the Faculty of Computing, Engineering and Media. He conducts research in the Software Technology Research Laboratory (STRL) and the Cyber Technology Institute (CTI). His work spans formal methods, pervasive systems, and cybersecurity. His research interests include: Computer Security Pervasive Systems Formal Methods Process Calculi Formal Verification The recent publications highlight a strong trend in applying formal techniques to software modeling and verification, integrating AI for health and environmental monitoring, and advancing software quality assessment. His work often bridges theoretical foundations with practical system design, particularly in context-aware and distributed environments. Scientific awards: Research Journal of Textile and Apparel (RJTA) Excellent Paper Award 2011 Francois Siewe actively supervises postgraduate research. He is first supervisor for Ahmed Mohammed Alalshuhai, Abdulgader Zaid Almutairi, Saud Maqed Almutairi, Muslit Awadh Alotaibi, Asma Abdulghani Qasem Al-Shargabi, Elena Chernikova, and Abdulghani Mahmoud Suwan. He serves as second supervisor for Abdullah Shawan Alotaibi and Amr Mohsen Jadi. While specific grants are not listed, his past involvement in EPSRC-funded projects (e.g., MELANGE) indicates experience with competitive research funding. He is a key member of the Software Technology Research Laboratory (STRL), contributing to its focus on software engineering, cybersecurity, and ambient intelligence.

• Agri-environmental Science
• Pollination Ecology
• Integrated Pest Management
• +۷ مورد دیگر

Dr. Alice Mauchline is a Senior Lecturer at the University of Reading, affiliated with the School of Agriculture, Policy and Development and the Department of Agri-Environmental Sciences. Her research integrates ecological science with educational innovation, focusing on sustainable agriculture, pollination, pest management, and technology-enhanced fieldwork learning. University: University of Reading School: School of Agriculture, Policy and Development Department: Department of Agri-Environmental Sciences Academic Rank: Senior Lecturer Her research interests span agri-environmental science , pollination ecology , integrated pest management , and mobile learning technologies . She investigates insect behavior in agricultural systems, particularly pollen beetles, and develops strategies for sustainable pest control. Concurrently, she pioneers the use of mobile devices and citizen science in fieldwork education, enhancing pedagogical practices in higher education. Her recent publications reflect a dual focus: on one hand, ecological and agricultural challenges such as pest dynamics, pollination services, and biodiversity monitoring; on the other, educational innovations involving BYOD, iPads, and personalized learning. This interdisciplinary approach bridges natural and social sciences, contributing to both sustainable farming and effective science education. Dr. Mauchline has received no explicitly mentioned scientific awards in the provided text. She has not listed any formal advisees in the publications, but has collaborated extensively with colleagues across ecology, entomology, and education. She has contributed to major research initiatives on agri-environmental evaluation and pollination services. Her work includes developing tools like the Agri-environmental Footprint Index and the CropPol database, and she is involved in projects integrating robotics and inclusion in agriculture. She is active in research groups focused on fieldwork pedagogy , citizen science , and sustainable agroecosystems , often collaborating with interdisciplinary teams across the UK and Europe.

Jonathan Lewisمشاهده پروفایل

مدرس

• Computer Science
• Wireless Sensor Networks
• Distributed Systems
• +۷ مورد دیگر

Jonathan Lewis is a Lecturer and Director of Teaching in the School of Computer Science at the University of St Andrews, UK. He is actively involved in teaching and research, with a focus on systems-level computer science topics. Position: Lecturer, Director of Teaching Institution: University of St Andrews School: School of Computer Science Location: North Haugh, St Andrews, Fife, KY16 9SS, UK Email: jon.lewis@st-andrews.ac.uk His research interests lie primarily in computer science and software engineering, with a strong emphasis on wireless sensor networks, operating systems, distributed systems, and programming models. He has contributed to the development of component-based models and language abstractions for WSNs, as well as exploring unikernel-based deployment and formal verification techniques for networked applications. The body of his recent work (2008–2018) reflects a consistent focus on building reliable, efficient, and verifiable systems for distributed and embedded environments. Key themes include component-based design, concurrency, language modeling, and system-level optimization for low-latency and resource-constrained settings. There are no scientific awards explicitly mentioned in the provided text. Jonathan Lewis has co-authored multiple peer-reviewed conference contributions, primarily in collaboration with colleagues such as Alan Dearle, Alastair Morrison, and J. Sventek. While specific grant funding is not listed, his work appears to be embedded in collaborative research projects related to sensor networks and systems software. He contributes significantly to academic output and likely supervises students, though no advisees are named. His work suggests involvement in research groups or labs focused on distributed systems, programming languages, and embedded computing within the School of Computer Science, particularly through projects involving Insense, Spin verification, and WSN operating systems.

Joseph Nicolazzoمشاهده پروفایل

استاد

• Blood-Brain Barrier
• Alzheimer's Disease
• Drug Transport
• +۳ مورد دیگر

Joseph Nicolazzo is a Professor and Director of the Centre for Drug Candidate Optimisation (CDCO) at the Monash Institute of Pharmaceutical Sciences, Monash University. He concurrently serves as Associate Dean (International) in the Faculty of Pharmacy and Pharmaceutical Sciences. With a PhD in buccal mucosal drug delivery (2004, Monash University), he has led research on BBB transport mechanisms, Alzheimer’s disease, and neurodegenerative disorders since 2007. His work spans in vitro/in vivo models to understand drug transport dynamics and BBB dysfunction in diseases like ALS and Alzheimer’s. Nicolazzo has authored 115+ peer-reviewed papers and holds editorial roles in journals like the Journal of Pharmaceutical Sciences and Fluids and Barriers of the CNS . Education: PhD in Pharmacy (2004, Monash University). Research Focus: Blood-brain barrier transporters, Alzheimer’s pathobiology, CNS drug delivery. Awards: FIP Award of Recognition (2014), Early Career Researcher Award (2013). His teaching includes coordinating PHR2021 and lecturing in drug delivery and pharmacokinetics. Nicolazzo leads ~32 active research projects, including drug delivery strategies for brain cancer and BBB-targeted therapies. He collaborates internationally on BBB biology and chairs FIP’s Pharmaceutical Sciences Board. Labs/Teams: Directs the CDCO, a hub for ADME expertise in drug development. Active in interdisciplinary teams exploring BBB dysfunction in neurodegenerative diseases.

Vijayanand Nagarajanمشاهده پروفایل

استاد

• Computer Architecture
• Programming Languages
• Computer Systems
• +۳ مورد دیگر

Roles & Affiliations: Vijayanand Nagarajan is a Professor at the Kahlert School of Computing, University of Utah. He leads the CAPS Research Group, focusing on computer architecture, programming languages, and systems. His work emphasizes constructive, specification-driven design for efficiency and correctness. Research Interests: His research spans consistency models for distributed systems, persistent memory, coherence protocols, and hardware/software co-design. Key areas include key-value-store consistency, persistent memory optimization, and automated protocol synthesis. His group explores topics like cache coherence, fault tolerance, and scalable distributed storage. Articles Trends: Recent work emphasizes automated protocol generation (e.g., HeteroGen, PipeGen), consistency in distributed systems (LAW theorem), and fault-tolerant designs (Apta, Dve). Publications span top conferences like ISCA, ASPLOS, and VLDB, addressing both theoretical foundations and practical implementations. Advising & Grants: Advises current PhD students (An Qi Zhang, Soham Bagchi, et al.) and has mentored over a dozen alumni now in academia and industry (e.g., NVIDIA, Google, Huawei). Active in organizing and reviewing for conferences like ISCA, MICRO, and HPCA. Labs & Teams: Heads the CAPS Research Group, collaborating on projects like C3D, ATCache, and Odyssey. Engages in interdisciplinary work with robotics and compiler communities.

Frank Hardtkeمشاهده پروفایل

استاد

• Tax Law
• Corporate Law
• Criminal Law
• +۲ مورد دیگر

Prof. Dr. Frank Hardtke is a full-time Professor of Business Law specializing in Tax and Corporate Law at Wismar University of Applied Sciences (since 2003), affiliated with the Faculty of Economics. He concurrently holds an honorary professorship at the University of Greifswald (since 2005). His academic career includes previous positions as a research assistant at Ernst-Moritz-Arndt University (1993-1996), lecturer at the Federal Finance Academy (since 1997), and teaching assignments at multiple institutions. Hardtke's research focuses on the intersection of tax law, corporate regulations, and criminal law, with specialized expertise in: Tax criminal law and evasion mechanisms Corporate compliance and fiscal liability Money laundering and financial crime Fiscal court procedures and tax administration Legal ethics in tax representation His publication record demonstrates consistent focus on tax fraud, criminal liability in fiscal matters, and corporate tax compliance, with works spanning academic journals, legal commentaries, and specialized handbooks. Recent themes include tax assessment corrections, statutory limitations in tax crimes, and legal implications of hidden profit distributions.

• Service-Oriented Programming
• Recommendation Systems
• Graph Transformation
• +۳ مورد دیگر

Nicolas Eduardo Mylonakis Pascual is a Computer Science researcher at the Department of Computer Science, Barcelona School of Informatics, Universitat Politècnica de Catalunya. With a Doctorate in Computer Science, he maintains active research in formal methods for service-oriented computing, specializing in graph-based approaches to system modeling and verification. His research interests focus on service-oriented programming , recommendation systems , and graph transformation . He has developed theoretical frameworks for business process modeling using symbolic graphs, created semantics for ambient calculus variants applicable to service-oriented computing, and contributed to formal verification methods for graph transformation systems. His work bridges theoretical computer science with practical applications in distributed systems and business process management. Analysis of his publication trends reveals a consistent focus on graph-based formal methods spanning over three decades. His research evolved from foundational work on type checking and semantic verification in the 1990s to sophisticated graph transformation systems for service-oriented computing in the 2000s and 2010s, culminating in recent work on logical approaches to graph databases. His publications demonstrate strong collaboration patterns, particularly with Fernando Orejas (15 joint publications) and other researchers in the ALBCOM research group. As a member of the ALBCOM research group (Algorithms, Bioinformatics, Complexity and Formal Methods), he contributes to the Department of Computer Science's research profile in theoretical computer science and formal methods. His work has been supported by competitive R&D projects including 'Modelos y métodos basados en grafos para la computación en gran escala' and 'Modelos y métodos computacionales para datos masivos estructurados' under Spain's National Research Plan.

Peter Popovمشاهده پروفایل

پژوهشگر

• Software Reliability
• System Dependability
• Software Fault-Tolerance
• +۵ مورد دیگر

Peter Popov is a Reader at the Centre for Software Reliability (CSR) , City St George's, University of London , where he has been employed since 1997. He specializes in software dependability , fault tolerance , and stochastic modeling of critical infrastructures. Before his current position, he was an Associate Professor at the Bulgarian Academy of Sciences (1990-1997) and a Research Fellow at City St George's. Peter's academic journey began with a PhD in Computer Science from the Kiev National University of Technologies and Design (1989), following his BEng in Computer Engineering from the National Technical University of Ukraine (KPI, 1982). He has worked as a visiting scientist at renowned institutions including the Coordinated Science Laboratory at the University of Illinois at Urbana-Champaign , LAAS-CNRS in Toulouse, and Duke University . His research interests span Software reliability assessment System dependability Software fault-tolerance Performance evaluation Interdependencies of critical infrastructures He has contributed extensively to projects such as ReSIST , IRRIIS , DISPO , and AFTER , focusing on the dependability of composite systems and critical infrastructure resilience. Key publication trends reveal expertise in Stochastic modeling of autonomous vehicle safety Software diversity for fault tolerance Interdependency analysis in critical systems Bayesian reliability assessment Performance evaluation of distributed protocols Security implications in cyber-physical systems Peter has supervised several PhD students , including those researching autonomous vehicle resilience , safety assurance with ML components , and adaptable web services . His professional activities include serving on program committees for ISSRE , SAFECOMP , and EDCC conferences, as well as editorial contributions to CEUR Workshop Proceedings . He is proficient in Bulgarian , English , and Russian , with peer-review capabilities in all three languages.

Norbert Henzeمشاهده پروفایل

استاد

• Statistical Goodness-of-Fit Tests
• Geometric Extreme Value Theory
• Multivariate Statistics
• +۲ مورد دیگر

Prof. Dr. Norbert Henze is a distinguished statistician at the Institute of Stochastics , Karlsruhe Institute of Technology . His work spans theoretical and applied statistics, with a focus on goodness-of-fit testing , geometric extreme value theory , and multivariate statistical analysis . Research Interests: Statistical Goodness-of-Fit Tests Geometric Extreme Value Theory Multivariate Statistics Key Contributions: Developed novel tests for multivariate normality using Fourier methods and partial differential equations Analyzed limit laws for nearest neighbor distances in high-dimensional spaces Explored stochastic phenomena in Pólya's urn model and random point distributions Students & Collaborations: Supervised 4 PhD students and 22 diploma/master's theses Collaborated with international experts (B. Ebner, M.D. Jiménez-Gamero, S.G. Meintanis) Recent Publications: 2024: Spherical data testing in Statistical Papers 2023: Weibull distribution tests in Annals of Institute of Statistical Mathematics 2022: Complex symmetry tests in TEST Notable Methodological Innovations: Unified empirical process approaches, harmonic oscillator-based normality tests, and geometric extreme value characterizations.

João Lourençoمشاهده پروفایل

دانشیار

• in-memory data management
• parallel computing
• large-scale computing systems
• +۶ مورد دیگر

João Lourenço is an Associate Professor at the Computer Science Department of the NOVA School of Science and Technology at NOVA University Lisbon (NOVA FCT) and Co-Director of the Institute for the Development of New Technologies (UNINOVA). He received his Ph.D. from NOVA University Lisbon in 2004 with a thesis on debugging of distributed programs. His primary research focuses on advanced computing systems with emphasis on in-memory data management for parallel and large-scale environments, testing and debugging of concurrent programs, and edge/fog computing architectures. His work bridges theoretical computer science with practical implementations in distributed systems, contributing significantly to the field of parallel computing and system reliability. Professor Lourenço has co-authored over 50 scholarly publications with notable recognition including the Distinguished Paper Award at Euro-Par 2012 and Best Paper Award at HVC 2012, demonstrating consistent research excellence. Distinguished Paper Award in Euro-Par 2012 Best Paper Award in HVC 2012 He is a founding member of the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) and actively serves on advisory boards and steering committees of multiple international conferences and research networks, contributing to the global computer science community. Professor Lourenço has held visiting researcher positions at IBM Research Laboratory at Haifa (2011), University of São Paulo (2014), and University of Brno (2015), establishing international collaborations across three continents. Notably, he is a significant contributor to the LaTeX community as the creator of the widely adopted NOVAthesis template and other academic documentation tools, demonstrating his commitment to scholarly communication standards.