جستجوی استاد راهنمای دانشگاهی

Akbar Siami Naminمشاهده پروفایل

استاد

• Cybersecurity
• Software Engineering
• Program Analysis
• +۵ مورد دیگر

Dr. Akbar Siami Namin is a Professor in the Department of Computer Science at Texas Tech University's Whitacre College of Engineering . He leads the AdVanced Empirical Software Testing & Analysis (AVESTA) research group and contributes to cybersecurity, software engineering, and program analysis. Ph.D., Computer Science, University of Western Ontario (2008) M.S., Lakehead University/University of Western Ontario (2004) Research Interests : Dr. Namin specializes in Natural Language Processing , Software and Cyber Security , Machine Learning , Time Series Analysis , Modeling Human Factors , and Program Analysis . His work bridges security testing , mutation analysis , and empirical software engineering . Publications : His research spans sonification of security threats , keystroke dynamics , statistical fault localization , and mutation testing , with recent works published at CHI , ICMLA , and CyberWorlds (best paper award 2015). Scientific Awards : Best Paper Award at CyberWorlds 2015; 'Most Influential Professor' recognition by Computer Science undergraduates (2012). Students & Grants : Supervised numerous Ph.D. and Master's students, including Alaa Darabseh and Xiaozhen Xue. Secured over $1M in NSF grants for projects like CyberCorps Capacity Building , Security Sonification , and Cybersecurity Education for Community Colleges .

Michael Sirivianosمشاهده پروفایل

دانشیار

• Cybersecurity
• Social Media Analysis
• Disinformation Detection
• +۵ مورد دیگر

Michael Sirivianos is an Associate Professor at the Cyprus University of Technology (CUT), where he serves as Dean of the School of Engineering and Technology. He holds a PhD in Computer Science from Duke University (2010) and leads research in cybersecurity, disinformation detection, and social media analysis. He coordinates multiple EU-funded projects including ReCRED (Horizon 2020) and ENCASE (Marie Curie RISE), securing over €3M in research funding. Research Focus His work spans: Cybersafety : Detection of cyberbullying, hate speech, and inappropriate content targeting children Trust Systems : Device-centric authentication and blockchain applications Disinformation Analysis : Graph-based detection of fake news and state-sponsored manipulation Scalable Systems : Distributed databases and network infrastructure Achievements & Recognition Best Paper Award (2019) for work on state-sponsored disinformation Distinguished Paper (2018) for fringe web community analysis Spotlight Session recognition (2020) for child protection research Featured in NYT, Washington Post, and Wired for YouTube content analysis Leadership Co-directs the Network Systems Research Lab, serves on the Board of CYENS Centre of Excellence, and coordinates the Fact-check Cyprus Centre against Disinformation.

Timo Seppäläمشاهده پروفایل

مدرس

• Supply Chain Management
• Digital Platforms
• Artificial Intelligence
• +۴ مورد دیگر

Timo Seppälä is a University Lecturer in Digital Operations at Aalto University's School of Science, Department of Industrial Engineering and Management. His research focuses on global value chains, supply chain management, and digital technology implementations in technology- and service-based businesses. He explores platformization of supply chains, collaborative innovation management for complex digital ecosystems, and the implications of artificial intelligence platforms across industries. Global Value Chains Digital Platforms & Ecosystems Artificial Intelligence Governance Blockchain Applications in Industry Recent publications highlight trends in AI diffusion monitoring, blockchain-based systems for industrial applications, and sustainability challenges in digital economies. His work spans empirical analysis of corporate digitalization, platform governance, and multi-actor value creation. No scientific awards are currently documented.

Ahmad Lotfiمشاهده پروفایل

استاد

• Computational Intelligence
• Ambient Intelligence
• Robotics
• +۷ مورد دیگر

Ahmad Lotfi is a Professor of Computational Intelligence and Head of Department of Computer Science at Nottingham Trent University , with a Visiting Professor role at Tokyo Metropolitan University . He leads the Computational Intelligence and Applications (CIA) research group and has supervised over 30 PhD students to completion. PhD in Learning Fuzzy Systems (University of Queensland, 1995) MTech in Control Systems (Indian Institute of Technology, India) BSc in Control Systems (Isfahan University of Technology, Iran) His research spans computational intelligence , ambient intelligence , robotics , and machine learning , with applications in dementia monitoring , smart environments , and healthcare technology . Recent work focuses on using thermal sensor arrays for privacy-preserving human activity analysis. He has secured funding from Innovate UK , EPSRC , The Royal Society , and Horizon 2020 , with projects like iCarer (assistive living), SmartBerry (agricultural AI), and BigSpark (financial data augmentation). His 15 most recent articles demonstrate expertise in Wi-Fi-based activity recognition , EEG fall detection , and thermal sensor fusion . Senior Member IEEE Member of British Computer Society (MBCS) Editorial roles in Soft Computing and Journal of Ambient Intelligence and Smart Environments He has served as Program Chair for conferences like PETRA and ICCRT , and as Keynote Speaker at PETRA 2023 . His 28+ years of academic leadership include organizing UKCI and UKRAS conferences.

Yupeng Zhangمشاهده پروفایل

استادیار

• Cybersecurity
• Applied Cryptography
• Zero-Knowledge Proofs
• +۴ مورد دیگر

Yupeng Zhang is an Assistant Professor at the University of Illinois Urbana-Champaign in the Department of Electrical and Computer Engineering, with an affiliate appointment in Computer Science. His research focuses on cybersecurity and applied cryptography , particularly zero-knowledge proofs , secure multiparty computations , and their applications in blockchain and machine learning. Education: Ph.D., Electrical and Computer Engineering, University of Maryland (2018) M.Phil., Information Engineering, Chinese University of Hong Kong (2013) Bachelor of Engineering, Information Engineering, Chinese University of Hong Kong (2011) Research Highlights: Developed scalable zero-knowledge proof systems for blockchain and machine learning Created verifiable computation frameworks for SQL and RAM Advancing privacy-preserving ML and cross-chain blockchain bridges Grants: NSF CAREER award Air Force Research Lab DARPA Google Research Scholar Award Facebook Research Award Latticex Foundation Teaching: CS 461/ECE 422: Computer Security I CS 591 SP: Security and Privacy ECE 407/CS 407: Cryptography ECE 598 YPZ: Advanced Topics in Applied Cryptography Co-taught MOOC on Zero-Knowledge Proofs (Spring 2023) Professional Service: Program Vice Co-Chair, USENIX Security 2024 Program Committee, Crypto 2025, S&P 2025 Reviewer for major journals and conferences

Rianne de Heideمشاهده پروفایل

استادیار

• Machine Learning
• Statistics
• Hypothesis Testing
• +۷ مورد دیگر

Rianne de Heide is an Assistant Professor in the Statistics group (STAT) within the Department of Applied Mathematics at the University of Twente's Faculty of Electrical Engineering, Mathematics and Computer Science. She maintains collaborative arrangements with LUXs Data Science in Leiden, CWI, and VU Mathematics in Amsterdam as a guest researcher while working partly remotely during her family's relocation. Her academic journey includes a previous position as Assistant Professor at Vrije Universiteit Amsterdam. PhD Dissertation: 'Bayesian Learning: Challenges, Limitations and Pragmatics' (2020) MSc Thesis: 'The Safe-Bayesian Lasso' (2016) De Heide's research spans multiple interconnected domains within statistics and machine learning, with particular emphasis on developing mathematically rigorous frameworks that remain accessible to diverse audiences. Her work bridges theoretical foundations with practical applications, focusing on hypothesis testing with e-values, Bayesian learning methodologies, and best-arm identification problems in multi-armed bandit settings. She demonstrates exceptional interdisciplinary range, connecting statistical theory with philosophical inquiry and even theological discussions as evidenced by her publications on biblical authorship verification and mathematical beauty. Analysis of her publication trajectory reveals a clear evolution toward developing anytime-valid statistical methods, particularly through e-values and e-processes for multiple testing scenarios. Her recent work shows increasing focus on foundational questions in statistical inference while maintaining strong connections to practical machine learning applications. The 2024 'Safe Testing' paper in the Journal of the Royal Statistical Society represents a significant contribution that generated a formal discussion meeting. VENI project 'E-values for Multiple Testing' NWO M2 grant of €742,708 with Jelle Goeman (funding 2 PhD students and a scientific programmer) 2025 Bernoulli Society New Researcher Award De Heide actively supervises research through her VENI project and the NWO M2 grant, while also contributing to broader academic service through the 'Kindness and Excellence in Academia' initiative she co-founded. This initiative addresses critical cultural issues in academic environments through opinion pieces, resources, and community building around compassionate academic practices. She has organized specialized events like the E-Day meet-up for e-value researchers at CWI in Amsterdam, demonstrating leadership in her niche research community. Her research activities are centered around the Statistics group at the University of Twente, with significant external collaborations through the E-mailing list for e-value researchers and partnerships with institutions including CWI, VU Amsterdam, and Leiden's LUXs Data Science. The interdisciplinary nature of her work creates connections across mathematics, computer science, philosophy, and even religious studies.

Aws Albarghouthiمشاهده پروفایل

پژوهشگر

• Program Synthesis
• Formal Verification
• Quantum Computing
• +۵ مورد دیگر

Aws Albarghouthi is affiliated with the University of Wisconsin-Madison, USA. He is an active researcher with significant contributions to program synthesis, formal verification, and machine learning. Key roles: Author, Session Chair, Committee Member in conferences like PLDI, POPL, VMCAI, SPLASH, and ICFP. Research spans quantum computing, differential privacy, and static analysis. Research Trends include: Quantum Circuit Compilation and Optimization Probabilistic Verification of Fairness and Privacy Synthesis of Datalog and MapReduce Programs Neural-Augmented Static Analysis Bias Detection in Data Security Robustness in Machine Learning

Márk Jelasityمشاهده پروفایل

استاد

• Distributed Systems
• Peer-to-Peer Computing
• Gossip Protocols
• +۷ مورد دیگر

Márk Jelasity is a Full Professor in the Department of Algorithms and AI at the University of Szeged, Hungary, where he has been working since 2016. Previously, he served as a research advisor (equivalent to full professor) and senior research scientist at the Research Group on Artificial Intelligence (RGAI) of the Hungarian Academy of Sciences. His career includes numerous international research positions at institutions in Sweden, Norway, France, Italy, and the Netherlands. Professor Jelasity's research spans distributed systems, peer-to-peer computing, gossip protocols, and decentralized machine learning. His work bridges theoretical foundations with practical applications, particularly in the areas of self-organizing systems and privacy-preserving computation. His research has significant implications for smart grid technologies, secure distributed systems, and robust machine learning. His publication record shows a clear evolution from foundational work in gossip protocols and peer-to-peer systems toward cutting-edge research in decentralized machine learning, adversarial robustness, and privacy-preserving AI. Recent publications demonstrate his leadership in comparing gossip learning with federated learning approaches and exploring novel techniques for enhancing robustness in neural networks. Bolyai Plaquette (2015) 10 years best paper award at ACM/IFIP/USENIX Middleware Conference (2014) Best paper award at IEEE International Conference on Peer-to-Peer Computing (2014) Best paper award at IEEE International Conference on Self-Adaptive and Self-Organizing Systems (2013) Scientific Award of the Faculty of Science and Informatics, University of Szeged (2013) Fulbright Scholarship to visit Cornell University (2013) Multiple Bolyai Scholarships (2007-2014) Professor Jelasity has been actively involved in the academic community as an organizer of major conferences including DAIS'16 (TPC co-chair), SASO 2010 (General Co-Chair), and SASO 2007 (TPC co-chair). His leadership in the field is evidenced by his extensive publication record in top venues and his role in editing special issues and conference proceedings.

Yves Le Traonمشاهده پروفایل

استاد

• Machine learning systems
• Software testing
• Software security
• +۸ مورد دیگر

Dr. Yves Le Traon is a Full Professor of Computer Science at the University of Luxembourg, where he serves as Vice-Director of the Interdisciplinary Centre for Security, Reliability and Trust (SnT). He leads the 25-member SerVal research group (SEcurity, Reasoning and VALidation), focusing on software testing, security, and data-intensive systems. Previously, he chaired the CSC Research Unit (2013-2016) and pioneered model-driven engineering at INRIA. PhD and engineering degree in Computer Science from Institut National Polytechnique, Grenoble (1997) Former Associate Professor at University of Rennes (1998-2004) His research spans three main areas: innovative software testing and repair , Android security through static analysis and machine learning , and robust machine learning system design . Collaborations include industry leaders like PayPal, CREOS, and Cebi in fintech, smartgrid, and industry 4.0 domains. Awarded IEEE Fellow (2022) and Facebook Testing & Verification Research Award (2019) , he chairs editorial boards for STVR, SoSym, and IEEE Transactions on Reliability. His team has produced 20+ PhD graduates including Li Li (Monash University), Donia El Kateb (European Investment Bank), and Alexandre Bartel (SnT Research Associate). Commercial impact includes co-founding Datathings for runtime AI decision systems.

Souradeep Duttaمشاهده پروفایل

استادیار

• Artificial Intelligence
• Machine Learning
• Reinforcement Learning
• +۴ مورد دیگر

Souradeep Dutta is an Assistant Professor in the Department of Electrical and Computer Engineering within the Faculty of Applied Science at the University of British Columbia (UBC), joining in Fall 2024 after postdoctoral research at the PRECISE center, University of Pennsylvania. His academic credentials include a PhD in Electrical and Computer Engineering from the University of Colorado Boulder and a BE in Instrumentation and Electronics Engineering from Jadavpur University, India. Education: PhD, Electrical and Computer Engineering, University of Colorado Boulder BE, Instrumentation and Electronics Engineering, Jadavpur University, India Dr. Dutta's research centers on artificial intelligence with emphasis on reinforcement learning, cyber-physical systems, and formal methods. He investigates fundamental challenges in efficient data-driven learning and assurance techniques for learned models, targeting applications in robotics and medical devices. His work bridges theoretical guarantees with practical implementations for safe human-machine knowledge transfer. Analysis of his 15 most recent publications reveals dominant trends in robustness verification for learning-enabled systems, memory-based adaptation techniques, and distribution shift handling. His research consistently addresses safety-critical applications, particularly in medical diagnostics (e.g., ECG analysis, acne grading) and autonomous control systems, while maintaining strong theoretical foundations in formal methods. Awards: Recognition at top-tier conferences including ICLR, CORL, HSCC, ICCPS, ICAPS, NFM, L4DC, CHASE, and ADHS Dr. Dutta actively seeks graduate students for Fall 2025 and welcomes interdisciplinary collaborations. He serves on program committees for AAAI, ICCPS, ICML, and NeurIPS, and is available for undergraduate research supervision. His advising philosophy emphasizes safe and efficient transfer of human expertise to machine systems. He leads a research group at UBC focused on developing verifiable AI frameworks for cyber-physical applications, with current projects spanning medical device assurance and adaptive robotics control systems.

Ronald C. Arkinمشاهده پروفایل

استاد

• Artificial Intelligence
• Robotics
• Robot Ethics
• +۶ مورد دیگر

Regents' Professor Ronald C. Arkin is a leading figure in robotics and AI at the School of Interactive Computing at the Georgia Institute of Technology . He directs the Mobile Robot Laboratory and serves as Associate Dean for Research in the College of Computing. His work bridges autonomy , ethical decision-making , and human-robot interaction . Ph.D. in Computer Science, University of Massachusetts, Amherst (1987) Former STINT Visiting Professor at KTH Stockholm (1997-1998) Sabbatical Chair at Sony Intelligence Dynamics Laboratory (2005) Member of Robotics and Artificial Intelligence Group at LAAS/CNRS (2005-2006) Arkin's research focuses on robot ethics , autonomous agents , and multi-robot coordination . He explores the integration of moral emotions and ethical frameworks in robotic systems, particularly for applications in patient-caregiver mediation and subterranean exploration . His work also addresses deception mechanisms and formal performance guarantees for autonomous missions. Recent publications highlight advancements in heterogeneous robot teams for DARPA challenges, multi-modal control interfaces , and bio-inspired deception . His research spans artificial circadian systems , robotic nudges , and legal mediation in human-robot interactions. Regents' Professor, Georgia Institute of Technology Arkin has advised numerous projects on robot ethics and autonomous systems , contributing to grants like the 2018 EAGER award for Misdirection in Robot Teams . He leads the Mobile Robot Laboratory , developing frameworks for robotic autonomy and ethical governance in diverse environments.

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

استاد

• Nuclear Nonproliferation
• Nuclear Security
• Radiation Detection
• +۳ مورد دیگر

Anna Erickson serves as Woodruff Professor and Associate Chair for Research at Georgia Institute of Technology's George W. Woodruff School of Mechanical Engineering, where she bridges reactor engineering and nuclear nonproliferation through integrated theoretical and experimental approaches. Director of the $25M DOE NNSA-funded Consortium for Enabling Technologies and Innovation (12 universities, 12 national labs), she has authored over 100 publications including the seminal text Active Interrogation in Nuclear Security (Springer, 2018) and advises federal agencies on nuclear security policy. Education: Ph.D. in Nuclear Science and Engineering, Massachusetts Institute of Technology (2011) M.S. in Nuclear Science and Engineering, Massachusetts Institute of Technology (2008) B.S., Oregon State University (2006) Research Focus: Dr. Erickson pioneers nonproliferation-by-design methodologies through two integrated thrusts: advanced reactor analysis for proliferation-resistant nuclear energy systems and radiation detection for border security applications. Her work uniquely combines machine learning with nuclear engineering to develop safeguards for next-generation reactors, with significant contributions to antineutrino detection systems and medical physics applications like proton radiography. Current projects emphasize small modular reactor safety and spectral imaging techniques. Publication Trends: Analysis of her 15 most recent publications (2018-2020) reveals dominant themes in antineutrino-based reactor monitoring (60% of works), advanced radiation detection systems (30%), and small modular reactor design (10%). Key innovations include lithium-loaded scintillators for neutron detection, spectral X-ray correction algorithms, and high-temperature reactor concepts with inherent proliferation resistance, demonstrating consistent DOE funding focus on nuclear security infrastructure. Awards: Woodruff Professorship (2019) Lockheed Dean's Excellence in Teaching Award (2016) US Frontiers of Engineering Symposium (National Academy of Engineering, 2015) American Nuclear Society Graduate Scholarships (2006, 2009) Stewardship Science Graduate Fellowship (DOE, 2008-2011) Leadership & Funding: As director of the $25M Consortium for Enabling Technologies and Innovation, she manages cross-institutional R&D in machine learning, advanced manufacturing, and nuclear detection. Her Laboratory for Advanced Nuclear Nonproliferation and Safety (LANNS) coordinates with Aerospace Engineering, Chemistry, and International Affairs departments on nonproliferation projects, while her ELATES leadership program participation (2022) enhances STEM management capabilities. Recent media engagements with CBS News (nuclear fusion breakthrough) and CNN (radiation safety) demonstrate policy impact. Research Infrastructure: The multidisciplinary LANNS lab develops experimental detection systems alongside reactor modeling tools, supporting the Consortium's mission to create deployable nuclear security technologies. Collaborations with 12 national laboratories enable access to unique facilities for radiation source characterization and reactor simulation, with current efforts focused on AI-enhanced safeguards for commercial reactor fleets.

Stefanos Nikolaidisمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Human-Robot Interaction
• Procedural Content Generation
• +۳ مورد دیگر

Stefanos Nikolaidis is a tenured Associate Professor in the Department of Computer Science at the University of Southern California (USC), where he directs the Interactive and Collaborative Autonomous Robotic Systems (ICAROS) Lab. His research focuses on enabling robots to interact robustly with humans in dynamic environments through advancements in artificial intelligence, human-robot interaction, procedural content generation, and quality diversity optimization. Education: PhD in Robotics from Carnegie Mellon University (CMU) and MS in Computer Science from MIT. The ICAROS Lab develops interactive agents for real-world tasks while creating diverse testing scenarios to enhance system robustness. Research integrates AI techniques with human-centric design principles across applications like rehabilitation robotics, collaborative manufacturing, and socially interactive embodiments. Recent publications demonstrate trends in quality diversity optimization, human-aware planning, and policy adaptation. Notable works include AutoQD for behavior discovery, CMA-MA for multi-objective optimization, and applications in hair manipulation, rehabilitation personalization, and large language model integration. Scientific Awards: NSF CAREER Award (2022). He actively shares research updates via Twitter and has contributed software tools like pyribs for quality diversity optimization. His work spans theoretical advancements in optimization algorithms and practical implementations in assistive robotics.

• Data Mining
• Bioinformatics
• Machine Learning
• +۳ مورد دیگر

Domingo Savio Rodríguez Baena is a Professor at Pablo de Olavide University, affiliated with the Department of Computer Languages and Systems. His research focuses on data mining, bioinformatics, and computational biology, with a particular emphasis on biclustering algorithms, gene co-expression networks, and high-performance computing applications. PhD in Engineering, Data Science, and Bioinformatics (2012) from Pablo de Olavide University His work spans interdisciplinary domains, including recommender systems , livestock behavior analysis , and biological data interpretation . Recent articles highlight his contributions to multi-GPU optimization , ensemble learning , and historical database construction . Key collaborations include the DATAi Intelligent Data Analysis and DASE Data Analytics Science & Engineering research groups. He has developed tools like the CyEnGNet–App for gene network visualization and BIGO for gene enrichment analysis. Contact: dsrodbae@upo.es

• Discrete-event systems
• Control theory
• Petri net modeling
• +۶ مورد دیگر

Ramavarapu S Sreenivas is a Professor in the Industrial and Enterprise Systems Engineering department at the University of Illinois at Urbana-Champaign , with research appointments at the Coordinated Science Laboratory (CSL) and the Information Trust Institute (ITI ). He holds a joint affiliation with the Electrical and Computer Engineering department and serves as the Arthur Davis Faculty Scholar since 2016. Ph.D. , Electrical and Computer Engineering, Carnegie Mellon University (1990) M.S.E.E. , Carnegie Mellon University (1987) B.Tech , Electrical Engineering, Indian Institute of Technology Madras (1985) His research focuses on Discrete-Event/Discrete-State (DEDS) systems , applying Coding Theory, Machine Learning, and Information Theory to develop near-optimal supervisory policies for applications in wireless networks, automated manufacturing, and healthcare systems . He leads the Center for Autonomous Construction and Manufacturing at Scale (CACMS) , established in 2023. Recent publications highlight advancements in liveness enforcement in Petri nets , fault-tolerant control , and IoT-based load scheduling . His work bridges theoretical rigor with practical implementations in Distributed Control, Network Coding , and Reinforcement Learning . UIUC Campus Award for Excellence in Graduate and Professional Teaching (2023) Arthur Davis Faculty Scholar (2016) Senior Member, IEEE (2002) James Franklin Sharp Outstanding Teaching Award in Industrial Engineering (2017, 2012) Sreenivas has taught graduate and undergraduate courses in Control Systems, Integer Programming, and Financial Computing since 1992. He co-instructed courses in Health Technology and contributed to the Master of Science in Financial Engineering (MSFE) program, which ranks 4th nationally.